Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
From MaRDI portal
Recommendations
Cited in
(17)- On Boolean closed full trios and rational Kripke frames
- On decidability of monadic logic of order over the naturals extended by monadic predicates
- scientific article; zbMATH DE number 1696827 (Why is no real title available?)
- Composition over the natural number ordering with an extra binary relation
- scientific article; zbMATH DE number 3880650 (Why is no real title available?)
- A Hierarchy of Automaticω-Words having a Decidable MSO Theory
- Model Transformations in Decidability Proofs for Monadic Theories
- On monadic theories of monadic predicates
- Decidable Extensions of Church’s Problem
- Infinite and bi-infinite words with decidable monadic theories
- scientific article; zbMATH DE number 7559425 (Why is no real title available?)
- Predicative Aspects of Order Theory in Univalent Foundations
- The monadic theory of toric words
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates
- On the decidability of monadic second-order logic with arithmetic predicates
- On the expansion of monadic second-order logic with Cantor-Bendixson rank and order type predicates
- On expansions of monadic second-order logic with dynamical predicates
This page was built for publication: Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613363)
