19 citations · 68 across the 29 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015★ 10 cited
Recognizable sets and Woodin cardinals: Computation beyond the constructible universe
Merlin Carl, Philipp Schlicht, Philip Welch
We call a subset of an ordinal recognizable if it is the unique subset of for which some Turing machine with ordinal time and tape, which halts for all subsets of a…
math.LO2015★ 7 cited
The Hurewicz dichotomy for generalized Baire spaces
Philipp Luecke, Luca Motto Ros, Philipp Schlicht
By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space is covered by a subset of if and only if it does not contain a close…