Aplicação do método de fraissé à compactificação de lógicas com quantificadores co-filtro
A. M. Sette, J. C. Cifuentes
PRE-PRINT
Português
Abstract: In this paper we adapt the method of Fraissé (c.f. [Fr]) to the construction of limits of Cauchy sequences of structures for the logic L(Q), where r is a finite type of similarity, and Q is a co-filter quantifier. As we show, this limits are obtained as inductives limits of certain...
Ver mais
Abstract: In this paper we adapt the method of Fraissé (c.f. [Fr]) to the construction of limits of Cauchy sequences of structures for the logic L(Q), where r is a finite type of similarity, and Q is a co-filter quantifier. As we show, this limits are obtained as inductives limits of certain subsequences of the given sequences
Ver menos
Aberto
Aplicação do método de fraissé à compactificação de lógicas com quantificadores co-filtro
A. M. Sette, J. C. Cifuentes
Aplicação do método de fraissé à compactificação de lógicas com quantificadores co-filtro
A. M. Sette, J. C. Cifuentes
Fontes
|
Relatório de pesquisa (Fonte avulsa) |