A simpler proof of Jensen's coding theorem (Q1338196)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simpler proof of Jensen's coding theorem |
scientific article |
Statements
A simpler proof of Jensen's coding theorem (English)
0 references
27 November 1994
0 references
Jensen's coding theorem
0 references
limit coding
0 references
successor coding
0 references
class forcing
0 references
