Research Article Open Access

Topological Beth Model and its Application to Functionals of High Types

Farida Kachapova1
  • 1 Auckland University of Technology, Auckland, New Zealand
Journal of Mathematics and Statistics
Volume 16 No. 1, 2020, 212-223

DOI: https://doi.org/10.3844/jmssp.2020.212.223

Submitted On: 6 June 2020 Published On: 14 October 2020

How to Cite: Kachapova, F. (2020). Topological Beth Model and its Application to Functionals of High Types. Journal of Mathematics and Statistics, 16(1), 212-223. https://doi.org/10.3844/jmssp.2020.212.223

Abstract

Based 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 to prove its consistency

  • 161 Views
  • 106 Downloads
  • 0 Citations

Download

Keywords

  • Intuitionistic Functional
  • Creating Subject
  • Topological Model
  • Beth Model
  • Forcing Relation