A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) (Q1256454)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A \(\pi^1_2\) singleton with no sharp in a generic extension of \(L^\#\) |
scientific article |
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
