Sobre a compacidade lógica e topológica

• Autor(a) principal: Feitosa, Hércules de Araujo [UNESP]
• Data de Publicação: 2013
• Outros Autores: Nascimento, Mauri Cunha do [UNESP], Soares, Marcelo Reicher [UNESP]
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Repositório Institucional da UNESP
• Texto Completo: http://www2.fc.unesp.br/revistacqd/edicoes_anteriores.jsp; http://hdl.handle.net/11449/135148
• topic: Lógica; Topologia; Compacidade; Modelo de valorações; Lógica; Compacidade; Topologia

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.