Pages that link to "Item:Q4182505"
From MaRDI portal
The following pages link to An interpretation of intuitionistic analysis (Q4182505):
Displaying 22 items.
- A new model for intuitionistic analysis (Q750439) (← links)
- Sheaf models for choice sequences (Q798316) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- Glueing of analysis models in an intuitionistic setting (Q1098848) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Intuitionistic theory of functionals of higher type (Q1825192) (← links)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- Creative subject, Beth models and neighbourhood functions (Q1908820) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable (Q2813681) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS (Q3450813) (← links)
- Brouwer's Incomplete Objects (Q3590046) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)
- How to glue analysis models (Q3695281) (← links)
- Forcing in intuitionistic systems without power-set (Q3726114) (← links)
- Equivalence between semantics for intuitionism. I (Q3960693) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
