arXiv Open Access 2022

How to escape Tennenbaum's theorem

Fedor Pakhomov

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (1)

Fedor Pakhomov

Format Sitasi

APA MLA BibTeX

Pakhomov, F. (2022). How to escape Tennenbaum's theorem. https://arxiv.org/abs/2209.00967

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2022
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓