Research ArticleOpen accessIn the keywordsTopological Beth Model and its Application to Functionals of High TypesFarida KachapovaBased on the definition of Beth-Kripke model by Dragalin, we describe Beth model from the topological point of view. We show the relation of the topological definition with more traditional relational definition of Beth model that is based on forcing. We apply the topological definition to construct a Beth model for a theory of intuitionistic functionals of high types and … …Journal of Mathematics and Statistics, Vol. 16, Issue 1 · 14 Oct 2020 · 6,525 accessesView PDFCite