Sobre a compacidade l´ogica e topol´ogica

Autores

  • H´ercules de Araujo Feitosa
  • Mauri Cunha do Nascimento
  • Marcelo Reicher Soares

Palavras-chave:

L´ogica, Topologia , Compacidade , Modelo de valorações

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órmulas 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.

Downloads

Publicado

09-11-2022

Como Citar

FEITOSA, H. de A.; NASCIMENTO, M. C. do; SOARES, M. R. Sobre a compacidade l´ogica e topol´ogica. C.Q.D. - Revista Eletrônica Paulista de Matemática, Bauru, v. 2, n. 2, 2022. Disponível em: https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/31. Acesso em: 12 nov. 2024.

Edição

Seção

Artigos de Pesquisa

Artigos mais lidos pelo mesmo(s) autor(es)