𝔖 Bobbio Scriptorium
✦   LIBER   ✦

THE SECOND-ORDER PROPERTY VIEW OF EXISTENCE

✍ Scribed by JOEL KATZAV

Book ID
111047979
Publisher
John Wiley and Sons
Year
2008
Tongue
English
Weight
76 KB
Volume
89
Category
Article
ISSN
0279-0750

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Recursively Mahlo Property in Second
The Recursively Mahlo Property in Second Order Arithmetic
✍ Michael Rathjen πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 388 KB

## Abstract The paper characterizes the second order arithmetic theorems of a set theory that features a recursively Mahlo universe; thereby complementing prior proof‐theoretic investigations on this notion. It is shown that the property of being recursively Mahlo corresponds to a certain kind of Ξ²