Pages that link to "Item:Q2933671"
From MaRDI portal
The following pages link to RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES (Q2933671):
Displaying 14 items.
- Classes and truths in set theory (Q450946) (← links)
- From hierarchies to well-foundedness (Q481873) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES (Q5222524) (← links)
- Open determinacy for class games (Q5351852) (← links)
- THE EXACT STRENGTH OF THE CLASS FORCING THEOREM (Q5855740) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- VARIETIES OF CLASS-THEORETIC POTENTIALISM (Q6131234) (← 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)
