Rigid models of Presburger arithmetic

03/15/2018

∙

by Emil Jeřábek, et al.

∙

Akademie věd ČR

∙

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

Rigid models of Presburger arithmetic

On the Expressiveness of Büchi Arithmetic

Automating Rigid Origami Design

Groups of automorphisms of p-adic integers and the problem of the existence of fully homomorphic ciphers

On the optimality of ternary arithmetic for compactness and hardware design

Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models

Matrix rigidity and the Croot-Lev-Pach lemma

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

Rigid models of Presburger arithmetic

Related Research

On the Expressiveness of Büchi Arithmetic

Automating Rigid Origami Design

Groups of automorphisms of p-adic integers and the problem of the existence of fully homomorphic ciphers

On the optimality of ternary arithmetic for compactness and hardware design

Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models

Matrix rigidity and the Croot-Lev-Pach lemma

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