On parameter free induction schemas
- 1 December 1988
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 53 (4) , 1082-1097
- https://doi.org/10.2307/2274606
Abstract
We present a comprehensive study of the axiom schemas (induction and collection schemas for parameter free Σn formulas) and some closely related schemas.Keywords
This publication has 0 references indexed in Scilit: