The elementary theory of the natural lattice is finitely axiomatizable

DOI10.1305/NDJFL/1093635001zbMath0704.03012OpenAlexW2078092186MaRDI QIDQ916643

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)

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: The elementary theory of the natural lattice is finitely axiomatizable