The elementary theory of the natural lattice is finitely axiomatizable

DOI10.1305/NDJFL/1093635001zbMATH Open0704.03012OpenAlexW2078092186MaRDI QIDQ916643FDOQ916643

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• 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

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)