A test for expandability

Archive for Mathematical Logic 37 (4):221-234 (1998)
  Copy   BIBTEX

Abstract

A model $M$ of countable similarity type and cardinality $\kappa$ is expandable if every consistent extension $T_{1}$ of its complete theory with $|T_{1}|\leq \kappa$ is satisfiable in $M$ and it is compactly expandable if every such extension which additionally is finitely satisfiable in $M$ is satisfiable in $M$ . In the countable case and in the case of a model of cardinality $\geq 2^{\omega}$ of a superstable theory without the finite cover property the notions of saturation, expandability and compactness for expandability agree. The question of the existence of compactly expandable models which are not expandable is open. Here we present a test which serves to prove that a compactly expandable model of cardinality $\geq 2^{\omega}$ of a superstable theory is expandable. It is stated in terms of the existence of a certain elementary submodel whose corresponding theory of pairs of models satisfies a weak elimination of Ramsey quantifiers

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,599

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

Analytics

Added to PP
2013-12-01

Downloads
38 (#657,213)

6 months
11 (#332,550)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Compactly expandable models and stability.Enrique Casanovas - 1995 - Journal of Symbolic Logic 60 (2):673-683.

Add more references