Abstract
In this paper we compare two notions of effectiveness in the ordered field of real numbers. The first one is introduced using the notion of program in the sense of algorithmic logic. The second is the recursiveness in Baire space. After an identification of the Baire space with the set of reals using an effective and natural mapping it turns out that these two notions are different. We also study a natural notion of effectiveness extending both these notions.
Get full access to this article
View all access options for this article.