A class of QFA rings

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Naziazeno Galvão, Eudes
Orientador(a): José Guerra Barreto de Queiroz, Ruy
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Universidade Federal de Pernambuco
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Mathematical Logic
Model Theory First Order Logic
QFA Rings
Link de acesso: https://repositorio.ufpe.br/handle/123456789/1291
Resumo: Nesta tese, provamos que todo domínio infinito finitamente gerado é bi-interpretável com a estrutura dos números naturais. Usando este argumento, demonstramos que todo anel f.g. R que tem um ideal primo nilpotente I tal que R/I é um domínio é Quase-Finitamente Axiomatizável
id UFPE_08868818d2c5faa4ef8c485d2a2a942b
oai_identifier_str oai:repositorio.ufpe.br:123456789/1291
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str
spelling Naziazeno Galvão, EudesJosé Guerra Barreto de Queiroz, Ruy 2014-06-12T15:48:50Z2014-06-12T15:48:50Z2011-01-31Naziazeno Galvão, Eudes; José Guerra Barreto de Queiroz, Ruy. A class of QFA rings. 2011. Tese (Doutorado). Programa de Pós-Graduação em Ciência de Materiais, Universidade Federal de Pernambuco, Recife, 2011.https://repositorio.ufpe.br/handle/123456789/1291Nesta tese, provamos que todo domínio infinito finitamente gerado é bi-interpretável com a estrutura dos números naturais. Usando este argumento, demonstramos que todo anel f.g. R que tem um ideal primo nilpotente I tal que R/I é um domínio é Quase-Finitamente AxiomatizávelCoordenação de Aperfeiçoamento de Pessoal de Nível SuperiorengUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessMathematical LogicModel Theory First Order LogicQFA RingsA class of QFA ringsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILarquivo2717_1.pdf.jpgarquivo2717_1.pdf.jpgGenerated Thumbnailimage/jpeg1415https://repositorio.ufpe.br/bitstream/123456789/1291/4/arquivo2717_1.pdf.jpg9f3197ef8d7ef919b840da46a353dd3bMD54ORIGINALarquivo2717_1.pdfapplication/pdf481883https://repositorio.ufpe.br/bitstream/123456789/1291/1/arquivo2717_1.pdfbb9d70f42c1cda245b5340284b5dc431MD51LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/1291/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTarquivo2717_1.pdf.txtarquivo2717_1.pdf.txtExtracted texttext/plain75244https://repositorio.ufpe.br/bitstream/123456789/1291/3/arquivo2717_1.pdf.txt171c9e74b8a4b0ded4ae4c9e73eb1057MD53123456789/12912019-10-25 12:33:47.466oai:repositorio.ufpe.br:123456789/1291Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T15:33:47Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv A class of QFA rings
title A class of QFA rings
spellingShingle A class of QFA rings
Naziazeno Galvão, Eudes
Mathematical Logic
Model Theory First Order Logic
QFA Rings
title_short A class of QFA rings
title_full A class of QFA rings
title_fullStr A class of QFA rings
title_full_unstemmed A class of QFA rings
title_sort A class of QFA rings
author Naziazeno Galvão, Eudes
author_facet Naziazeno Galvão, Eudes
author_role author
dc.contributor.author.fl_str_mv Naziazeno Galvão, Eudes
dc.contributor.advisor1.fl_str_mv José Guerra Barreto de Queiroz, Ruy
contributor_str_mv José Guerra Barreto de Queiroz, Ruy
dc.subject.por.fl_str_mv Mathematical Logic
Model Theory First Order Logic
QFA Rings
topic Mathematical Logic
Model Theory First Order Logic
QFA Rings
description Nesta tese, provamos que todo domínio infinito finitamente gerado é bi-interpretável com a estrutura dos números naturais. Usando este argumento, demonstramos que todo anel f.g. R que tem um ideal primo nilpotente I tal que R/I é um domínio é Quase-Finitamente Axiomatizável
publishDate 2011
dc.date.issued.fl_str_mv 2011-01-31
dc.date.accessioned.fl_str_mv 2014-06-12T15:48:50Z
dc.date.available.fl_str_mv 2014-06-12T15:48:50Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv Naziazeno Galvão, Eudes; José Guerra Barreto de Queiroz, Ruy. A class of QFA rings. 2011. Tese (Doutorado). Programa de Pós-Graduação em Ciência de Materiais, Universidade Federal de Pernambuco, Recife, 2011.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/1291
identifier_str_mv Naziazeno Galvão, Eudes; José Guerra Barreto de Queiroz, Ruy. A class of QFA rings. 2011. Tese (Doutorado). Programa de Pós-Graduação em Ciência de Materiais, Universidade Federal de Pernambuco, Recife, 2011.
url https://repositorio.ufpe.br/handle/123456789/1291
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/1291/4/arquivo2717_1.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/1291/1/arquivo2717_1.pdf
https://repositorio.ufpe.br/bitstream/123456789/1291/2/license.txt
https://repositorio.ufpe.br/bitstream/123456789/1291/3/arquivo2717_1.pdf.txt
bitstream.checksum.fl_str_mv 9f3197ef8d7ef919b840da46a353dd3b
bb9d70f42c1cda245b5340284b5dc431
8a4605be74aa9ea9d79846c1fba20a33
171c9e74b8a4b0ded4ae4c9e73eb1057
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1862741638299779072

Registros relacionados