The elementary theory of the natural lattice is finitely axiomatizable (Q916643): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Patrick Cégielski / rank | |||
Property / reviewed by | |||
Property / reviewed by: Agnieszka Wojciechowska-Waszkiewicz / rank | |||
Revision as of 15:49, 27 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The elementary theory of the natural lattice is finitely axiomatizable |
scientific article |
Statements
The elementary theory of the natural lattice is finitely axiomatizable (English)
0 references
1989
0 references
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.
0 references
positive integers with divisibility
0 references
divisibility relation
0 references
finite axiomatization of DIV
0 references