dc.contributor.author |
Hertling, P |
en |
dc.date.accessioned |
2009-04-16T23:13:33Z |
en |
dc.date.available |
2009-04-16T23:13:33Z |
en |
dc.date.issued |
1997-09 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-057 (1997) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/3566 |
en |
dc.description.abstract |
On countable structures computability is usually introduced via numberings. For
uncountable structures whose cardinality does not exceed the cardinality of the continuum the same can be done via representations. Which representations are appropriate for doing real number computations? We show that with respect to computable
equivalence there is one and only one equivalence class of representations of the real
numbers which make the basic operations computable. This characterizes the real
numbers in terms of the theory of effective algebras or computable structures, and is
reflected by observations made in real number computer arithmetic. We also give further evidence for the well-known non-appropriateness of the representation to some
base b by proving that strictly less functions are computable with respect to these
representations than with respect to a standard representation of the real numbers.
Furthermore we consider basic constructions of representations and the countable
substructure consisting of the computable elements of a represented, possibly uncountable structure. For countable structures we compare effectivity with respect to
a numbering and effectivity with respect to a representation. Special attention is paid
to the countable structure of the computable real numbers. |
en |
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial |
en |
dc.title |
The Real Number Structure is Effectively Categorical |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research::280000 Information, Computing and Communication Sciences |
en |
dc.rights.holder |
The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |