A generalization of Beth model to functionals of high types

DOI10.1142/9789814449274_0011MaRDI QIDQ5737992zbMATH OpenOpenAlexFDO

Authors Farida Kachapova

Publication date 31 May 2017

Published in Proceedings of the 12th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814449274_0011

zbMATH Keywords

functionalforcingKripke's schemachoice sequenceBeth modelintuitionistic principlelawless functional

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Recommendations

• A strong multi-typed intuitionistic theory of functionals
• scientific article; zbMATH DE number 3313428
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• A new model for intuitionistic analysis
• Some purely topological models for intuitionistic analysis

Cited in

(5)

• scientific article; zbMATH DE number 1417380 (Why is no real title available?)
• scientific article; zbMATH DE number 4091499 (Why is no real title available?)
• How to glue analysis models
• scientific article; zbMATH DE number 1749196 (Why is no real title available?)
• A strong multi-typed intuitionistic theory of functionals

This page was built for publication: A generalization of Beth model to functionals of high types

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