13 citations · 22 across the 4 of their papers we have counts for
7 papers
The weakness of typicality
Eric P. Astor, Laurent Bienvenu, Damir Dzhafarov +4
Many statements studied in reverse mathematics can be seen as mathematical problems, formulated in terms of instances and solutions. We develop a framework of typicality encompassi…
A General Purpose Transpiler for Fully Homomorphic Encryption
Shruthi Gorantala, Rob Springer, Sean Purser-Haskell +22
Fully homomorphic encryption (FHE) is an encryption scheme which enables computation on encrypted data without revealing the underlying data. While there have been many advances in…
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…