21 citations · 88 across the 30 of their papers we have counts for
1 paper · 2 filters
Asaf Karagila
We study a well-known technique of using absoluteness for giving choice-free proofs to some statements which are known to be provable with the axiom of choice. The idea is to reduc…