A two-cardinal theorem
HTML articles powered by AMS MathViewer
- by Saharon Shelah PDF
- Proc. Amer. Math. Soc. 48 (1975), 207-213 Request permission
Abstract:
We prove the following theorem and deal with some related questions: If for all $n < \omega ,T$ has a model $M$ such that ${n^n} \leq |{Q^M}{|^n} \leq |{P^M}| < {\aleph _0}$ then for all $\lambda ,\mu$ such that $|T| \leq \mu \leq \lambda < {\operatorname {Ded} ^ \ast }(\mu )$ (e.g. $\mu = {\aleph _0},\lambda = {2^{{\aleph _0}}}), T$ has a model of type $(\lambda ,\mu )$, i.e. $|{Q^M}| = \mu ,|{P^M}| = \lambda$.References
- James E. Baumgartner, Almost-disjoint sets, the dense set problem and the partition calculus, Ann. Math. Logic 9 (1976), no. 4, 401–439. MR 401472, DOI 10.1016/0003-4843(76)90018-8 C. C. Chang and H. J. Keisler, Theory of models,North-Holland, Amsterdam, 1973.
- P. Erdős and A. Hajnal, On chromatic number of graphs and set-systems, Acta Math. Acad. Sci. Hungar. 17 (1966), 61–99. MR 193025, DOI 10.1007/BF02020444
- A. Hajnal, Proof of a conjecture of S. Ruziewicz, Fund. Math. 50 (1961/62), 123–128. MR 131986, DOI 10.4064/fm-50-2-123-128 S. Shelah, Various results in model theory, Notices Amer. Math. Soc. 19 (1972), A-764. Abstract #72T-E103.
- Saharon Shelah, On models with power-like orderings, J. Symbolic Logic 37 (1972), 247–267. MR 446955, DOI 10.2307/2272971
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 48 (1975), 207-213
- DOI: https://doi.org/10.1090/S0002-9939-1975-0357105-9
- MathSciNet review: 0357105