scientific article; zbMATH DE number 3933028

MaRDI QIDQ3707987zbMATH OpenFDO

Authors Patrick Cégielski

Publication date 1984

zbMATH Keywords

finite axiomatizabilityfinite axiomatizationfirst order theory of the divisibility of the natural numbers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Quantifier elimination, model completeness, and related topics (03C10) Decidability and field theory (12L05)

Recommendations

• The elementary theory of the natural lattice is finitely axiomatizable
• Arithmetic of divisibility in finite models
• scientific article; zbMATH DE number 221693
• On Axiomatizability of the Multiplicative Theory of Numbers
• scientific article; zbMATH DE number 8420

Cited in

(6)

• Universal theories of integers and the extended Bliznetsov hypothesis
• The laws of integer divisibility, and solution sets of linear divisibility conditions
• Arithmetic of divisibility in finite models
• Recursive models and the divisibility poset
• A list of arithmetical structures complete with respect to the first-order definability
• The elementary theory of the natural lattice is finitely axiomatizable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707987)