AN EXPOSITION OF THE COMPACTNESS OF

DOI10.1017/BSL.2020.4MaRDI QIDQ4984858zbMATH OpenOpenAlexFDO

Authors Enrique Casanovas, Martin Ziegler

Publication date 21 April 2021

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.00579

zbMATH Keywords

cofinality quantifierscompact logicscompactness theorem

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Abstract: We give an exposition of the compactness of $L(Q^{m}athrmcf)$, for any set $C$ of regular cardinals.

Cites work

• A course in model theory
• Generalized Quantifiers and Compact Logic
• scientific article; zbMATH DE number 5853298 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• Logic with the quantifier “there exist uncountably many”
• Model theory.
• On models with power-like orderings
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Universal theories and compactly expandable models

Cited in

(2)

• MAXIMALITY OF LOGIC WITHOUT IDENTITY
• Cofinality quantifiers in abstract elementary classes and beyond

This page was built for publication: AN EXPOSITION OF THE COMPACTNESS OF

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