✦ LIBER ✦

Roman Murawski,Recursive Functions and Metamathematics

✍ Scribed by Rod Downey

Book ID: 110333915
Publisher: Springer Netherlands
Year: 2002
Tongue: English
Weight: 729 KB
Volume: 70
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1015138802160

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial Recursive Functions and ω-Functi

Partial Recursive Functions and ω-Functions

✍ C. H. Applebaum and J. C. E. Dekker 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 889 KB

Extension of partial recursive functions

Extension of partial recursive functions and functions with a recursive graph

✍ V. A. Dushskii 📂 Article 📅 1969 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 303 KB

On Resemblance and Recursive Isomorphism

On Resemblance and Recursive Isomorphism Types of Partial Recursive Functions

✍ E.A. Polyakov 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 129 KB

Models of Arithmetic and recursive funct

Models of Arithmetic and recursive functions

✍ J. Hirschfeld 📂 Article 📅 1975 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 642 KB

RECURSIVE BAIRE CLASSIFICATION AND SPEED

RECURSIVE BAIRE CLASSIFICATION AND SPEEDABLE FUNCTIONS

✍ Cristian Calude; Gabriel Istrate; Marius Zimand 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 496 KB

## Abstract Using recursive variants of Baire notions of nowhere dense and meagre sets we study the topological size of speedable and infinitely often speedable functions in a machine‐independent framework. We show that the set of speedable functions is not “small” whereas the set of infinitely oft

Hierarchies of Primitive Recursive Funct

Hierarchies of Primitive Recursive Functions

✍ Charles Parsons 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 972 KB

9 Yn), ~1 , \* \* . ? ~n l then the definition of 97 is of degree max ( p ) q) + 1 . l) l ) We omit from consideration the schema for recursion without pareymeters. It can be accommodated into our arguments by simplified versions of the arguments for (V), or it can be omitted as a primitive schema w