Pages that link to "Item:Q4382476"
From MaRDI portal
The following pages link to Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476):
Displayed 4 items.
- Cobham's theorem for substitutions (Q645357) (← links)
- The definable criterion for definability in Presburger arithmetic and its applications. (Q1401169) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)