An interpretation of intuitionistic analysis
From MaRDI portal
Publication:4182505
Cited in
(23)- A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable
- A semantic hierarchy for intuitionistic logic
- Formally computing with the non-computable
- How to glue analysis models
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- A model for intuitionistic non-standard arithmetic
- Brouwer's incomplete objects
- Decidability and Specker sequences in intuitionistic mathematics
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Sheaf models for choice sequences
- Some purely topological models for intuitionistic analysis
- Creative subject, Beth models and neighbourhood functions
- Realizing Brouwer's sequences
- A new model for intuitionistic analysis
- A strong multi-typed intuitionistic theory of functionals
- Forcing in intuitionistic systems without power-set
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- Equivalence between semantics for intuitionism. I
- Glueing of analysis models in an intuitionistic setting
- On the constructive notion of closure maps
- On some non-classical extensions of second-order intuitionistic propositional calculus
- Intuitionistic theory of functionals of higher type
- Separating fragments of WLEM, LPO, and MP
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)
