There are no intermediate structures between the group of integers and Presburger arithmetic

Journal of Symbolic Logic 83 (1):187-207 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.62

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Remarks on formalized arithmetic and subsystems thereof.C. Brink - unknown
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.
On the expansion (n, +, 2x) of Presburger arithmetic.Harvey Friedman - unknown
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
10 (#1,129,009)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Family of dp-Minimal Expansions of (Z;+).Chieu-Minh Tran & Erik Walsberg - 2023 - Notre Dame Journal of Formal Logic 64 (2):225-238.
Interpolative fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
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.

Add more citations

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.

Add more references