A note on undecidable extensions of monadic second order successor arithmetic
From MaRDI portal
Cites work
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- scientific article; zbMATH DE number 3237829 (Why is no real title available?)
- Restricted Set-Theoretical Definitions in Arithmetic
- Undecidable Extensions of Monadic Second Order Successor Arithmetic
Cited in
(11)- The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable
- The theory of successor with an extra predicate
- Defining multiplication in some additive expansions of polynomial rings
- Composition over the natural number ordering with an extra binary relation
- On the bounded monadic theory of well-ordered structures
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
- Joining k- and l-recognizable sets of natural numbers
- Spectra and satisfiability for logics with successor and a unary function
- A list of arithmetical structures complete with respect to the first-order definability
- On the expansion of monadic second-order logic with Cantor-Bendixson rank and order type predicates
- Computational complexity of logical theories of one successor and another unary function
This page was built for publication: A note on undecidable extensions of monadic second order successor arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4088806)
