Monadic theory of order and topology in ZFC

&
Annals of Mathematical Logic 23 (2-3):179-198 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(82)90004-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Peano arithmetic may not be interpretable in the monadic theory of linear orders.Shmuel Lifsches & Saharon Shelah - 1997 - Journal of Symbolic Logic 62 (3):848-872.
Interpreting second-order logic in the monadic theory of order.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):816-828.
Random graphs in the monadic theory of order.Shmuel Lifsches & Saharon Shelah - 1999 - Archive for Mathematical Logic 38 (4-5):273-312.
Modest theory of short chains. II.Yuri Gurevich & Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (4):491-502.
On the strength of the interpretation method.Yuri Gurevich & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):305-323.
On countable chains having decidable monadic theory.Alexis Bés & Alexander Rabinovich - 2012 - Journal of Symbolic Logic 77 (2):593-608.
Rabin's uniformization problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1105-1119.
The monadic second order theory of all countable ordinals.J. Richard Büchi - 1973 - New York,: Springer. Edited by Dirk Siefkes.
The monadic theory of (ω 2, <) may be complicated.Shmuel Lifsches & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):207-213.
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second‐Order Logic.Iain A. Stewart - 1997 - Mathematical Logic Quarterly 43 (1):1-21.
Simple monadic theories and indiscernibles.Achim Blumensath - 2011 - Mathematical Logic Quarterly 57 (1):65-86.
On the relationships between theories of time granularity and the monadic second-order theory of one successor.Angelo Montanari, Adriano Peron & Gabriele Puppis - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):433-455.

Analytics

Added to PP
2014-01-17

Downloads
22 (#669,532)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sacks forcing, Laver forcing, and Martin's axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.

View all 11 citations / Add more citations

References found in this work

Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
Modest theory of short chains. II.Yuri Gurevich & Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (4):491-502.

Add more references