Models with second order properties II. Trees with no undefined branches

Saharon Shelah

doi:10.1016/0003-4843(78)90009-8

Models with second order properties II. Trees with no undefined branches

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

41 Scopus citations

Abstract

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_(o₁,o)(Q) well-ordering is definable.

Original language	English
Pages (from-to)	73-87
Number of pages	15
Journal	Annals of Mathematical Logic
Volume	14
Issue number	1
DOIs	https://doi.org/10.1016/0003-4843(78)90009-8
State	Published - Jun 1978

Access to Document

10.1016/0003-4843(78)90009-8

Cite this

@article{3ab29ddf24ce4da59fbc8ba9ec931ceb,

title = "Models with second order properties II. Trees with no undefined branches",

abstract = "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.",

author = "Saharon Shelah",

year = "1978",

month = jun,

doi = "10.1016/0003-4843(78)90009-8",

language = "אנגלית",

volume = "14",

pages = "73--87",

journal = "Annals of Mathematical Logic",

issn = "0003-4843",

publisher = "Elsevier B.V.",

number = "1",

}

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 - https://www.scopus.com/pages/publications/0007469816

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 -

Models with second order properties II. Trees with no undefined branches

Abstract

Access to Document

Other files and links

Fingerprint

Cite this