Monadic logic and löwenheim numbers

Annals of Pure and Applied Logic 28 (2):203-216 (1985)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(85)90026-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Monadic Theory of ω 1 2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.
The monadic theory of (ω 2, <) may be complicated.Shmuel Lifsches & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):207-213.
The monadic theory of ω2.Yuri Gurevich, Menachem Magidor & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (2):387-398.
The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.
Modest theory of short chains. I.Yuri Gurevich - 1979 - Journal of Symbolic Logic 44 (4):481-490.
Second-order propositional modal logic and monadic alternation hierarchies.Antti Kuusisto - 2015 - Annals of Pure and Applied Logic 166 (1):1-28.
Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.
The complexity of first-order and monadic second-order logic revisited.Markus Frick & Martin Grohe - 2004 - Annals of Pure and Applied Logic 130 (1-3):3-31.
The monadic second-order logic of graphs IV: Definability properties of equational graphs.Bruno Courcelle - 1990 - Annals of Pure and Applied Logic 49 (3):193.
Monadic theory of order and topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.

Analytics

Added to PP
2013-10-30

Downloads
19 (#190,912)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Simple monadic theories and partition width.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (4):409-431.

Add more citations

References found in this work

Higher Souslin trees and the generalized continuum hypothesis.John Gregory - 1976 - Journal of Symbolic Logic 41 (3):663-671.
Monadic theory of order and topology in ZFC.Yuri Gurevich & Saharon Shelah - 1982 - Annals of Mathematical Logic 23 (2-3):179-198.

Add more references