Universal theories and compactly expandable models

Journal of Symbolic Logic 84 (3):1215-1223 (2019)
  Copy   BIBTEX

Abstract

Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A test for expandability.Enrique Casanovas - 1998 - Archive for Mathematical Logic 37 (4):221-234.
Compactly expandable models and stability.Enrique Casanovas - 1995 - Journal of Symbolic Logic 60 (2):673-683.
Omega‐ and Beta‐Models of Alternative Set Theory.Athanassios Tzouvaras - 1994 - Mathematical Logic Quarterly 40 (4):547-569.
On the existence of universal models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
Universal Structures.Saharon Shelah - 2017 - Notre Dame Journal of Formal Logic 58 (2):159-177.
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
Homogeneous Universal Models of Universal Theories.Peter H. Krauss - 1976 - Mathematical Logic Quarterly 23 (27‐30):415-426.
Homogeneous Universal Models of Universal Theories.Peter H. Krauss - 1977 - Mathematical Logic Quarterly 23 (27-30):415-426.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
Shedding computational light on human creativity.Subrata Dasgupta - 2008 - Perspectives on Science 16 (2):pp. 121-136.

Analytics

Added to PP
2019-03-08

Downloads
11 (#1,022,695)

6 months
1 (#1,241,711)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An exposition of the compactness of.Enrique Casanovas & Martin Ziegler - 2020 - Bulletin of Symbolic Logic 26 (3-4):212-218.

Add more citations

References found in this work

No references found.

Add more references