1-genericity and almost everywhere domination
Xuanheng Zhao
math.LOarXiv:2609.18001
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.
Create a lesson
Related papers
A minimal type of Morley rank ω in a partial differential field
Piotr Kowalski
Coding is non-robust
Sam Sanders
Scott topologies on products of countable complete Heyting algebras
Xiaoquan Xu
Almost-everywhere computation of weak generics relative to r.e. sets
Xuanheng Zhao
On definable Galois theory and definable Galois cohomology in the totally transcendental setting
David Meretzky
Finite Borel asymptotic dimension of bounded-to-one commutative monoid actions
Ruijun Wang