THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE

DOI10.1017/jsl.2020.30OpenAlexW3092113854MaRDI QIDQ5021918

Chieu-Minh Tran, Neer Bhardwaj

Publication date: 17 January 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

decidabilitymodel theorysquare-free integersneostability

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

• Unnamed Item
• Theories without the tree property of the second kind
• On \(n\)-dependence
• Tree indiscernibilities, revisited
• Simplicity Theory
• Strong theories of ordered Abelian groups
• Decidability and undecidability of theories with a predicate for the primes
• Quasi-o-minimal structures
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
• The Theory of Ordered Abelian Groups does not have the Independence Property
• The Schnirelmann Density of the Squarefee Integers
• DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
• NOTE ON AN ASYMPTOTIC FORMULA CONNECTED WITH r-FREE INTEGERS

This page was built for publication: THE ADDITIVE GROUPS OF AND WITH PREDICATES FOR BEING SQUARE-FREE