𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Skolem functions of arithmetical sentences

✍ Scribed by Shih Ping Tung

Book ID
114273383
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
115 KB
Volume
185
Category
Article
ISSN
0890-5401

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