Existentially closed models via constructible sets: There are 2<sup><i>ℵ</i>0</sup> existentially closed pairwise non elementarily equivalent existentially closed ordered groups (Q4879913)
From MaRDI portal
scientific article; zbMATH DE number 883471
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Existentially closed models via constructible sets: There are 2<sup><i>ℵ</i>0</sup> existentially closed pairwise non elementarily equivalent existentially closed ordered groups |
scientific article; zbMATH DE number 883471 |
Statements
Existentially closed models via constructible sets: There are 2<sup><i>ℵ</i>0</sup> existentially closed pairwise non elementarily equivalent existentially closed ordered groups (English)
0 references
21 August 1996
0 references
axiom of constructibility
0 references
elementary equivalence
0 references
ordered \(k\)-algebras
0 references
existentially closed models
0 references
ordered groups
0 references
model companion
0 references
ordered field
0 references
