AUT LibraryAUT
View Item 
  •   Open Research
  • Faculties
  • Faculty of Design and Creative Technologies (Te Ara Auaha)
  • School of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, Pāngarau
  • View Item
  •   Open Research
  • Faculties
  • Faculty of Design and Creative Technologies (Te Ara Auaha)
  • School of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, Pāngarau
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Topological Beth Model and its Application to Functionals of High Types

Kachapova, F
Thumbnail
View/Open
Journal article (1.257Mb)
Permanent link
http://hdl.handle.net/10292/13725
Metadata
Show full metadata
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.
Keywords
Intuitionistic Functional; Creating Subject; Topological Model; Beth Model; Forcing Relation
Date
October 14, 2020
Source
Journal of Mathematics and Statistics, 16(1), 212-223. https://doi.org/10.3844/jmssp.2020.212.223
Item Type
Journal Article
Publisher
Science Publications
DOI
10.3844/jmssp.2020.212.223
Publisher's Version
https://doi.org/10.3844/jmssp.2020.212.223
Rights Statement
© 2020 Farida Kachapova. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

Contact Us
  • Admin

Hosted by Tuwhera, an initiative of the Auckland University of Technology Library

 

 

Browse

Open ResearchTitlesAuthorsDateSchool of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, PāngarauTitlesAuthorsDate

Alternative metrics

 

Statistics

For this itemFor all Open Research

Share

 
Follow @AUT_SC

Contact Us
  • Admin

Hosted by Tuwhera, an initiative of the Auckland University of Technology Library