On the bounded monadic theory of well-ordered structures

DOI10.2307/2273193MaRDI QIDQ3877655zbMATH OpenOpenAlexFDO

Authors 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

decidable monadic theorymonadic second-order languagewell-ordered structure

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cites work

• A note on 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
• The monadic theory of order
• Undecidable Extensions of Monadic Second Order Successor Arithmetic

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3877655)