Article contents
Weak definability in infinitary languages
Published online by Cambridge University Press: 12 March 2014
Abstract
We shall prove that if a model of cardinality κ can be expanded to a model of a sentence ψ of 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 > μ ways provided that λ, κ, μ satisfy suitable conditions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1973
References
REFERENCES
- 1
- Cited by