Pages that link to "Item:Q1202930"

The following pages link to The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930):

Displayed 7 items.

• A generalization of Cobham's theorem to automata over real numbers (Q1014642) ‎ (← links)
• Bertrand numeration systems and recognizability (Q1391295) ‎ (← links)
• On iterating linear transformations over recognizable sets of integers (Q1884908) ‎ (← links)
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) ‎ (← links)
• Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) ‎ (← links)
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) ‎ (← links)
• A list of arithmetical structures complete with respect to the first-order definability (Q5941257) ‎ (← links)