Incompleteness and Jump Hierarchies - Patrick Lutz; James Walsh (2019)