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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2019.16

Links

PhilArchive



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

External links

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

Through your library

My notes

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.
On properties of theories which preclude the existence of universal models.Mirna Džamonja & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 139 (1):280-302.
Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
Universal Structures.Saharon Shelah - 2017 - Notre Dame Journal of Formal Logic 58 (2):159-177.
On expandability of models of peano arithmetic to models of the alternative set theory.Athanassios Tzouvaras - 1992 - Journal of Symbolic Logic 57 (2):452-460.
Nonexistence of universal orders in many cardinals.Menachem Kojman & Saharon Shelah - 1992 - Journal of Symbolic Logic 57 (3):875-891.
Observer Localization in Multiverse Theories.Marcus Hutter - 2010 - In Harald Fritzsch & K. K. Phua (eds.), Proceedings of the Conference in Honour of Murray Gell-Mann's 80th Birthday. World Scientific.
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.
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories. Part B.Tapani Hyttinen & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (4):1260-1272.
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
13 (#973,701)

6 months
3 (#880,460)

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