A family of dp-minimal expansions of \((\mathbb{Z}; +)\)

DOI10.1215/00294527-10670096arXiv1711.04390MaRDI QIDQ6165009

Chieu-Minh Tran, Erik Walsberg

Publication date: 28 July 2023

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.04390

zbMATH Keywords

expansioncyclic orderdp-minimalreduct

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Models of other mathematical theories (03C65) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Dependent first order theories, continued
• Vapnik-Chervonenkis density in some theories without the independence property, I
• Strong theories of ordered Abelian groups
• On dp-minimality, strong dependence and weight
• The canonical topology on dp-minimal fields
• Stable groups and expansions of $(\mathbb Z,+,0)$
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
• A NEW DP-MINIMAL EXPANSION OF THE INTEGERS
• A Guide to NIP Theories
• DP-MINIMAL VALUED FIELDS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A family of dp-minimal expansions of \((\mathbb{Z}; +)\)