13 citations · 13 across the 1 of their papers we have counts for
4 papers · 1 filter
Dense computability, upper cones, and minimal pairs
Eric P. Astor, Denis R. Hirschfeldt, Carl G. Jockusch
This paper concerns algorithms that give correct answers with (asymptotic) density . A dense description of a function is a partial function on such that $\…
The determined property of Baire in reverse math
Eric P. Astor, Damir Dzhafarov, Antonio Montalbán +2
We define the notion of a determined Borel code in reverse math, and consider the principle , which states that every determined Borel set has the property of Baire. We show t…
The computational content of intrinsic density
Eric P. Astor
In a previous paper, the author introduced the idea of intrinsic density --- a restriction of asymptotic density to sets whose density is invariant under computable permutation. We…
The uniform content of partial and linear orders
Eric P. Astor, Damir D. Dzhafarov, Reed Solomon +1
The principle asserts that every linear order on has an infinite ascending or descending sequence. This has been studied extensively in the reverse mathematics literature…