Undecidable Extensions of Monadic Second Order Successor Arithmetic

Mathematical Logic Quarterly 17 (1):385-394 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19710170143

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.
On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
The complete extensions of the monadic second order theory of countable ordinals.J. Richard Büchi & Dirk Siefkes - 1983 - Mathematical Logic Quarterly 29 (5):289-312.
On the strength of the interpretation method.Yuri Gurevich & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):305-323.
Decidability and undecidability of theories with a predicate for the primes.P. T. Bateman, C. G. Jockusch & A. R. Woods - 1993 - Journal of Symbolic Logic 58 (2):672-687.
Arithmetic without the successor axiom.Andrew Boucher -
Undecidable extensions of Skolem arithmetic.Alexis Bès & Denis Richard - 1998 - Journal of Symbolic Logic 63 (2):379-401.
Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
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.
General arithmetic.Andrew Boucher - manuscript
Sub-Theory of Peano Arithmetic.Andrew Boucher - unknown
Proving quadratic reciprocity.Andrew Boucher - manuscript
Rabin's uniformization problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1105-1119.

Analytics

Added to PP
2013-12-01

Downloads
16 (#855,572)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the bounded monadic theory of well-ordered structures.Wolfgang Thomas - 1980 - Journal of Symbolic Logic 45 (2):334-338.

Add more citations

References found in this work

Decidability and essential undecidability.Hilary Putnam - 1957 - Journal of Symbolic Logic 22 (1):39-54.

Add more references