Pages that link to "Item:Q3346304"
From MaRDI portal
The following pages link to On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION (Q3346304):
Displaying 7 items.
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- (Q3025175) (← links)
- On Strong Forms of Reflection in Set Theory (Q3305409) (← links)
- Majorizing provably recursive functions in fragments of PA (Q3720596) (← links)
- A proof-theoretic characterization of the primitive recursive set functions (Q4032873) (← links)
- AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)