The following pages link to On Brouwer's continuity principle (Q1788331):
Displaying 7 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)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
