Submission date: 2 September 2022

Abstract:

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.