How to escape Tennenbaum's theorem
From MaRDI portal
Publication:6409545
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.
This page was built for publication: How to escape Tennenbaum's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6409545)
