✦ LIBER ✦

Non-recursiveness of the operations on real numbers

✍ Scribed by Kostas Skandalis

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 598 KB
Volume: 71
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90054-l

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Approximability of Real Number

Recursive Approximability of Real Numbers

✍ Xizhong Zheng 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 359 KB

A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limit real number might have more effectivity. In this note we summarize some recent attempts to classify the recursively ap

A note on non-extensional operations in

A note on non-extensional operations in connection with continuity and recursiveness

✍ A.S Troelstra 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 445 KB

Non-constructive Properties of the Real

Non-constructive Properties of the Real Numbers

✍ Paul Howard; Kyriakos Keremedis; Jean E. Rubin; Adrienne Stanley; Eleftherios Ta 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB 👁 1 views

On the theory of recursion operators

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 74 KB

On the finiteness of the recursive chrom

On the finiteness of the recursive chromatic number

✍ William I. Gasarch; Andrew C.Y. Lee 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 559 KB

A recursive graph is a graph whose vertex and edge sets are recursive. A highly recursive graph is a recursive graph that also has the following property: one can recursively determine the neighbors of a vertex. Both of these have been studied in the literature. We consider an intermediary notion:

On coalgebra of real numbers

✍ D. Pavlović; V. Pratt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 196 KB