Year: 2026
Type: preprint
Abstract: We prove that there is a 1-generic set which computes a uniformly almost everywhere dominating function. The proof has two ingredients: a Baire space version of the Chong-Downey Sigma01-density criterion and the forcing of Cholak-Greenberg-Miller.
Source: arXiv (Cornell University)
Author: Zhao, Xuanheng
Institution: Nanjing University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Award: G5414997189
OpenAlex ID: W7213511894