The monadic theory of (ω2, <) may be complicated

Shmuel Lifsches; Saharon Shelah

doi:10.1007/BF01269949

The monadic theory of (ω₂, <) may be complicated

Shmuel Lifsches^*
, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

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

1 Scopus citations

Abstract

Assume ZFC is consistent then for every B{subset double equals}ω there is a generic extension of the ground world where B is recursive in the monadic theory of ω₂.

Original language	English
Pages (from-to)	207-213
Number of pages	7
Journal	Archive for Mathematical Logic
Volume	31
Issue number	3
DOIs	https://doi.org/10.1007/BF01269949
State	Published - May 1992

Access to Document

10.1007/BF01269949

Cite this

@article{61e3e81a59d346f9bc8873cf2cdb6c27,

title = "The monadic theory of (ω2, <) may be complicated",

abstract = "Assume ZFC is consistent then for every B\{subset double equals\}ω there is a generic extension of the ground world where B is recursive in the monadic theory of ω2.",

author = "Shmuel Lifsches and Saharon Shelah",

year = "1992",

month = may,

doi = "10.1007/BF01269949",

language = "אנגלית",

volume = "31",

pages = "207--213",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - The monadic theory of (ω2, <) may be complicated

AU - Lifsches, Shmuel

AU - Shelah, Saharon

PY - 1992/5

Y1 - 1992/5

N2 - Assume ZFC is consistent then for every B{subset double equals}ω there is a generic extension of the ground world where B is recursive in the monadic theory of ω2.

AB - Assume ZFC is consistent then for every B{subset double equals}ω there is a generic extension of the ground world where B is recursive in the monadic theory of ω2.

UR - https://www.scopus.com/pages/publications/34249839785

U2 - 10.1007/BF01269949

DO - 10.1007/BF01269949

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:34249839785

SN - 0933-5846

VL - 31

SP - 207

EP - 213

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 3

ER -

The monadic theory of (ω₂, <) may be complicated

Abstract

Access to Document

Other files and links

Fingerprint

Cite this