How to glue analysis models

DOI10.2307/2274283MaRDI QIDQ3695281zbMATH OpenOpenAlexFDO

Authors 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

Beth modelsdefinable sequencesexistence propertyglueingintuitionistic analysis

Mathematics Subject Classification ID

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

Recommendations

• Glueing of analysis models in an intuitionistic setting
• Some purely topological models for intuitionistic analysis
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• A generalization of Beth model to functionals of high types
• scientific article; zbMATH DE number 749939

Cites work

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

Cited in

(3)

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

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

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