O problema da compactificação em teoria de modelos : uma reinterpretação do teorema de ultraprodutos de Los
Autor(a) principal: | |
---|---|
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 |