𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On “provable” analogs ofand

✍ Scribed by Theodore P. Baker

Book ID
105306694
Publisher
Springer
Year
1978
Tongue
English
Weight
303 KB
Volume
12
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On series solutions ofand applications
On series solutions ofand applications
✍ Pappur N Shivakumar, Yang Zhang 📂 Article 📅 2013 🏛 Springer International Publishing AG 🌐 English ⚖ 141 KB
On induction-free provability
On induction-free provability
✍ Jan Krajíček; Gaisi Takeuti 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 797 KB
On Rosser's Provability Predicate
On Rosser's Provability Predicate
✍ V. Yu. Shavrukov 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 693 KB

In their paper [4] GUASPARI and SOLOVAY investigate the system R of modal provability logic extended with witness comparison operators o A < B and D A I o B (see also SMO-RYI~SKI (91 and DE JONGH 151). These are intended to express that there is a proof of A whose Godel-number is smaller than resp.