Model completeness for trivial, uncountably categorical theories of Morley rank \(1\) (Q862348)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5118081
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model completeness for trivial, uncountably categorical theories of Morley rank \(1\) |
scientific article; zbMATH DE number 5118081 |
Statements
Model completeness for trivial, uncountably categorical theories of Morley rank \(1\) (English)
0 references
24 January 2007
0 references
The main theorem: If \(T\) is a trivial uncountably categorical theory of Morley rank 1, then the theory obtained from \(T\) by naming constants for a model is model complete. This result is in some senses optimal. There exist trivial Morley rank 1 theories which are not categorical and for which the conclusion of the theorem fails. Also, \textit{D. Marker} [``Non \(\Sigma_n\) axiomatizable almost strongly minimal theories'', J. Symb. Log. 54, 921--927 (1989; Zbl 0698.03021)] constructed trivial totally categorical theories of Morley rank 2 which are not model complete after naming any set of constants.
0 references
categorical theories
0 references
Morley rank
0 references
model completeness
0 references
0.823570966720581
0 references
0.7536404728889465
0 references
0.7462029457092285
0 references
0.7323049902915955
0 references
