HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (Q5501766)
From MaRDI portal
scientific article; zbMATH DE number 6472562
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC |
scientific article; zbMATH DE number 6472562 |
Statements
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (English)
0 references
14 August 2015
0 references
Harrington's principle \(\mathsf{HP}\)
0 references
\(0^{\sharp}\)
0 references
remarkable cardinal
0 references
almost disjoint forcing
0 references
class forcing
0 references
reshaping
0 references
\(\mathsf{HP}(\varphi)\)
0 references
subcomplete forcing
0 references
revised countable support (RCS) iterations
0 references
iterated club shooting
0 references
\(Z_{2}\)
0 references
\(Z_{3}\)
0 references
\(Z_{4}\)
0 references
