On first-order sentences without finite models (Q5311726)
From MaRDI portal
scientific article; zbMATH DE number 2199932
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On first-order sentences without finite models |
scientific article; zbMATH DE number 2199932 |
Statements
On first-order sentences without finite models (English)
0 references
29 August 2005
0 references
strict order property
0 references
\(\omega\)-categoricity
0 references
finitely axiomatized theory
0 references
stable pseudoplanes
0 references
finite submodel property
0 references
