The following pages link to On Brouwer's continuity principle (Q1788331):
Displayed 6 items.
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)