𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The principles of separation in CE


Book ID
105594659
Publisher
Springer
Year
2001
Tongue
English
Weight
888 KB
Volume
54
Category
Article
ISSN
0009-5893

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the Ξ 11-separation principle
✍ Antonio MontalbΓ‘n πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 203 KB

We study the proof-theoretic strength of the Ξ  1 1 -separation axiom scheme, and we show that Ξ  1 1 -separation lies strictly in between the Ξ” 1 1 -comprehension and Ξ£ 1 1 -choice axiom schemes over RCA0.