DeepAI AI Chat
Log In Sign Up

Rigid models of Presburger arithmetic

03/15/2018
by   Emil Jeřábek, et al.
Akademie věd ČR
0

We present a description of rigid models of Presburger arithmetic (i.e., Z-groups). In particular, we show that Presburger arithmetic has rigid models of all infinite cardinalities up to the continuum, but no larger.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/24/2020

On the Expressiveness of Büchi Arithmetic

We show that the existential fragment of Büchi arithmetic is strictly le...
11/20/2022

Automating Rigid Origami Design

While rigid origami has shown potential in a large diversity of engineer...
10/25/2016

On the optimality of ternary arithmetic for compactness and hardware design

In this paper, the optimality of ternary arithmetic is investigated unde...
05/09/2019

Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models

The present study aims to investigate similarities between how humans an...
08/04/2017

Matrix rigidity and the Croot-Lev-Pach lemma

Matrix rigidity is a notion put forth by Valiant as a means for proving ...
05/04/2020

On rigid origami III: static rigidity, pre-stress stability and second-order rigidity

The foldability of rigid origami has been widely studied and applied to ...