On the bounded monadic theory of well-ordered structures

DOI10.2307/2273193zbMath0437.03005OpenAlexW2062403215MaRDI QIDQ3877655

Wolfgang Thomas

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273193

zbMATH Keywords

monadic second-order languagedecidable monadic theorywell-ordered structure

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (6)

Monadic second order definable relations on the binary tree ⋮ Infinite trees and automaton-definable relations over \(\omega\)-words ⋮ On Monadic Theories of Monadic Predicates ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ The monadic theory of morphic infinite words and generalizations ⋮ Decidability and undecidability of theories with a predicate for the primes

Cites Work

• The monadic theory of order
• A note on undecidable extensions of monadic second order successor arithmetic
• Undecidable Extensions of Monadic Second Order Successor Arithmetic
• Definability in the monadic second-order theory of successor
• Testing and generating infinite sequences by a finite automaton

This page was built for publication: On the bounded monadic theory of well-ordered structures