19 citations · 68 across the 29 of their papers we have counts for
4 papers · 1 filter
Lebesgue's Density Theorem and definable selectors for ideals
Sandra Müller, Philipp Schlicht, David Schrittesser +1
We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate…
The isomorphism problem for tree-automatic ordinals with addition
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht +1
This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such…
Preserving levels of projective determinacy by tree forcings
Fabiana Castiblanco, Philipp Schlicht
We prove that various classical tree forcings -- for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing -- preserve the statement that every…
Reachability for infinite time Turing machines with long tapes
Merlin Carl, Benjamin Rin, Philipp Schlicht
Infinite time Turing machine models with tape length , denoted , strengthen the machines of Hamkins and Kidder [HL00] with tape length . A new phenomenon is that for som…