A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) (Q1256454)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) |
scientific article; zbMATH DE number 3627160
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) |
scientific article; zbMATH DE number 3627160 |
Statements
A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) (English)
0 references
1978
0 references
Consistency
0 references
Generic Extension
0 references
Constructibility
0 references
