scientific article; zbMATH DE number 3933028

zbMATH Open0583.03005MaRDI QIDQ3707987FDOQ3707987

Authors: Patrick Cégielski 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

finite axiomatizationfinite axiomatizabilityfirst 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) Decidability and field theory (12L05) Quantifier elimination, model completeness, and related topics (03C10)

Cited In (6)

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

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)