×

Found 6 Documents (Results 1–6)

100
MathJax

Remarks on \(\Sigma\)-definability without the equality test over the reals. (English) Zbl 1262.03089

Dilhage, R. (ed.) et al., Proceedings of the fourth international conference on computability and complexity in analysis (CCA 2007), Siena, Italy, June 16–18, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 202, 305-313 (2008).
MSC:  03D78 03D45
PDF BibTeX XML Cite
Full Text: DOI

A finite hierarchy of the recursively enumerable real numbers. (English) Zbl 0920.03054

Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 798-806 (1998).
MSC:  03D25 03F60
PDF BibTeX XML Cite

Filter Results by …

Document Type

Year of Publication

all top 3

Classification