A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Interval Domains and Computable Sequences: A Case Study of Domain Reductions
2012
Computer journal
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. Handling editor: Leonid Libkin 2. BACKGROUND
doi:10.1093/comjnl/bxs121
fatcat:hx2g6bxfjrevvgpvrufrszikcq