# Sh:100

• Shelah, S. (1980). Independence results. J. Symbolic Logic, 45(3), 563–573.
• 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}
}