𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Reducible Induction Schemata

✍ Scribed by H. E. Rose

Publisher
John Wiley and Sons
Year
1965
Tongue
English
Weight
229 KB
Volume
11
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on Bar Induction in Constructive
A note on Bar Induction in Constructive Set Theory
✍ Michael Rathjen 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 113 KB 👁 1 views

## Abstract Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answ

A note on parameter free Π1-induction an
A note on parameter free Π1-induction and restricted exponentiation
✍ A. Cordón-Franco; A. Fernández-Margarit; F. F. Lara-Martín 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 182 KB

## MSC (2010) 03F30, 03H15 We characterize the sets of all Π2 and all B(Σ1 ) (= Boolean combinations of Σ1 ) theorems of IΠ - 1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generaliz