2 citations · 2 across the 7 of their papers we have counts for
1 paper · 2 filters
Mohsen Khani, Afshin Zarei
We have provided a pure model-theoretic proof for the decidability of the additive structure of the integers together with the function {f} sending {x} to {[ϕx]} where ϕ is the gol…