There are no intermediate structures between the group of integers and Presburger arithmetic
Journal of Symbolic Logic 83 (1):187-207 (2018)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Model-checking CTL* over flat Presburger counter systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
Bounding quantification in parametric expansions of Presburger arithmetic.John Goodrick - 2018 - Archive for Mathematical Logic 57 (5-6):577-591.
A note on definability in fragments of arithmetic with free unary predicates.Stanislav O. Speranski - 2013 - Archive for Mathematical Logic 52 (5-6):507-516.
Presburger arithmetic with unary predicates is Π11 complete.Joseph Y. Halpern - 1991 - Journal of Symbolic Logic 56 (2):637 - 642.
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems.Christian Michaux & Roger Villemaire - 1996 - Annals of Pure and Applied Logic 77 (3):251-277.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Linear-time temporal logics with Presburger constraints: an overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.Françoise Point - 2000 - Journal of Symbolic Logic 65 (3):1347-1374.
Nonstandard arithmetic of Hilbert subsets.Masahiro Yasumoto - 1991 - Annals of Pure and Applied Logic 52 (1-2):195-202.
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility.Denis Richard - 1985 - Journal of Symbolic Logic 50 (4):927-935.
A Problem in Pythagorean Arithmetic.Victor Pambuccian - 2018 - Notre Dame Journal of Formal Logic 59 (2):197-204.
Presburger arithmetic with uninterpreted function symbols is 1 1-complete.J. Halpern - 1991 - Journal of Symbolic Logic 56:637-642.
Analytics
Added to PP
2018-05-03
Downloads
6 (#1,104,966)
6 months
1 (#450,993)
2018-05-03
Downloads
6 (#1,104,966)
6 months
1 (#450,993)
Historical graph of downloads
Citations of this work
Interpolative fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
The additive structure of integers with the lower Wythoff sequence.Mohsen Khani & Afshin Zarei - 2023 - Archive for Mathematical Logic 62 (1):225-237.
Expansions of the group of integers by Beatty sequences.Ayhan Günaydın & Melissa Özsahakyan - 2022 - Annals of Pure and Applied Logic 173 (3):103062.
References found in this work
Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
Vapnik–Chervonenkis Density in Some Theories without the Independence Property, II.Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):311-363.
Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems.Christian Michaux & Roger Villemaire - 1996 - Annals of Pure and Applied Logic 77 (3):251-277.
