arXiv Open Access 2018

Generalizations of the Recursion Theorem

Sebastiaan A. Terwijn

Lihat Sumber

Abstrak

We consider two generalizations of the recursion theorem, namely Visser's ADN theorem and Arslanov's completeness criterion, and we prove a joint generalization of these theorems.

Topik & Kata Kunci

math.LO cs.LO

Penulis (1)

Sebastiaan A. Terwijn

Format Sitasi

APA MLA BibTeX

Terwijn, S.A. (2018). Generalizations of the Recursion Theorem. https://arxiv.org/abs/1803.10843

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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