The following pages link to (Q5539743):
Displaying 13 items.
- Sheaf models for choice sequences (Q798316) (← links)
- Brouwer's constructivism (Q1220903) (← links)
- A very strong intuitionistic theory (Q1234293) (← links)
- A hierarchy of Brouwer constructive functionals (Q1256468) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Informal theory of choice sequences (Q2561210) (← links)
- (Q5652656) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
- Indeterminism in physics and intuitionistic mathematics (Q6180146) (← links)
