Pages that link to "Item:Q3877655"

The following pages link to On the bounded monadic theory of well-ordered structures (Q3877655):

Displayed 6 items.

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