The following pages link to Peter Holy (Q1625595):
Displaying 9 items.
- AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING (Q5044313) (← links)
- Ramsey-like operators (Q5046524) (← links)
- Characterizing large cardinals through Neeman's pure side condition forcing (Q5146430) (← links)
- Locally Σ<sub>1</sub>-definable well-orders of H(κ<sup>+</sup>) (Q5168575) (← links)
- LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH (Q5251369) (← links)
- Sufficient conditions for the forcing theorem, and turning proper classes into sets (Q5376622) (← links)
- THE EXACT STRENGTH OF THE CLASS FORCING THEOREM (Q5855740) (← links)
- IDEAL OPERATORS AND HIGHER INDESCRIBABILITY (Q6103465) (← links)
- ASYMMETRIC CUT AND CHOOSE GAMES (Q6199175) (← links)
