Publication:3707987
From MaRDI portal
zbMath0583.03005MaRDI QIDQ3707987
Publication date: 1984
finite axiomatization; finite axiomatizability; first order theory of the divisibility of the natural numbers
12L05: Decidability and field theory
03B25: Decidability of theories and sets of sentences
03B30: Foundations of classical theories (including reverse mathematics)
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Recursive models and the divisibility poset, A list of arithmetical structures complete with respect to the first-order definability