Affiliations: [a] Department of Mathematics, University of Oslo, P.O. Box 1053, Blindern, NO-0316 Oslo, Norway | [b] Department of Informatics, University of Oslo, P.O. Box 1080, Blindern, NO-0316 Oslo, Norway. firstname.lastname@example.org
Abstract: We consider various ways to represent irrational numbers by subrecursive functions: via Cauchy sequences, Dedekind cuts, trace functions, several variants of sum approximations and continued fractions. Let S be a class of subrecursive functions. The set of irrational numbers that can be obtained with functions from S depends on the representation. We compare the sets obtained by the different representations.