Pages that link to "Item:Q4527928"

The following pages link to On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (Q4527928):

Displaying 12 items.

• Vapnik-Chervonenkis density in some theories without the independence property. II (Q372618) (← links)
• The definable criterion for definability in Presburger arithmetic and its applications. (Q1401169) (← links)
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
• A full characterization of Bertrand numeration systems (Q2163984) (← links)
• Automata and tame expansions of \((\mathbb{Z}, +)\) (Q2164435) (← links)
• On expansions of \((\mathbf{Z},+,0)\) (Q2187266) (← links)
• Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
• Vapnik-Chervonenkis density in some theories without the independence property. I (Q2790718) (← links)
• Defining Multiplication in Some Additive Expansions of Polynomial Rings (Q2813650) (← links)
• (Q3772178) (← links)
• Presburger arithmetic with unary predicates is <i>Π</i>₁¹ complete (Q3984438) (← links)
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (Q4638984) (← links)