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: 93,867

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.
Review: Saharon Shelah, End Extensions and Numbers of Countable Models. [REVIEW]Leo Marcus - 1981 - Journal of Symbolic Logic 46 (3):663-663.
Saharon Shelah. End extensions and numbers of countable models. The journal of symbolic logic, vol. 43 , pp. 550–562.Leo Marcus - 1981 - Journal of Symbolic Logic 46 (3):663.
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.
Compactly expandable models and stability.Enrique Casanovas - 1995 - Journal of Symbolic Logic 60 (2):673-683.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Saharon Shelah. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. The journal of symbolic logic, vol. 37 , pp. 107–113. [REVIEW]Jerrold Gold - 1973 - Journal of Symbolic Logic 38 (3):523-524.
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology. Journal of the American Mathematical Society, vol. 29 , pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 , pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/. [REVIEW]H. Jerome Keisler - 2017 - Bulletin of Symbolic Logic 23 (1):117-121.
Saharon Shelah. On uniqueness of prime models. The journal of symbolic logic, vol. 44 , pp. 215–220.G. L. Cherlin - 1983 - Journal of Symbolic Logic 48 (2):497.
On expandability of models of Peano arithmetic. II.Roman Murawski - 1976 - Studia Logica 35 (4):421-431.

Analytics

Added to PP
2019-03-08

Downloads
14 (#992,266)

6 months
3 (#1,206,449)

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