Abstract
We prove the following theorem and deal with some related questions:If for all n < ω, T has a model M such that formula presented then for all λ, μ such that formula presented, T has a model type (λ, μ) i.e. formula presented.
| Original language | English |
|---|---|
| Pages (from-to) | 208-213 |
| Number of pages | 6 |
| Journal | Proceedings of the American Mathematical Society |
| Volume | 48 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 1975 |
Keywords
- Finite models
- Two-cardinal theorem
Fingerprint
Dive into the research topics of 'A two-cardinal theorem'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver