3 citations · 3 across the 1 of their papers we have counts for
1 paper
Taishi Kurahashi, Albert Visser
We study the effective versions of several notions related to incompleteness, undecidability and inseparability along the lines of Pour-El's insights. Firstly, we strengthen Pour-E…