A Topological Model for Intuitionistic Analysis with Kripke's Scheme

DOI10.1002/malq.19780242507zbMath0418.03039OpenAlexW2005370739MaRDI QIDQ3208650

M. D. Krol'

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

zbMATH Keywords

Kripke's schemaBrouwer's principleprinciple of uniformitytopological model for intuitionistic analysis

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

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