406 search results - page 2 / 82 » Recursive Approximability of Real Numbers |
ENTCS
2008
13 years 4 months ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
SAS
2007
Springer
13 years 11 months ago
2007
Springer
JSYML
2000
13 years 4 months ago
2000
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
JSYML
2010
13 years 3 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...