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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

External links

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

Through your library

Similar books and articles

Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
Bounding quantification in parametric expansions of Presburger arithmetic.John Goodrick - 2018 - Archive for Mathematical Logic 57 (5-6):577-591.
Presburger arithmetic with unary predicates is Π11 complete.Joseph Y. Halpern - 1991 - Journal of Symbolic Logic 56 (2):637 - 642.
Linear-time temporal logics with Presburger constraints: an overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
Nonstandard arithmetic of Hilbert subsets.Masahiro Yasumoto - 1991 - Annals of Pure and Applied Logic 52 (1-2):195-202.
A Problem in Pythagorean Arithmetic.Victor Pambuccian - 2018 - Notre Dame Journal of Formal Logic 59 (2):197-204.

Analytics

Added to PP
2018-05-03

Downloads
6 (#1,104,966)

6 months
1 (#450,993)

Historical graph of downloads
How can I increase my downloads?