Pages that link to "Item:Q4628680"
From MaRDI portal
The following pages link to A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680):
Displaying 12 items.
- Second order theories with ordinals and elementary comprehension (Q1908814) (← 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)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669) (← links)
- The model-theoretic ordinal analysis of theories of predicative strength (Q4254639) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- PREDICATIVE COLLAPSING PRINCIPLES (Q5107241) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)