TY - JOUR
T1 - Models with second order properties II. Trees with no undefined branches
AU - Shelah, Saharon
PY - 1978/6
Y1 - 1978/6
N2 - We prove several theorems of the form; a first order theory T has a model M (sometimes with additional conditions) such that (some) trees defined in M, have no branches except those defined in it. We have some applications e.g. an example for compact logic L(Q), where in L(o1,o)(Q) well-ordering is definable.
AB - We prove several theorems of the form; a first order theory T has a model M (sometimes with additional conditions) such that (some) trees defined in M, have no branches except those defined in it. We have some applications e.g. an example for compact logic L(Q), where in L(o1,o)(Q) well-ordering is definable.
UR - http://www.scopus.com/inward/record.url?scp=0007469816&partnerID=8YFLogxK
U2 - 10.1016/0003-4843(78)90009-8
DO - 10.1016/0003-4843(78)90009-8
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0007469816
SN - 0003-4843
VL - 14
SP - 73
EP - 87
JO - Annals of Mathematical Logic
JF - Annals of Mathematical Logic
IS - 1
ER -