How to glue analysis models

DOI10.2307/2274283zbMath0576.03038OpenAlexW2099358884MaRDI QIDQ3695281

Dirk van Dalen

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274283

zbMATH Keywords

intuitionistic analysisexistence propertyglueingBeth modelsdefinable sequences

Mathematics Subject Classification ID

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

Related Items (3)

Glueing of analysis models in an intuitionistic setting ⋮ A semantic hierarchy for intuitionistic logic ⋮ A new model for intuitionistic analysis

Cites Work

• Some applications of Kripke models to formal systems of intuitionistic analysis
• Kripke models and the intuitionistic theory of species
• An interpretation of intuitionistic analysis
• Can there be no nonrecursive functions?

This page was built for publication: How to glue analysis models