57 citations · 86 across the 14 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
Essential Hereditary Undecidability
Albert Visser
In this paper we study \emph{essential hereditary undecidability}. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops t…
math.LO2022
There are no minimal essentially undecidable Theories
Fedor Pakhomov, Juvenal Murwanashyaka, Albert Visser
We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.