Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2243

Preprint Number 2243

Previous Next Preprint server

2243. Fedor Pakhomov
How to escape Tennenbaum's theorem

Submission date: 2 September 2022


We construct a theory definitionally equivalent to first-order Peano arithmetic PA and a non-standard computable model of this theory. The same technique allows us to construct a theory definitionally equivalent to Zermelo-Fraenkel set theory ZF that has a computable model.

Mathematics Subject Classification: 03C62, 03C57

Keywords and phrases:

Full text arXiv 2209.00967: pdf, ps.

Last updated: September 18 2022 13:16 Please send your corrections to: