Complete theories of unars (Q5903185): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal models of theories of one function symbol / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of countable models of a theory of one unary function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ultrahomogeneous Structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An application of games to the completeness problem for formalized theories / rank | |||
Normal rank |
Latest revision as of 14:10, 17 June 2024
scientific article; zbMATH DE number 3961693
Language | Label | Description | Also known as |
---|---|---|---|
English | Complete theories of unars |
scientific article; zbMATH DE number 3961693 |
Statements
Complete theories of unars (English)
0 references
1986
0 references
Translation from Sib. Mat. Zh. 27, No.1(155), 57-69 (Russian) (1986; Zbl 0588.08003).
0 references
model-completion
0 references
variety of unars
0 references
complete
0 references
theories
0 references