Undefinability of <i>κ</i>-well-orderings in <i>L</i><sub>∞<i>κ</i></sub> (Q4372918)
From MaRDI portal
scientific article; zbMATH DE number 1097745
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undefinability of <i>κ</i>-well-orderings in <i>L</i><sub>∞<i>κ</i></sub> |
scientific article; zbMATH DE number 1097745 |
Statements
Undefinability of <i>κ</i>-well-orderings in <i>L</i><sub>∞<i>κ</i></sub> (English)
0 references
17 December 1997
0 references
\(\kappa\)-well-orderings
0 references
boundedness
0 references
trees
0 references
linear orderings
0 references
Henkin construction
0 references
chain models
0 references
Vaught sentences
0 references
downward Löwenheim-Skolem theorems
0 references
Hintikka games
0 references
undefinability
0 references
