There are no minimal essentially undecidable Theories

Fedor Pakhomov; Juvenal Murwanashyaka; Albert Visser

doi:10.48550/arXiv.2207.08174

There are no minimal essentially undecidable Theories

Fedor Pakhomov, Juvenal Murwanashyaka, Albert Visser

Research output: Working paper › Preprint › Academic

Abstract

We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

Original language	English
Publisher	arXiv
Number of pages	11
DOIs	https://doi.org/10.48550/arXiv.2207.08174
Publication status	Published - 17 Jul 2022

Keywords

math.LO
03F30, 03F40, 03F45

Access to Document

10.48550/arXiv.2207.08174Licence: CC BY

2207.08174v2Submitted manuscript, 188 KBLicence: CC BY

Cite this

@techreport{9bfc13e8fd7e4c2e981e8204d57056e1,

title = "There are no minimal essentially undecidable Theories",

abstract = "We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.",

keywords = "math.LO, 03F30, 03F40, 03F45",

author = "Fedor Pakhomov and Juvenal Murwanashyaka and Albert Visser",

year = "2022",

month = jul,

day = "17",

doi = "10.48550/arXiv.2207.08174",

language = "English",

publisher = "arXiv",

type = "WorkingPaper",

institution = "arXiv",

}

TY - UNPB

T1 - There are no minimal essentially undecidable Theories

AU - Pakhomov, Fedor

AU - Murwanashyaka, Juvenal

AU - Visser, Albert

PY - 2022/7/17

Y1 - 2022/7/17

N2 - We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

AB - We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

KW - math.LO

KW - 03F30, 03F40, 03F45

U2 - 10.48550/arXiv.2207.08174

DO - 10.48550/arXiv.2207.08174

M3 - Preprint

BT - There are no minimal essentially undecidable Theories

PB - arXiv

ER -

There are no minimal essentially undecidable Theories

Abstract

Keywords

Access to Document

Fingerprint

Cite this