The following pages link to Realizing Brouwer's sequences (Q1923574):
Displaying 7 items.
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- Unavoidable sequences in constructive analysis (Q3552398) (← links)
- Relative lawlessness in intuitionistic analysis (Q3778020) (← links)
- Computability Beyond Church-Turing via Choice Sequences (Q5145297) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)