TY - JOUR
AU - Farida Kachapova
PY - 2020/10/14
Y2 - 2020/10/30
TI - Topological Beth Model and its Application to Functionals of High Types
JF - Journal of Mathematics and Statistics
JA - JMSS
VL - 16
IS - 1
SE - Research Article
DO - 10.3844/jmssp.2020.212.223
UR - https://thescipub.com/abstract/jmssp.2020.212.223
AB - Based on the deﬁnition of Beth-Kripke model by Dragalin, we describe Beth model from the topological point of view. We show the relation of the topological deﬁnition with more traditional relational deﬁnition of Beth model that is based on forcing. We apply the topological deﬁnition to construct a Beth model for a theory of intuitionistic functionals of high types and to prove its consistency
ER -