A Topological Model for Intuitionistic Analysis with Kripke's Scheme

DOI10.1002/MALQ.19780242507MaRDI QIDQ3208650zbMATH OpenOpenAlexFDO

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)

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

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)