Locally Σ<sub>1</sub>-definable well-orders of H(κ<sup>+</sup>) (Q5168575)
From MaRDI portal
scientific article; zbMATH DE number 6314009
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Locally Σ<sub>1</sub>-definable well-orders of H(κ<sup>+</sup>) |
scientific article; zbMATH DE number 6314009 |
Statements
Locally Σ<sub>1</sub>-definable well-orders of H(κ<sup>+</sup>) (English)
0 references
7 July 2014
0 references
definable well-orders
0 references
failure of GCH
0 references
forcing
0 references
