Weak definability in infinitary languages

Journal of Symbolic Logic 38 (3):399-404 (1973)
  Copy   BIBTEX

Abstract

We shall prove that if a model of cardinality κ can be expanded to a model of a sentence ψ of Lλ+,ω by adding a suitable predicate in more than κ ways, then, it has a submodel of power μ which can be expanded to a model of ψ in $> \mu$ ways provided that λ,κ,μ satisfy suitable conditions

Links

PhilArchive



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

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

Implicit definability and infinitary languages.Kenneth Kunen - 1968 - Journal of Symbolic Logic 33 (3):446-451.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Uniform inductive definability and infinitary languages.Anders M. Nyberg - 1976 - Journal of Symbolic Logic 41 (1):109-120.
Implicit Definability and Compactness in Infinitary Languages.Jon Barwise - 1968 - Lecture Notes in Mathematics 72 (1):1--35.
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Model theory of infinitary languages.M. A. Dickmann - 1970 - [Aarhus, Denmark,: Universitet, Matematisk institut].
Beth definability in infinitary languages.John Gregory - 1974 - Journal of Symbolic Logic 39 (1):22-26.

Analytics

Added to PP
2009-01-28

Downloads
56 (#282,243)

6 months
24 (#115,058)

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

Local definability theory.Gonzalo E. Reyes - 1970 - Annals of Mathematical Logic 1 (1):95-137.
Remark to “local definability theory” of Reyes.S. Shelah - 1971 - Annals of Mathematical Logic 2 (4):441-447.
Generalized interpolation and definability.David W. Kueker - 1970 - Annals of Mathematical Logic 1 (4):423.

Add more references