An interpretation of intuitionistic analysis
From MaRDI portal
Publication:4182505
DOI10.1016/0003-4843(78)90029-3zbMath0399.03049OpenAlexW2118041160MaRDI QIDQ4182505
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
SemanticsContinuityForcingIntuitionistic AnalysisMarkov's PrincipleCreative SubjectKripke's SchemaBeth ModelsChoice SequencesChoiseLawless Sequences
Related Items
A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS, A model for intuitionistic non-standard arithmetic, Glueing of analysis models in an intuitionistic setting, On the constructive notion of closure maps, Forcing in intuitionistic systems without power-set, Creative subject, Beth models and neighbourhood functions, Realizing Brouwer's sequences, SEPARATING FRAGMENTS OF WLEM, LPO, AND MP, A semantic hierarchy for intuitionistic logic, Brouwer's Incomplete Objects, The creating subject, the Brouwer-Kripke schema, and infinite proofs, A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable, A new model for intuitionistic analysis, Intuitionistic theory of functionals of higher type, Decidability and Specker sequences in intuitionistic mathematics, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Some purely topological models for intuitionistic analysis, Sheaf models for choice sequences, On some non-classical extensions of second-order intuitionistic propositional calculus, Formally computing with the non-computable, How to glue analysis models, Equivalence between semantics for intuitionism. I
