The following pages link to On reflection principles (Q5901498):
Displaying 34 items.
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Multiverse conceptions in set theory (Q510715) (← links)
- Reflection principles for class groups (Q529470) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- On the method of reflections (Q2038432) (← links)
- Can we resolve the continuum hypothesis? (Q2054119) (← links)
- Maximality and ontology: how axiom content varies across philosophical frameworks (Q2054121) (← links)
- Inner-model reflection principles (Q2186697) (← links)
- On stationary reflection principles (Q2784780) (← links)
- On strong forms of reflection in set theory (Q2793907) (← links)
- The hyperuniverse program (Q2837763) (← links)
- Arithmetical Reflection and the Provability of Soundness (Q2965618) (← links)
- Absolute Infinity in Class Theory and in Theology (Q3295819) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- Multiverse Conceptions in Set Theory (Q3305406) (← links)
- Evidence for Set-Theoretic Truth and the Hyperuniverse Programme (Q3305407) (← links)
- On Strong Forms of Reflection in Set Theory (Q3305409) (← links)
- Explaining Maximality Through the Hyperuniverse Programme (Q3305411) (← links)
- (Q3343982) (← links)
- Reflecting on incompleteness (Q3981446) (← links)
- A STRONG REFLECTION PRINCIPLE (Q4600822) (← links)
- An application of a reflection principle (Q4811317) (← links)
- A consistency proof for some restrictions of Tait's reflection principles (Q4915225) (← links)
- (Q4946140) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- Feferman and the Truth (Q5214789) (← links)
- MODAL STRUCTURALISM AND REFLECTION (Q5216972) (← links)
- Obtaining Woodin’s cardinals (Q5351854) (← links)
- Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection (Q5869697) (← links)
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION (Q5884254) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896080) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896167) (← links)
- On reflection principles (Q5896339) (← links)
- Reflective mereology (Q6166131) (← links)
