Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-11-24T20:01:52.333Z Has data issue: false hasContentIssue false

UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS

Published online by Cambridge University Press:  06 March 2019

ENRIQUE CASANOVAS
Affiliation:
DEPARTAMENT DE MATEMÀTIQUES I INFORMÀTICA UNIVERSITAT DE BARCELONA GRAN VIA585 08007BARCELONA, SPAINE-mail: [email protected]
SAHARON SHELAH
Affiliation:
EINSTEIN INSTITUTE OF MATHEMATICS EDMOND J. SAFRA CAMPUS, GIVAT RAM THE HEBREW UNIVERSITY OF JERUSALEM JERUSALEM 9190401, ISRAEL and DEPARTMENT OF MATHEMATICS HILL CENTER - BUSCH CAMPUS RUTGERS UNIVERSITY 110 FRELINGHUYSEN ROAD PISCATAWAY, NJ08854-8019, USAE-mail: [email protected]

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.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2019 

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., Compactly expandable models and stability, this Journal, vol. 60 (1995), pp. 673683.Google Scholar
Casanovas, E., A test for expandability. Archive for Mathematical Logic, vol. 37 (1998), pp. 221234.Google Scholar
Morley, M., Countable models with standard part, Logic, Methodology and Philosophy of Science IV (Suppes, P., Moisil, C., and Joja, A., editors), North Holland, Amsterdam, 1973, pp. 5762.Google Scholar
Shelah, S., Generalized quantifiers and compact logic. Transactions of the American Mathematical Society, vol. 204 (1975), pp. 342364.Google Scholar