Categories: Measure theory | Mathematical logic
A version of measure theory which deals with computable numbers, as opposed to real numbers which are used in standard measure theory.