Um estudo sobre teorias de definições indutivas e admissibilidade

Detalhes bibliográficos
Autor(a) principal: Enes, João Filipe Pereira da Silva
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/10470
Resumo: Tese de mestrado em Matemática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013
id RCAP_e3e0fc9adafdf949625389d35290a0c7
oai_identifier_str oai:repositorio.ul.pt:10451/10470
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 Um estudo sobre teorias de definições indutivas e admissibilidadeMatemáticaTeses de mestrado - 2013Tese de mestrado em Matemática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013Esta dissertação é um estudo das definições indutivas e suas teorias sob o ponto de vista da teoria da demonstração. No primeiro capítulo apresentamos as noções básicas das definições indutivas. De seguida definimos as teorias ID1 e ID1(W) e apresentamos uma nova interpretação da primeira na segunda. Na segunda parte da dissertação estudamos a teoria de conjuntos admissíveis KPw. Começámos por apresentar KPw e alguns resultados que nos permitirão interpretar ID1 em KPw. No último capítulo estudamos uma recente interpretação funcional de KPw numa teoria de funcionais de árvore recursivos primitivos de Howard. Esta interpretação permite caracterizar duma forma simples o denominado Σ-ordinal de KPw.This thesis concerns the study of inductive definitions and their theories from a proof-theoretical point of view. In the first chapter, we present the basic notions of inductive definitions. Next we define the theories ID1 and ID1(W) and present a novel interpretation of the former in the latter. In the second part of the thesis, we study the admissible set theory KPw. We start by presenting KPw and some results that will allow us to interpret ID1 in KPw. In the last chapter, we study a recent functional interpretation of KPw in a theory of Howard's primitive recursive tree functionals. This interpretation yields a simple characterization of the so-called Σ-ordinal of KPw.Ferreira, Fernando, 1958-Repositório da Universidade de LisboaEnes, João Filipe Pereira da Silva2014-02-05T16:27:59Z20132013-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10451/10470TID:201337924porinfo: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:RCAAP2023-11-08T15:55:59Zoai:repositorio.ul.pt:10451/10470Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:34:28.967085Repositó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 Um estudo sobre teorias de definições indutivas e admissibilidade
title Um estudo sobre teorias de definições indutivas e admissibilidade
spellingShingle Um estudo sobre teorias de definições indutivas e admissibilidade
Enes, João Filipe Pereira da Silva
Matemática
Teses de mestrado - 2013
title_short Um estudo sobre teorias de definições indutivas e admissibilidade
title_full Um estudo sobre teorias de definições indutivas e admissibilidade
title_fullStr Um estudo sobre teorias de definições indutivas e admissibilidade
title_full_unstemmed Um estudo sobre teorias de definições indutivas e admissibilidade
title_sort Um estudo sobre teorias de definições indutivas e admissibilidade
author Enes, João Filipe Pereira da Silva
author_facet Enes, João Filipe Pereira da Silva
author_role author
dc.contributor.none.fl_str_mv Ferreira, Fernando, 1958-
Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Enes, João Filipe Pereira da Silva
dc.subject.por.fl_str_mv Matemática
Teses de mestrado - 2013
topic Matemática
Teses de mestrado - 2013
description Tese de mestrado em Matemática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013
publishDate 2013
dc.date.none.fl_str_mv 2013
2013-01-01T00:00:00Z
2014-02-05T16:27:59Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/10470
TID:201337924
url http://hdl.handle.net/10451/10470
identifier_str_mv TID:201337924
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 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_ 1799134239888769024

Registros relacionados