New posts in Computable Analysis

Is it possible to constructively prove that every quaternion has a square root?

Is this property equivalent to Lusin's property (N) for continuous functions?