✦ LIBER ✦

Models of Arithmetic and recursive functions

✍ Scribed by J. Hirschfeld

Book ID: 112884624
Publisher: The Hebrew University Magnes Press
Year: 1975
Tongue: English
Weight: 642 KB
Volume: 20
Category: Article
ISSN: 0021-2172
DOI: 10.1007/bf02757881

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating some classes of recursive fun

Generating some classes of recursive functions by superpositions of simple arithmetic functions

✍ S. A. Volkov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 146 KB

Nonstandard arithmetic and recursive com

Nonstandard arithmetic and recursive comprehension

✍ H. Jerome Keisler 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 469 KB

The Recursively Saturated Part of Models

The Recursively Saturated Part of Models of Peano Arithmetic

✍ Henryk Kotlarski 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 403 KB 👁 1 views

PA we define the rfcursively saturated part of XU by RS(9Jl) = ( a E $1: ( 3 8 < YJ?) ( a E )%I and 8 is recursively saturated)). We shall study various possibilities for the relationship between 912 and RS(XU). Tliii paper has grown out of our observation that it may happen that , D is a simple ex

A Decidable Fragment of Recursive Arithm

A Decidable Fragment of Recursive Arithmetic

✍ R. L. Goodstein 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

[Universitext] A Course on Mathematical

[Universitext] A Course on Mathematical Logic || Recursive Functions and Arithmetization of Theories

✍ Srivastava, Shashi Mohan 📂 Article 📅 2012 🏛 Springer New York ⚖ 220 KB

Arithmetical Problems and Recursively En

Arithmetical Problems and Recursively Enumerable Predicates

✍ Martin Davis 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 815 KB