Made available in DSpace on 2014-06-12T15:48:50Z (GMT). No. of bitstreams: 2
arquivo2717_1.pdf: 481883 bytes, checksum: bb9d70f42c1cda245b5340284b5dc431 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / 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
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/1291 |
Date | 31 January 2011 |
Creators | Naziazeno Galvão, Eudes |
Contributors | José Guerra Barreto de Queiroz, Ruy |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | English |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0017 seconds