A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) (Q1208082)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) |
scientific article |
Statements
A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) (English)
0 references
16 May 1993
0 references
forcing poset
0 references
definable well-order of the reals
0 references
generic extension
0 references
encoding
0 references
Aronszajn trees
0 references
products
0 references
Suslin trees
0 references
Magidor-Malitz logic
0 references
0 references