An undecidable extension of Morley's theorem on the number of countable models (Q6109096)
From MaRDI portal
scientific article; zbMATH DE number 7719417
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An undecidable extension of Morley's theorem on the number of countable models |
scientific article; zbMATH DE number 7719417 |
Statements
An undecidable extension of Morley's theorem on the number of countable models (English)
0 references
26 July 2023
0 references
Morley's theorem
0 references
countable models
0 references
random and Cohen forcing
0 references
\(\sigma\)-projective equivalence relations
0 references
Woodin cardinals
0 references
inner model theory
0 references
0 references
0 references
