The following pages link to (Q3138834):
Displaying 13 items.
- Operational closure and stability (Q385076) (← links)
- Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
- From the weak to the strong existence property (Q448335) (← links)
- Classes and truths in set theory (Q450946) (← links)
- The strength of extensionality. I: Weak weak set theories with infinity (Q1006617) (← links)
- Proof-theoretic investigations on Kruskal's theorem (Q1210137) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)
