35 citations · 115 across the 15 of their papers we have counts for
5 papers · 1 filter
Models of as exponential integer parts
Emil Jeřábek
We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory are recursively saturated in a rich language with predicate…
Division by zero
Emil Jeřábek
For any sufficiently strong theory of arithmetic, the set of Diophantine equations provably unsolvable in the theory is algorithmically undecidable, as a consequence of the MRDP th…
Cluster expansion and the boxdot conjecture
Emil Jeřábek
The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjectu…
Sequence encoding without induction
Emil Jeřábek
We show that the universally axiomatized, induction-free theory PA^- is a sequential theory in the sense of Pudlák [5], in contrast to the closely related Robinson's arithmetic.
The ubiquity of conservative translations
Emil Jeřábek
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense tha…