Pages that link to "Item:Q3877655"
From MaRDI portal
The following pages link to On the bounded monadic theory of well-ordered structures (Q3877655):
Displaying 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)
