✦ LIBER ✦

A Decidable Fragment of Recursive Arithmetic

✍ Scribed by R. L. Goodstein

Publisher: John Wiley and Sons
Year: 1963
Tongue: English
Weight: 127 KB
Volume: 9
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19630091203

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Decidable Class of Equations in Recurs

A Decidable Class of Equations in Recursive Arithmetic

✍ R. L. Goodstein; R. D. Lee 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB 👁 1 views

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

Fragments of Arithmetic and true sentenc

Fragments of Arithmetic and true sentences

✍ Andrés Cordón-Franco; Alejandro Fernández-Margarit; F. Félix Lara-Martín 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB

Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only (up to deductive equivalence) consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of b

The Pigeonhole Principle and Fragments o

The Pigeonhole Principle and Fragments of Arithmetic

✍ C. Dimitracopoulos; J. Paris 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 380 KB 👁 1 views

Nonstandard Models for a Fragment of the

Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem

✍ Ibrahim Garro 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 147 KB 👁 1 views

Relatively Recursively Enumerable Versus

Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic

✍ Grzegorz Michalski 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB

## Abstract We show that that every countable model of __PA__ has a conservative extension __M__ with a subset __Y__ such that a certain Σ~1~(__Y__)‐formula defines in __M__ a subset which is not r. e. relative to __Y__.