An interpretation of intuitionistic analysis
From MaRDI portal
Publication:4182505
DOI10.1016/0003-4843(78)90029-3zbMATH Open0399.03049OpenAlexW2118041160MaRDI QIDQ4182505FDOQ4182505
Authors: Dirk van Dalen 
Publication date: 1978
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(78)90029-3
SemanticsContinuityForcingCreative SubjectIntuitionistic AnalysisMarkov's PrincipleKripke's SchemaBeth ModelsChoice SequencesChoiseLawless Sequences
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
- Brouwer's incomplete objects
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- A model for intuitionistic non-standard arithmetic
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Decidability and Specker sequences in intuitionistic mathematics
- Some purely topological models for intuitionistic analysis
- Sheaf models for choice sequences
- Creative subject, Beth models and neighbourhood functions
- Realizing Brouwer's sequences
- A new model for intuitionistic analysis
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- A strong multi-typed intuitionistic theory of functionals
- Forcing in intuitionistic systems without power-set
- 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
- Separating fragments of WLEM, LPO, and MP
- Intuitionistic theory of functionals of higher type
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)
