3 papers
math.LO2026
Ranked Discontinuities of Multivalued Functions
Daniel Samir Mourad
We study discontinuity of multivalued functions (also known as problems) on Baire space by assigning an ordinal rank to points in the domain of that have no local realizers…
math.LO2024
Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
Daniel Mourad
The lefthanded Lovász local lemma (LLLL) is a generalization of the Lovász local lemma (LLL), a powerful technique from the probabilistic method. We prove a computable version of…
math.LO2024
There is No Composition in the Computable Reducibility Degrees
Daniel Mourad
We show that, in general, there is no degree corresponding to the composition of two problems in the computable reducibility lattice.