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)

Review text

The author investigates the first order theory of the structure (\({\mathcal N}^*,|)\), where \({\mathcal N}^*\) is the set of positive integers and \(|\) is the divisibility relation. It is known that this theory, called DIV is consistent, complete, decidable and not categorical. In this paper it is shown that DIV is finitely axiomatizable. The author gives an explicit finite axiomatization of DIV and verifies the completeness of it by the method of elimination of quantifiers. In the proof some unpublished results obtained by the author in 1979 are used.

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

(5)

• Universal theories of integers and the extended Bliznetsov hypothesis
• scientific article; zbMATH DE number 3933028 (Why is no real title available?)
• Recursive models and the divisibility poset
• A list of arithmetical structures complete with respect to the first-order definability
• Relational Divisibility

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)