We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Essential Hereditary Undecidability

Authors: Albert Visser
Abstract: In this paper we study *essential hereditary undecidability*. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides some salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather naturalessentially hereditarily undecidable theory strictly below R. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism.
We develop a reduction relation *essential tolerance*, or, in the converse direction, *lax interpretability* that interacts in a good way with essential hereditary undecidability.
We introduce the class of $\Sigma^0_1$-friendly theories and show that $\Sigma^0_1$-friendliness is sufficient but not necessary for essential hereditary undecidability.
Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarily undecidable theory.
Subjects: Logic (math.LO)
MSC classes: 03F25, 03F30, 03F40
Cite as: arXiv:2212.03565 [math.LO]
  (or arXiv:2212.03565v1 [math.LO] for this version)

Submission history

From: Albert Visser [view email]
[v1] Wed, 7 Dec 2022 10:50:04 GMT (30kb)

Link back to: arXiv, form interface, contact.