The following pages link to (Q4508546):
Displaying 6 items.
- A collapse result for extensions of the Presburger arithmetic by a one-place function compatible with addition. (Q556528) (← links)
- Morphisms and almost-periodicity (Q1270823) (← links)
- Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
- (Q3772178) (← links)
- On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation (Q3980089) (← links)
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (Q4527928) (← links)