𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on Comparative Inductive Logicby Yehoshua Bar-Hillel

✍ Scribed by Review by: Abner Shimony

Book ID
124954814
Publisher
Association for Symbolic Logic
Year
1954
Tongue
English
Weight
111 KB
Volume
19
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on state-descriptions
A note on state-descriptions
✍ Yehoshua Bar-Hillel πŸ“‚ Article πŸ“… 1951 πŸ› Springer Netherlands 🌐 English βš– 307 KB
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