A long pseudo-comparison of premice in \(L[x]\) (Q1633899)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A long pseudo-comparison of premice in \(L[x]\) |
scientific article |
Statements
A long pseudo-comparison of premice in \(L[x]\) (English)
0 references
21 December 2018
0 references
inner model
0 references
ordinal definable
0 references
comparison
0 references
