# Sh:100

- Shelah, S. (1980).
*Independence results*. J. Symbolic Logic,**45**(3), 563–573. DOI: 10.2307/2273423 MR: 583374 -
Abstract:

We introduce proper forcing and oracle cc. The specific independence problems addressed are: prove that the results of [Sh:c, Ch.VIII] are in a sense best poosible, that is the occurance of many cases is necessary because we cannot prove the natural results implying them all. In particular: (A): consistently , CH fail and for some complete f.o. T \subseteq T_1, YT is countable super-stable not {\aleph_0}-stable T_1 of cardinality {\aleph_1} but the pseudo elementary class PC(T,T_1) is categorical in {\aleph_1}(B) second a related result for T the theory of dense linear order but the conclusion is only having a universal model in {\aleph_1} < 2^ {\aleph_0}

- published version (12p)

Bib entry

@article{Sh:100, author = {Shelah, Saharon}, title = {{Independence results}}, journal = {J. Symbolic Logic}, fjournal = {The Journal of Symbolic Logic}, volume = {45}, number = {3}, year = {1980}, pages = {563--573}, issn = {0022-4812}, mrnumber = {583374}, mrclass = {03E40 (03C45 03E35)}, doi = {10.2307/2273423} }