Compactness in logic with cardinality quantifiers

MaRDI QIDQ3067425zbMATH OpenFDO

Authors Francisco Vargas M.

Publication date 21 January 2011

zbMATH Keywords

compactness theoremgeneralized quantifiersmodel theorypartial isomorphismstopological methods

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Consistency and independence results in general topology (54A35)

Recommendations

• scientific article; zbMATH DE number 3966046
• Some compact logics -- results in ZFC
• Compactness and normality in abstract logics
• scientific article; zbMATH DE number 554987
• Ultrafilter translations. I: (, )-compactness of logics with a cardinality quantifier

Cited in

(9)

• Exclusion problems and the cardinality of logical space
• Compactification of \(L(Q)\)
• Some compact logics -- results in ZFC
• scientific article; zbMATH DE number 3873304 (Why is no real title available?)
• scientific article; zbMATH DE number 4170882 (Why is no real title available?)
• scientific article; zbMATH DE number 3966046 (Why is no real title available?)
• Cardinality logics. Part II: Definability in languages based on ‘exactly’
• Enhancing fixed point logic with cardinality quantifiers
• Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic

This page was built for publication: Compactness in logic with cardinality quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067425)