An interpretation of intuitionistic analysis
From MaRDI portal
Publication:4182505
Cited in
(24)- On some non-classical extensions of second-order intuitionistic propositional calculus
- Glueing of analysis models in an intuitionistic setting
- Some purely topological models for intuitionistic analysis
- A semantic hierarchy for intuitionistic logic
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Intuitionistic theory of functionals of higher type
- A model for intuitionistic non-standard arithmetic
- Creative subject, Beth models and neighbourhood functions
- Realizing Brouwer's sequences
- Formally computing with the non-computable
- A model of intuitionistic analysis in which -definable discrete sets are subcountable
- On the constructive notion of closure maps
- Separating fragments of WLEM, LPO, and MP
- A strong multi-typed intuitionistic theory of functionals
- Brouwer's incomplete objects
- Decidability and Specker sequences in intuitionistic mathematics
- How to glue analysis models
- Forcing in intuitionistic systems without power-set
- Equivalence between semantics for intuitionism. I
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
- A new model for intuitionistic analysis
- Sheaf models for choice sequences
This page was built for publication: An interpretation of intuitionistic analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4182505)
