THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
type: Item
instance of: scholarly article
title: THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
zbMATH Open document ID: 1447.03006
author: Gabriel Conant
publication date: 2018-05-02T00:00:00Z
full work available at URL: https://arxiv.org/abs/1603.00454
Mathematics Subject Classification ID: 03C64
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 03C45
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 6865721
zbMATH Keywords: Presburger arithmetic
zbMATH Keywords: expansions of the group of integers
zbMATH Keywords: dp-minimality
MaRDI profile type: Publication
OpenAlex ID: W2964321310
arXiv ID: 1603.00454
cites work: Q3136877
cites work: Vapnik-Chervonenkis density in some theories without the independence property. II
cites work: Vapnik-Chervonenkis density in some theories without the independence property. I
cites work: A Solution of the "Plank Problem"
cites work: Quasi-o-minimal structures
cites work: Presburger sets and p-minimal fields
cites work: Stable groups and expansions of $(\mathbb Z,+,0)$
cites work: Strong theories of ordered Abelian groups
cites work: Dp-minimality: basic facts and examples
cites work: Coverings by convex bodies and inscribed balls
cites work: DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
cites work: Semialgebraic Expansions of C
cites work: Model Theory
cites work: Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
cites work: Q3130253
cites work: On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
cites work: Supergenerix.
cites work: Q4668857
cites work: A Guide to NIP Theories
Wikidata QID: Q129898859
DOI: 10.1017/JSL.2017.62
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6865721