Sobre a compacidade l´ogica e topol´ogica
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...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | Portuguese |
Published: |
UNESP
2022-11-01
|
Series: | CQD Revista Eletrônica Paulista de Matemática |
Subjects: | |
Online Access: | https://sistemas.fc.unesp.br/ojs/index.php/revistacqd/article/view/31 |