A Topological Model for Intuitionistic Analysis with Kripke's Scheme

DOI10.1002/MALQ.19780242507zbMATH Open0418.03039OpenAlexW2005370739MaRDI QIDQ3208650FDOQ3208650

Authors: 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)

Cited In (10)

• A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable
• On a weakening of Markov's Principle
• Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
• Some purely topological models for intuitionistic analysis
• A new model for intuitionistic analysis
• Glueing of analysis models in an intuitionistic setting
• Intuitionism and effective descriptive set theory
• On some non-classical extensions of second-order intuitionistic propositional calculus
• Separating fragments of WLEM, LPO, and MP
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis

This page was built for publication: A Topological Model for Intuitionistic Analysis with Kripke's Scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3208650)