8 citations · 19 across the 21 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
math.LO2013
Propagation of partial randomness
Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson +1
Let f be a computable function from finite sequences of 0's and 1's to real numbers. We prove that strong f-randomness implies strong f-randomness relative to a PA-degree. We also…
math.LO2013★ 1 cited
A generalization of Levin-Schnorr's theorem
Keita Yokoyama
In this paper, we will generalize the definition of partially random or complex reals, and then show the duality of random and complex, i.e., a generalized version of Levin-Schnorr…
math.LO2013★ 1 cited
On principles between - and -induction, and monotone enumerations
Alexander P. Kreuzer, Keita Yokoyama
We show that many principles of first-order arithmetic, previously only known to lie strictly between -induction and -induction, are equivalent to the well-foundedness of…