An interpretation of intuitionistic analysis

DOI10.1016/0003-4843(78)90029-3zbMath0399.03049OpenAlexW2118041160MaRDI QIDQ4182505

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

zbMATH Keywords

SemanticsContinuityForcingIntuitionistic AnalysisMarkov's PrincipleCreative SubjectKripke's SchemaBeth ModelsChoice SequencesChoiseLawless Sequences

Mathematics Subject Classification ID

Model theory (03C99) Intuitionistic mathematics (03F55)

Related Items (22)

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

This page was built for publication: An interpretation of intuitionistic analysis