scientific article
From MaRDI portal
Publication:3707987
zbMath0583.03005MaRDI QIDQ3707987
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite axiomatizationfinite axiomatizabilityfirst order theory of the divisibility of the natural numbers
Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Recursive models and the divisibility poset ⋮ A list of arithmetical structures complete with respect to the first-order definability
This page was built for publication:
