Computable structures and operations on the space of continuous functions
Alexander Melnikov, Keng Meng Ng · Fundamenta Mathematicae · 2015
We use ideas and machinery of effective algebra to investigate computable structures on the space $C[0,1]$ of continuous functions on the unit interval. We show that $(C[0,1], \sup)$ has infinitely many computable structures non-equivalent up to a computa