AN EXPOSITION OF THE COMPACTNESS OF

DOI10.1017/bsl.2020.4zbMath1477.03156arXiv1903.00579OpenAlexW3034799858MaRDI QIDQ4984858

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

compactness theoremcompact logicscofinality quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (1)

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Cites Work

• Model theory.
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Generalized Quantifiers and Compact Logic
• On models with power-like orderings
• UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS
• Logic with the quantifier “there exist uncountably many”
• Unnamed Item
• Unnamed Item
• Unnamed Item

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