Topological Beth Model and its Application to Functionals of High Types
aut.relation.endpage | 223 | |
aut.relation.issue | 1 | en_NZ |
aut.relation.journal | Journal of Mathematics and Statistics | en_NZ |
aut.relation.startpage | 212 | |
aut.relation.volume | 16 | en_NZ |
aut.researcher | Kachapova, Farida | |
dc.contributor.author | Kachapova, F | en_NZ |
dc.date.accessioned | 2020-10-19T22:52:14Z | |
dc.date.available | 2020-10-19T22:52:14Z | |
dc.date.copyright | 2020-10-14 | en_NZ |
dc.date.issued | 2020-10-14 | en_NZ |
dc.description.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. | |
dc.identifier.citation | Journal of Mathematics and Statistics, 16(1), 212-223. https://doi.org/10.3844/jmssp.2020.212.223 | |
dc.identifier.doi | 10.3844/jmssp.2020.212.223 | en_NZ |
dc.identifier.issn | 1549-3644 | en_NZ |
dc.identifier.uri | https://hdl.handle.net/10292/13725 | |
dc.publisher | Science Publications | en_NZ |
dc.relation.uri | https://doi.org/10.3844/jmssp.2020.212.223 | en_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.accessrights | OpenAccess | en_NZ |
dc.subject | Intuitionistic Functional; Creating Subject; Topological Model; Beth Model; Forcing Relation | |
dc.title | Topological Beth Model and its Application to Functionals of High Types | en_NZ |
dc.type | Journal Article | |
pubs.elements-id | 392877 | |
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
1 - 1 of 1
Loading...
- Name:
- jmssp.2020.212.223.pdf
- Size:
- 1.26 MB
- Format:
- Adobe Portable Document Format
- Description:
- Journal article
License bundle
1 - 1 of 1
Loading...
- Name:
- AUT Grant of Licence for Tuwhera Aug 2018.pdf
- Size:
- 276.29 KB
- Format:
- Adobe Portable Document Format
- Description: