Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-22T17:46:23.446Z Has data issue: false hasContentIssue false
  • English
  • Français

AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{\mathrm{cf}}})$

Part of: Model theory

Published online by Cambridge University Press:  11 June 2020

ENRIQUE CASANOVAS  and
MARTIN ZIEGLER
ENRIQUE CASANOVAS
Affiliation:
DEPARTAMENT DE MATEMÀTIQUES I INFORMÀTICA UNIVERSITAT DE BARCELONA GRAN VIA 585, E-08007BARCELONA, SPAIN E-mail: e.casanovas@ub.edu
MARTIN ZIEGLER
Affiliation:
ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG MATHEMATISCHES INSTITUT ABTEILUNG FÜR MATHEMATISCHE LOGIK ECKERSTR. 1, 79104FREIBURG, GERMANY E-mail: ziegler@uni-freiburg.de
Get access Rights & Permissions [Opens in a new window]

Abstract

We give an exposition of the compactness of $L({Q^{\mathrm{\,cf}}\!\!\!\!\!\!}_{C})$ , for any set C of regular cardinals.

Keywords

cofinality quantifierscompact logicscompactness theorem

MSC classification

Primary: 03C80: Logic with extra quantifiers and operators
Type
Articles
Information
Bulletin of Symbolic Logic , Volume 26 , Issue 3-4 , December 2020 , pp. 212 - 218
Check for updates
Copyright
© The Association for Symbolic Logic 2020

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Casanovas, E. and Shelah, S., Universal theories and compactly expandable models . The Journal of Symbolic Logic , vol. 84 (2019) pp. 1215–1223.CrossRefGoogle Scholar
Chang, C. C. and Keisler, H. J., Model Theory , third ed., North Holland, Amsterdam, 1990.Google Scholar
Ebbinghaus, H.-D., Extended logics: The general framework , Model–Theoretic Logics (Barwise, J. and Feferman, S., editors), Springer Verlag, New York, 1985, pp. 25–76.Google Scholar
Hodkinson, I., Book review—Models and games by J. Väänänen , this Journal , vol. 18 (2012), pp. 406–408.Google Scholar
Keisler, H. J., Logic with the quantifier “there exist uncountably many” . Annals of Mathematical Logic , vol. 1 (1970), pp. 1–93.CrossRefGoogle Scholar
Makowsky, J. A. and Shelah, S., The theorems of Beth and Craig in abstract model theory. II . Archiv für Mathematische Logik und Grundlagenforschung , vol. 21 (1981), pp. 13–35.CrossRefGoogle Scholar
Shelah, S., On models with power like orderings . The Journal of Symbolic Logic , vol. 37 (1972), pp. 247–267.CrossRefGoogle Scholar
Shelah, S., Generalized quantifiers and compact logic . Transactions of the American Mathematical Society , vol. 204 (1975), pp. 342–364.CrossRefGoogle Scholar
Tent, K. and Ziegler, M., A Course in Model Theory , Lecture Notes in Logic, vol. 40, Cambridge University Press, Cambridge, 2012.CrossRefGoogle Scholar
Väänänen, J., Models and games , Cambridge Studies in Advanced Mathematics, vol. 132, Cambridge University Press, Cambridge, 2011.CrossRefGoogle Scholar