Pages that link to "Item:Q392292"

The following pages link to Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292):

Displaying 9 items.

• From the weak to the strong existence property (Q448335) (← links)
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613) (← links)
• End extending models of set theory via power admissible covers (Q2672157) (← links)
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
• Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
• Constructing the constructible universe constructively (Q6145038) (← links)