5 citations · 7 across the 2 of their papers we have counts for
2 papers
math.LO2018★ 2 cited
Rigid models of Presburger arithmetic
Emil Jeřábek
We present a description of rigid models of Presburger arithmetic (i.e., Z-groups). In particular, we show that Presburger arithmetic has rigid models of all infinite cardinalities…
math.LO2017★ 5 cited
Recursive functions and existentially closed structures
Emil Jeřábek
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory in which al…