Topological Beth Model and its Application to Functionals of High Types

Simple item page
aut.relation.endpage223
aut.relation.issue1en_NZ
aut.relation.journalJournal of Mathematics and Statisticsen_NZ
aut.relation.startpage212
aut.relation.volume16en_NZ
aut.researcherKachapova, Farida
dc.contributor.authorKachapova, Fen_NZ
dc.date.accessioned2020-10-19T22:52:14Z
dc.date.available2020-10-19T22:52:14Z
dc.date.copyright2020-10-14en_NZ
dc.date.issued2020-10-14en_NZ
dc.description.abstractBased 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.
dc.identifier.citationJournal of Mathematics and Statistics, 16(1), 212-223. https://doi.org/10.3844/jmssp.2020.212.223
dc.identifier.doi10.3844/jmssp.2020.212.223en_NZ
dc.identifier.issn1549-3644en_NZ
dc.identifier.urihttps://hdl.handle.net/10292/13725
dc.publisherScience Publicationsen_NZ
dc.relation.urihttps://doi.org/10.3844/jmssp.2020.212.223en_NZ
dc.rights© 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.
dc.rights.accessrightsOpenAccessen_NZ
dc.subjectIntuitionistic Functional; Creating Subject; Topological Model; Beth Model; Forcing Relation
dc.titleTopological Beth Model and its Application to Functionals of High Typesen_NZ
dc.typeJournal Article
pubs.elements-id392877
pubs.organisational-data/AUT
pubs.organisational-data/AUT/Design & Creative Technologies
pubs.organisational-data/AUT/Design & Creative Technologies/Engineering, Computer & Mathematical Sciences
pubs.organisational-data/AUT/PBRF
pubs.organisational-data/AUT/PBRF/PBRF Design and Creative Technologies
pubs.organisational-data/AUT/PBRF/PBRF Design and Creative Technologies/PBRF ECMS
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
jmssp.2020.212.223.pdf
Size:
1.26 MB
Format:
Adobe Portable Document Format
Description:
Journal article
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
AUT Grant of Licence for Tuwhera Aug 2018.pdf
Size:
276.29 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
School of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, Pāngarau