Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-05-06T05:55:00.345Z Has data issue: false hasContentIssue false
  • English
  • Français

UNIVERSAL THEORIES AND COMPACTLY EXPANDABLE MODELS

Published online by Cambridge University Press:  06 March 2019

ENRIQUE CASANOVAS  and
SAHARON SHELAH
ENRIQUE CASANOVAS
Affiliation:
DEPARTAMENT DE MATEMÀTIQUES I INFORMÀTICA UNIVERSITAT DE BARCELONA GRAN VIA585 08007BARCELONA, SPAINE-mail: e.casanovas@ub.edu
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: shelah@math.huji.ac.il
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

03C5003C80logic of countable cofinalitycompactly expandable modelsuniversal theories
Type
Articles
Information
The Journal of Symbolic Logic , Volume 84 , Issue 3 , September 2019 , pp. 1215 - 1223
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. 673–683.Google Scholar
Casanovas, E., A test for expandability. Archive for Mathematical Logic, vol. 37 (1998), pp. 221–234.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. 57–62.Google Scholar
Shelah, S., Generalized quantifiers and compact logic. Transactions of the American Mathematical Society, vol. 204 (1975), pp. 342–364.Google Scholar