Rigid models of Presburger arithmetic

03/15/2018
by   Emil Jeřábek, et al.
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

research
10/24/2020

On the Expressiveness of Büchi Arithmetic

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

Automating Rigid Origami Design

While rigid origami has shown potential in a large diversity of engineer...
research
05/29/2018

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

In this paper, we study groups of automorphisms of algebraic systems ove...
research
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...
research
05/09/2019

Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models

The present study aims to investigate similarities between how humans an...
research
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 ...
research
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 ...

Please sign up or login with your details

Forgot password? Click here to reset