Jensen's <i>Σ</i>* theory and the combinatorial content of <i>V</i> = <i>L</i> (Q4314693)
From MaRDI portal
scientific article; zbMATH DE number 695464
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Jensen's <i>Σ</i>* theory and the combinatorial content of <i>V</i> = <i>L</i> |
scientific article; zbMATH DE number 695464 |
Statements
Jensen's <i>Σ</i>* theory and the combinatorial content of <i>V</i> = <i>L</i> (English)
0 references
27 November 1994
0 references
constructibility
0 references
Skolem system
0 references
fine structure
0 references
uniformization
0 references
hulls
0 references
Skolem functions
0 references