Hardwiring truth in functional interpretations

Detalhes bibliográficos
Autor(a) principal: Dinis, Bruno
Data de Publicação: 2023
Outros Autores: Gaspar, Jaime
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/155246
Resumo: Publisher Copyright: © 2023 Sociedade Portuguesa de Matemática
id RCAP_0c13a58006b738b6d0d5b3bacab7cc3a
oai_identifier_str oai:run.unl.pt:10362/155246
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Hardwiring truth in functional interpretationsbounded interpretationsfunctional interpretationsInterpretations with truthintuitionismnonstandard arithmeticMathematics(all)Publisher Copyright: © 2023 Sociedade Portuguesa de MatemáticaWe present four different approaches to prove the soundness theorem for variants with t-truth of functional interpretations. To showcase our different methods we focus on the intuitionistic nonstandard bounded functional interpretation of the nonstandard extensional Heyting arithmetic in all finite types because a version with t-truth for this interpretation has not been given before. Also, because it is a more involved interpretation than others since it includes both nonstandard principles and majorisability. This leads us to believe that if the approaches work for this more complicated functional interpretation, then they should also work for simpler functional interpretations (and realisabilities).CMA - Centro de Matemática e AplicaçõesRUNDinis, BrunoGaspar, Jaime2023-07-13T22:18:07Z2023-02-112023-02-11T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article25application/pdfhttp://hdl.handle.net/10362/155246eng0032-5155PURE: 66128601https://doi.org/10.4171/PM/2094info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T05:37:47Zoai:run.unl.pt:10362/155246Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:55:59.588021Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Hardwiring truth in functional interpretations
title Hardwiring truth in functional interpretations
spellingShingle Hardwiring truth in functional interpretations
Dinis, Bruno
bounded interpretations
functional interpretations
Interpretations with truth
intuitionism
nonstandard arithmetic
Mathematics(all)
title_short Hardwiring truth in functional interpretations
title_full Hardwiring truth in functional interpretations
title_fullStr Hardwiring truth in functional interpretations
title_full_unstemmed Hardwiring truth in functional interpretations
title_sort Hardwiring truth in functional interpretations
author Dinis, Bruno
author_facet Dinis, Bruno
Gaspar, Jaime
author_role author
author2 Gaspar, Jaime
author2_role author
dc.contributor.none.fl_str_mv CMA - Centro de Matemática e Aplicações
RUN
dc.contributor.author.fl_str_mv Dinis, Bruno
Gaspar, Jaime
dc.subject.por.fl_str_mv bounded interpretations
functional interpretations
Interpretations with truth
intuitionism
nonstandard arithmetic
Mathematics(all)
topic bounded interpretations
functional interpretations
Interpretations with truth
intuitionism
nonstandard arithmetic
Mathematics(all)
description Publisher Copyright: © 2023 Sociedade Portuguesa de Matemática
publishDate 2023
dc.date.none.fl_str_mv 2023-07-13T22:18:07Z
2023-02-11
2023-02-11T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/155246
url http://hdl.handle.net/10362/155246
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0032-5155
PURE: 66128601
https://doi.org/10.4171/PM/2094
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 25
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799138145921400832

Registros relacionados