A Topological Model for Intuitionistic Analysis with Kripke's Scheme
From MaRDI portal
Publication:3208650
DOI10.1002/malq.19780242507zbMath0418.03039OpenAlexW2005370739MaRDI QIDQ3208650
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780242507
Kripke's schemaBrouwer's principleprinciple of uniformitytopological model for intuitionistic analysis
Related Items (10)
Glueing of analysis models in an intuitionistic setting ⋮ Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis ⋮ Intuitionism and effective descriptive set theory ⋮ SEPARATING FRAGMENTS OF WLEM, LPO, AND MP ⋮ On a weakening of Markov's Principle ⋮ A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable ⋮ A new model for intuitionistic analysis ⋮ Some purely topological models for intuitionistic analysis ⋮ On some non-classical extensions of second-order intuitionistic propositional calculus
This page was built for publication: A Topological Model for Intuitionistic Analysis with Kripke's Scheme