Pages that link to "Item:Q5501766"
From MaRDI portal
The following pages link to HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (Q5501766):
Displaying 5 items.
- Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom (Q512131) (← links)
- Virtual large cardinals (Q1799038) (← links)
- Forcing a set model of Z3 + Harrington's Principle (Q2947234) (← links)
- The strong reflecting property and Harrington's Principle (Q2947238) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)