O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los

Detalhes bibliográficos
Autor(a) principal: Cifuentes Vasquez, Jose Carlos
Data de Publicação: 1993
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1580911
Resumo: Orientador: Antonio Mario Antunes Sette
id UNICAMP-30_51ad21b45b0a26bdb68ccc9250a1b33f
oai_identifier_str oai::69705
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de LosTeoria do modeloLógica simbólica e matemáticaOrientador: Antonio Mario Antunes SetteTese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: Não informado.Abstract: Not informed.DoutoradoDoutor em Matemática[s.n.]Sette, Antônio Mário Antunes, 1939-1999Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da ComputaçãoPrograma de Pós-Graduação em MatemáticaUNIVERSIDADE ESTADUAL DE CAMPINASCifuentes Vasquez, Jose Carlos19931993-10-29T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf[94]f.https://hdl.handle.net/20.500.12733/1580911CIFUENTES VASQUEZ, Jose Carlos. O problema da compactificação em teoria de modelos: uma reinterpretação do teorema de ultraprodutos de Los. 1993. [94]f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1580911. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/69705porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-08-26T11:39:08Zoai::69705Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-08-26T11:39:08Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
title O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
spellingShingle O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
Cifuentes Vasquez, Jose Carlos
Teoria do modelo
Lógica simbólica e matemática
title_short O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
title_full O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
title_fullStr O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
title_full_unstemmed O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
title_sort O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
author Cifuentes Vasquez, Jose Carlos
author_facet Cifuentes Vasquez, Jose Carlos
author_role author
dc.contributor.none.fl_str_mv Sette, Antônio Mário Antunes, 1939-1999
Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação
Programa de Pós-Graduação em Matemática
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Cifuentes Vasquez, Jose Carlos
dc.subject.por.fl_str_mv Teoria do modelo
Lógica simbólica e matemática
topic Teoria do modelo
Lógica simbólica e matemática
description Orientador: Antonio Mario Antunes Sette
publishDate 1993
dc.date.none.fl_str_mv 1993
1993-10-29T00:00:00Z
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.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1580911
CIFUENTES VASQUEZ, Jose Carlos. O problema da compactificação em teoria de modelos: uma reinterpretação do teorema de ultraprodutos de Los. 1993. [94]f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1580911. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1580911
identifier_str_mv CIFUENTES VASQUEZ, Jose Carlos. O problema da compactificação em teoria de modelos: uma reinterpretação do teorema de ultraprodutos de Los. 1993. [94]f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1580911. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/69705
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[94]f.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188760219287552

Registros relacionados