Glueing of analysis models in an intuitionistic setting
From MaRDI portal
Publication:1098848
DOI10.1007/BF00373273zbMath0637.03059MaRDI QIDQ1098848
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00373273
disjunction property; weak continuity; intuitionistic analysis; bar induction; Kripke's schema; Beth models; Beth completeness theorem; intuitionistic meta-theory; model of Krol
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Topological Model for Intuitionistic Analysis with Kripke's Scheme
- How to glue analysis models
- Concepts of general topology in constructive mathematics and in sheaves
- Kripke models and the intuitionistic theory of species
- An interpretation of intuitionistic analysis