1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrei Draghici, Christoph Haase, Florin Manea
We study extensions of Semënov arithmetic, the first-order theory of the structure (N,+,2x). It is well-knonw that this theory becomes undecidable when extended with…