Interval Domains and Computable Sequences: A Case Study of Domain Reductions
Jens Blanck · The Computer Journal · 2012
The interval domain as a model of approximations of real numbers is not unique, in fact, there are many variations of the interval domain. We study these variations with respect to domain reductions. The effectivity theory induced by these variations is not stable, and this paper investigates some of the rich structure found. We follow Mostowski (On computable sequences. Fund. Math., 44, 37–51) and use computable sequences to exhibit this structure.