Notes on monadic logic. part A. Monadic theory of the real line

Saharon Shelah

doi:10.1007/BF02778038

Notes on monadic logic. part A. Monadic theory of the real line

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

3 Scopus citations

Abstract

The second-order theory of the continuum in the Cohen extension of a set-theoretic universe is interpreted in the monadic theory of the real line and may be interpreted in the monadic topology of Cantor's discontinuum as well.

Original language	English
Pages (from-to)	335-352
Number of pages	18
Journal	Israel Journal of Mathematics
Volume	63
Issue number	3
DOIs	https://doi.org/10.1007/BF02778038
State	Published - Oct 1988

Access to Document

10.1007/BF02778038

Cite this

@article{b03c47417b41487b9b0f38f514087f7d,

title = "Notes on monadic logic. part A. Monadic theory of the real line",

abstract = "The second-order theory of the continuum in the Cohen extension of a set-theoretic universe is interpreted in the monadic theory of the real line and may be interpreted in the monadic topology of Cantor's discontinuum as well.",

author = "Saharon Shelah",

year = "1988",

month = oct,

doi = "10.1007/BF02778038",

language = "אנגלית",

volume = "63",

pages = "335--352",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "3",

}

TY - JOUR

T1 - Notes on monadic logic. part A. Monadic theory of the real line

AU - Shelah, Saharon

PY - 1988/10

Y1 - 1988/10

N2 - The second-order theory of the continuum in the Cohen extension of a set-theoretic universe is interpreted in the monadic theory of the real line and may be interpreted in the monadic topology of Cantor's discontinuum as well.

AB - The second-order theory of the continuum in the Cohen extension of a set-theoretic universe is interpreted in the monadic theory of the real line and may be interpreted in the monadic topology of Cantor's discontinuum as well.

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

U2 - 10.1007/BF02778038

DO - 10.1007/BF02778038

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

AN - SCOPUS:51649149189

SN - 0021-2172

VL - 63

SP - 335

EP - 352

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 3

ER -

Notes on monadic logic. part A. Monadic theory of the real line

Abstract

Access to Document

Other files and links

Fingerprint

Cite this