Glueing of analysis models in an intuitionistic setting

DOI10.1007/BF00373273zbMath0637.03059OpenAlexW2104885172MaRDI QIDQ1098848

Dirk van Dalen

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00373273

zbMATH Keywords

disjunction propertyweak continuityintuitionistic analysisbar inductionKripke's schemaBeth modelsBeth completeness theoremintuitionistic meta-theorymodel of Krol

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (1)

A new model for intuitionistic analysis

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Glueing of analysis models in an intuitionistic setting