TY - JOUR
T1 - Countably decomposable admissible sets
AU - Magidor, Menachem
AU - Shelah, Saharon
AU - Stavi, Jonathan
PY - 1984/6
Y1 - 1984/6
N2 - The known results about Σ1-completeness, Σ1-compactness, ordinal omitting etc. are given a unified treatment, which yields many new examples. It is shown that the unifying theorem is best possible in several ways, assuming V = L.
AB - The known results about Σ1-completeness, Σ1-compactness, ordinal omitting etc. are given a unified treatment, which yields many new examples. It is shown that the unifying theorem is best possible in several ways, assuming V = L.
UR - http://www.scopus.com/inward/record.url?scp=48549114057&partnerID=8YFLogxK
U2 - 10.1016/0168-0072(84)90006-X
DO - 10.1016/0168-0072(84)90006-X
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:48549114057
SN - 0168-0072
VL - 26
SP - 287
EP - 361
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 3
ER -