A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings (Q6131201)
From MaRDI portal
scientific article; zbMATH DE number 7827506
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings |
scientific article; zbMATH DE number 7827506 |
Statements
A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings (English)
0 references
4 April 2024
0 references
projective classes
0 references
well-orderings
0 references
Jensen's forcing
0 references
0 references
0 references
