Monadic logic and löwenheim numbers

Saharon Shelah

doi:10.1016/0168-0072(85)90026-0

Monadic logic and löwenheim numbers

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

6 Scopus citations

Abstract

We investigate the monadic logic of trees with ω + 1 levels, the monadic topology of the product space ^ωλ and a strengthening of monadic logic for trees with ω levels.

Original language	English
Pages (from-to)	203-216
Number of pages	14
Journal	Annals of Pure and Applied Logic
Volume	28
Issue number	2
DOIs	https://doi.org/10.1016/0168-0072(85)90026-0
State	Published - Mar 1985

Access to Document

10.1016/0168-0072(85)90026-0

Cite this

@article{a2d6713ab02f4a72bca72bf301f021c8,

title = "Monadic logic and l{\"o}wenheim numbers",

abstract = "We investigate the monadic logic of trees with ω + 1 levels, the monadic topology of the product space ωλ and a strengthening of monadic logic for trees with ω levels.",

author = "Saharon Shelah",

year = "1985",

month = mar,

doi = "10.1016/0168-0072(85)90026-0",

language = "אנגלית",

volume = "28",

pages = "203--216",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Monadic logic and löwenheim numbers

AU - Shelah, Saharon

PY - 1985/3

Y1 - 1985/3

N2 - We investigate the monadic logic of trees with ω + 1 levels, the monadic topology of the product space ωλ and a strengthening of monadic logic for trees with ω levels.

AB - We investigate the monadic logic of trees with ω + 1 levels, the monadic topology of the product space ωλ and a strengthening of monadic logic for trees with ω levels.

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

U2 - 10.1016/0168-0072(85)90026-0

DO - 10.1016/0168-0072(85)90026-0

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

AN - SCOPUS:46549100759

SN - 0168-0072

VL - 28

SP - 203

EP - 216

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 2

ER -

Monadic logic and löwenheim numbers

Abstract

Access to Document

Other files and links

Fingerprint

Cite this