The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free

DOI10.1017/JSL.2020.30arXiv1707.00096MaRDI QIDQ6288516

Chieu-Minh Tran, Neer Bhardwaj

Publication date: 1 July 2017

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)

This page was built for publication: The additive groups of $\mathbb{Z}$ and $\mathbb{Q}$ with predicates for being square-free