Δ03-determinacy, comprehension and induction

@article{MedSalem200703determinacyCA,
  title={Δ03-determinacy, comprehension and induction},
  author={MedYahya Ould MedSalem and Kazuyuki Tanaka},
  journal={J. Symb. Log.},
  year={2007},
  volume={72},
  pages={452-462}
}