✦ LIBER ✦

Overspill and fragments of arithmetic

✍ Scribed by C. Dimitracopoulos

Publisher: Springer
Year: 1989
Tongue: English
Weight: 310 KB
Volume: 28
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01622877

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Tractable Fragments of Presburger Arithm

Tractable Fragments of Presburger Arithmetic

✍ K. Subramani 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 217 KB

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

Subrecursive degrees and fragments of Pe

Subrecursive degrees and fragments of Peano Arithmetic

✍ Lars Kristiansen 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 243 KB

Quantified propositional calculi and fra

Quantified propositional calculi and fragments of bounded arithmetic

✍ Jan Krajíček; Pavel Pudlák 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 915 KB

Reflection Principles in Fragments of Pe

Reflection Principles in Fragments of Peano Arithmetic

✍ Hiroakira Ono 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 952 KB