𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Corrigendum to “Variation on a theme of Schütte”

✍ Scribed by Gerhard Jäger; Dieter Probst


Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
36 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


As observed by G. Mints, Definition 5 on page 262 is too restrictive and does not reflect our intention. What we really had in mind is formulated below. We apologize for this stupid oversight.

Definition 5 (corrected) Let T be any theory which is formulated in a language L(T) comprising L 2 . Then T is called α-equivalent to PA ∞ , in symbols T α PA ∞ , if α is the least ordinal so that T A implies PA ∞ <α 0 A for all semi-closed arithmetic formulas A of L 2 .


📜 SIMILAR VOLUMES


Variation on a theme of Schütte
✍ Gerhard Jäger; Dieter Probst 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 125 KB

## Abstract Let ≺ be a primitive recursive well‐ordering on the natural numbers and assume that its order‐type is greater than or equal to the proof‐theoretic ordinal of the theory T. We show that the proof‐theoretic strength of T is not increased if we add the negation of the statement which forma

cover
✍ Barbara Delinsky 📂 Fiction 📅 2014 🏛 HarperCollins e-Books 🌐 English ⚖ 148 KB 👁 2 views

*New York Times* bestselling author Barbara Delinsky enthralls millions of readers with emotionally powerful stories that vividly demonstrate the heart's, power to love. Here, first published in 1984, is an unforgettable story of a woman who must discover who she is before she can give herself to th

Variation on a theme of Jacobi
✍ H. P. McKean 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 418 KB 👁 1 views
cover
✍ Hugh Mackay 📂 Fiction 📅 2020 🏛 Pan Macmillan Australia 🌐 English ⚖ 1 MB 👁 2 views

**What really goes on in a marriage?** Richard and Freya are, on the surface, a perfect couple. He has a thriving architectural practice; she plays the violin like an angel. They live in a beautiful home. They seem respectful and caring of one another. They should be happier than they are.