Ultraprodutos generalizados e feixes de estruturas sobre uma álgebra de Heyting completa (1990)
- Autor:
- Autor USP: MIRAGLIA NETO, FRANCISCO - IME
- Unidade: IME
- Sigla do Departamento: MAT
- DOI: 10.11606/D.45.1990.tde-31102024-191817
- Subjects: LÓGICA MATEMÁTICA; FEIXES; TEORIA DOS MODELOS
- Keywords: Álgebra de Heyting; Heyting algebra; Mathematical logic; Sheaf model theory; Teoria dos modelos em feixes
- Language: Português
- Abstract: Dando continuidade ao estudo da Teoria de Modelos de L-estruturas em Ω-conjuntos iniciado em [Mil], apresentamos generalizações de resultados em [E] envolvendo resultados do tipo Los para estruturas de primeira ordem na categoria de Ω-conjuntos estabelecida em [FS],
- Imprenta:
- Data da defesa: 01.02.1990
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
MIRAGLIA NETO, Francisco. Ultraprodutos generalizados e feixes de estruturas sobre uma álgebra de Heyting completa. 1990. Tese (Livre Docência) – Universidade de São Paulo, São Paulo, 1990. Disponível em: https://www.teses.usp.br/teses/disponiveis/livredocencia/45/tde-31102024-191817/. Acesso em: 25 jan. 2026. -
APA
Miraglia Neto, F. (1990). Ultraprodutos generalizados e feixes de estruturas sobre uma álgebra de Heyting completa (Tese (Livre Docência). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/livredocencia/45/tde-31102024-191817/ -
NLM
Miraglia Neto F. Ultraprodutos generalizados e feixes de estruturas sobre uma álgebra de Heyting completa [Internet]. 1990 ;[citado 2026 jan. 25 ] Available from: https://www.teses.usp.br/teses/disponiveis/livredocencia/45/tde-31102024-191817/ -
Vancouver
Miraglia Neto F. Ultraprodutos generalizados e feixes de estruturas sobre uma álgebra de Heyting completa [Internet]. 1990 ;[citado 2026 jan. 25 ] Available from: https://www.teses.usp.br/teses/disponiveis/livredocencia/45/tde-31102024-191817/ - Geometric functors and quadratic forms over preordered von Neumann regular rings
- Modules in the category of sheaves over quantales
- An omitting types theorem for sheaves over topological spaces
- Faithfully quadratic rings - a summary of results
- Teorias categóricas
- Constructions in the category of real semigroups
- Downward lowenheim-skolem theorem
- Lam's conjecture
- Sheaves over right sided idempotent quantales
- Elementary properties of the Boolean hull and reduced quotient functors
Informações sobre o DOI: 10.11606/D.45.1990.tde-31102024-191817 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
