Pages that link to "Item:Q5082051"
From MaRDI portal
The following pages link to A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051):
Displaying 5 items.
- 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)
- Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
