Showing 2020Show all
3 papers · 1 filter
math.LO2020
Long Games and -Projective Sets
Juan P. Aguilera, Sandra Müller, Philipp Schlicht
We prove a number of results on the determinacy of -projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under compleme…
math.LO2020
Decision times of infinite computations
Merlin Carl, Philipp Schlicht, Philip Welch
The decision time of an infinite time algorithm is the supremum of its halting times over all real inputs. The decision time of a set of reals is the least decision time of an algo…
math.LO2020
Descriptive properties of higher Kurepa trees
Philipp Lücke, Philipp Schlicht
We use generalizations of concepts from descriptive set theory to study combinatorial objects of uncountable regular cardinality, focussing on higher Kurepa trees and the represent…