The elementary theory of the natural lattice is finitely axiomatizable
From MaRDI portal
Publication:916643
DOI10.1305/ndjfl/1093635001zbMath0704.03012MaRDI QIDQ916643
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
03C07: Basic properties of first-order languages and structures
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Recursive models and the divisibility poset, A list of arithmetical structures complete with respect to the first-order definability