The elementary theory of the natural lattice is finitely axiomatizable

DOI10.1305/NDJFL/1093635001MaRDI QIDQ916643zbMATH OpenOpenAlexFDO

Authors Patrick Cégielski

Publication date 1989

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093635001

zbMATH Keywords

divisibility relationfinite axiomatization of DIVpositive integers with divisibility

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 3933028
• scientific article; zbMATH DE number 221693
• Definability and decidability issues in extensions of the integers with the divisibility predicate
• Arithmetic of divisibility in finite models
• scientific article; zbMATH DE number 8420

Cited in

(4)

• 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
• scientific article; zbMATH DE number 3933028 (Why is no real title available?)

This page was built for publication: The elementary theory of the natural lattice is finitely axiomatizable

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