Notes on monadic logic. Part B: Complexity of linear orders in ZFC

S. Shelah

doi:10.1007/BF02764732

Notes on monadic logic. Part B: Complexity of linear orders in ZFC

S. Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

4 Scopus citations

Abstract

In those notes we prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same Lowenheim number as second order logic (the interpretation is semantical but not in the "classical" way), (b) a parallel (weaker) result for the monadic logic for completely metrizable spaces. The main results are in §§5, 6.

Original language	English
Pages (from-to)	94-116
Number of pages	23
Journal	Israel Journal of Mathematics
Volume	69
Issue number	1
DOIs	https://doi.org/10.1007/BF02764732
State	Published - Feb 1990

Access to Document

10.1007/BF02764732

Cite this

@article{30ff67911ae14dbe89353c5907b99b92,

title = "Notes on monadic logic. Part B: Complexity of linear orders in ZFC",

abstract = "In those notes we prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same Lowenheim number as second order logic (the interpretation is semantical but not in the {"}classical{"} way), (b) a parallel (weaker) result for the monadic logic for completely metrizable spaces. The main results are in §§5, 6.",

author = "S. Shelah",

year = "1990",

month = feb,

doi = "10.1007/BF02764732",

language = "אנגלית",

volume = "69",

pages = "94--116",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

T1 - Notes on monadic logic. Part B

T2 - Complexity of linear orders in ZFC

AU - Shelah, S.

PY - 1990/2

Y1 - 1990/2

N2 - In those notes we prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same Lowenheim number as second order logic (the interpretation is semantical but not in the "classical" way), (b) a parallel (weaker) result for the monadic logic for completely metrizable spaces. The main results are in §§5, 6.

AB - In those notes we prove in ZFC: (a) that the monadic theory of linear order (syntactically) interprets and has the same Lowenheim number as second order logic (the interpretation is semantical but not in the "classical" way), (b) a parallel (weaker) result for the monadic logic for completely metrizable spaces. The main results are in §§5, 6.

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

U2 - 10.1007/BF02764732

DO - 10.1007/BF02764732

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

AN - SCOPUS:51649152025

SN - 0021-2172

VL - 69

SP - 94

EP - 116

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 1

ER -

Notes on monadic logic. Part B: Complexity of linear orders in ZFC

Abstract

Access to Document

Other files and links

Fingerprint

Cite this