Abstract
AbstractWe present a downward Löwenheim-Skolem theorem which transfers downward formulas from L∞,ω to , ω. The simplest instance is:Theorem 1. Let λ > κ be infinite cardinals, and let L be a similarity type of cardinality κ at most. For every L-structure M of cardinality λ and every X ⊆ M there exists a model N ≺ M containing the set X of power ∣X∣ · κ such that for every pair of finite sequences a, b ∈ NThe following theorem is an application:Theorem 2. Let λ<κ, T ∈ , ω, and suppose χ is a Ramsey cardinal greater than λ. If T has the (χ, , ω)-unsuperstability property, then T has the (χ, , ω)-unsuperstability property.
Publisher
Cambridge University Press (CUP)
Reference14 articles.
1. Some remarks on the model theory of infinitary languages
2. A non structure theorem for an infinitary theory which has the unsuperstability property;Grossberg;Illinois Journal of Mathematics,1986
3. [Ma] Malitz J. , Problems in the model theory of infinite languages, Ph.D. thesis, University of California, Berkeley, California, 1966.