35 citations · 115 across the 15 of their papers we have counts for
1 paper · 2 filters
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.