Monadic theory of order and topology in ZFC

Yuri Gurevich; Saharon Shelah

doi:10.1016/0003-4843(82)90004-3

Monadic theory of order and topology in ZFC

Yuri Gurevich^*, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

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

25 Scopus citations

Abstract

True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.

Original language	English
Pages (from-to)	179-198
Number of pages	20
Journal	Annals of Mathematical Logic
Volume	23
Issue number	2-3
DOIs	https://doi.org/10.1016/0003-4843(82)90004-3
State	Published - Dec 1982

Access to Document

10.1016/0003-4843(82)90004-3

Cite this

@article{b71ad8974f3f44418be4672d4a189ee8,

title = "Monadic theory of order and topology in ZFC",

abstract = "True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.",

author = "Yuri Gurevich and Saharon Shelah",

year = "1982",

month = dec,

doi = "10.1016/0003-4843(82)90004-3",

language = "אנגלית",

volume = "23",

pages = "179--198",

journal = "Annals of Mathematical Logic",

issn = "0003-4843",

publisher = "Elsevier B.V.",

number = "2-3",

}

TY - JOUR

T1 - Monadic theory of order and topology in ZFC

AU - Gurevich, Yuri

AU - Shelah, Saharon

PY - 1982/12

Y1 - 1982/12

N2 - True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.

AB - True first-order arithmetic is interpreted in the monadic theories of certain chains and topological spaces including the real line and the Cantor Discontinuum. It was known that existence of such interpretations in consistent with ZFC.

UR - http://www.scopus.com/inward/record.url?scp=0039807693&partnerID=8YFLogxK

U2 - 10.1016/0003-4843(82)90004-3

DO - 10.1016/0003-4843(82)90004-3

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

AN - SCOPUS:0039807693

SN - 0003-4843

VL - 23

SP - 179

EP - 198

JO - Annals of Mathematical Logic

JF - Annals of Mathematical Logic

IS - 2-3

ER -

Monadic theory of order and topology in ZFC

Abstract

Access to Document

Other files and links

Fingerprint

Cite this