Sobre a compacidade lógica e topológica
Carregando...
Data
2013
Autores
Feitosa, Hércules de Araujo [UNESP]
Nascimento, Mauri Cunha do [UNESP]
Soares, Marcelo Reicher [UNESP]
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
Os ambientes da L´ogica e da Topologia tˆem a compacidade como uma propriedade importante. Nos dois diferentes contextos as no¸c˜oes de compacidade s˜ao diversas. Na l´ogica, dizemos que um conjunto de f´ormulas ∆ ´e compacto quando a existˆencia de modelo para todo subconjunto finito de ∆ implica que tamb´em ∆ tem modelo. A l´ogica ´e compacta, se o conjunto de suas f´ormulas v´alidas ´e compacto. Na topologia, um conjunto A ´e compacto, caso qualquer cobertura de A por abertos admita uma subcobertura finita. Neste trabalho, mostramos uma maneira de relacionar tais no¸c˜oes de compacidade.
Descrição
Palavras-chave
Lógica, Topologia, Compacidade, Modelo de valorações, Lógica, Compacidade, Topologia
Como citar
Revista Eletrônica Paulista de Matemática - C.Q.D., v. 2, n. 2, p. 1-9, 2013.