✦ LIBER ✦

Regular approximations of recursive predicates

✍ Scribed by R. I. Freidzon

Publisher: Springer US
Year: 1972
Tongue: English
Weight: 518 KB
Volume: 1
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01117481

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Table approximations to recursive predic

Table approximations to recursive predicates

✍ R. I. Freidzon 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 389 KB

Approximate completeness in algebras of

Approximate completeness in algebras of partial recursive functions and predicates

✍ Yu. V. Golunkov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 563 KB

Families of recursive predicates of meas

Families of recursive predicates of measure zero

✍ R. I. Freidzon 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 345 KB

Predicate-transformer semantics of gener

Predicate-transformer semantics of general recursion

✍ Wim H. Hesselink 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 997 KB

Primitive recursive estimate of strong n

Primitive recursive estimate of strong normalization for predicate calculus

✍ G. E. Mints 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 248 KB

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