Interpretability in Robinson's Q

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFerreira, Fernando-
Autor(es): dc.creatorFerreira, Gilda-
Data de aceite: dc.date.accessioned2022-02-15T14:07:54Z-
Data de disponibilização: dc.date.available2022-02-15T14:07:54Z-
Data de envio: dc.date.issued2021-02-10-
Data de envio: dc.date.issued2021-02-10-
Data de envio: dc.date.issued2013-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/10486-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/10486-
Descrição: dc.descriptionEdward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson’s theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson’s position.-
Descrição: dc.descriptioninfo:eu-repo/semantics/publishedVersion-
Idioma: dc.languageen-
Relação: dc.relationPEst-OE/MAT/UI0209/2011-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/3599-PPCDT/104716/PT-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F34527%2F2006/PT-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectRobinson's Q-
Palavras-chave: dc.subjectWeak theory of arithmetic-
Palavras-chave: dc.subjectInterpretability in Q-
Palavras-chave: dc.subjectBounded theory-
Título: dc.titleInterpretability in Robinson's Q-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.