NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.063 seconds)

Spelling suggestions: "subject:"model 1heory first order logic"" "subject:"model 1heory first order yogic""

1

A class of QFA rings

Naziazeno Galvão, Eudes 31 January 2011 (has links)
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
Mathematical Logic
Model Theory First Order Logic
QFA Rings

Page generated in 0.0668 seconds