The following pages link to (Q3464624):
Displaying 20 items.
- Reverse mathematics and well-ordering principles: a pilot study (Q1032626) (← links)
- Constructing \(\omega\)-stable structures: Model completeness. (Q1428040) (← links)
- Derivatives of normal functions and \(\omega \)-models (Q1661685) (← links)
- A model of the generic Vopěnka principle in which the ordinals are not Mahlo (Q1712940) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- Proof-theoretic strengths of the well-ordering principles (Q2309489) (← links)
- Suitable extender models. II: Beyond \(\omega \)-huge (Q2883843) (← links)
- (Q3781748) (← links)
- (Q4245013) (← links)
- Omega‐ and Beta‐Models of Alternative Set Theory (Q4315329) (← links)
- ?-saturated quasi-minimal models of Th(??, +,?, 0) (Q4680371) (← links)
- (Q4785505) (← links)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension (Q5013904) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- Computable aspects of the Bachmann–Howard principle (Q5118047) (← links)
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY (Q5159496) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Models of \textsf{ZFA} in which every linearly ordered set can be well ordered (Q6077948) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
