An independence result for (II11-CA)+BI
- 31 December 1987
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 33, 131-155
- https://doi.org/10.1016/0168-0072(87)90078-9
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Accessible Independence Results for Peano ArithmeticBulletin of the London Mathematical Society, 1982
- Rapidly Growing Ramsey FunctionsAnnals of Mathematics, 1981