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 7 items.
- Cobham's theorem for substitutions (Q645357) (← links)
- The definable criterion for definability in Presburger arithmetic and its applications. (Q1401169) (← links)
- Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
- Automatic Sets of Rational Numbers (Q2947958) (← 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)
- On the existential arithmetics with addition and bitwise minimum (Q6091188) (← links)