[1] P. Cegielski K. MacAloon G. Wilmers: Modéles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, red. D. van Dalen et alii, North Holland.

[2] P. Cohen: Set Theory and the Continuum Hypothesis. W. A. Benjamin, Inc., New York, 1966. MR 0232676 | Zbl 0182.01301

[3] K. MacAloon: On the complexity of models of arithmetic. Journal of Symbolic Logic, 47 č.2. MR 0654796

[4] J. Paris: Note on an induction axiom. Journal of Symbolic Logic, 43 č. 1. MR 0495122 | Zbl 0399.03009

[5] J. Paris C. Dimitracopoulos: Truth definitions for $\Delta_0$ formulae. Logic and Algorithm, Monographic No. 30 de L'Enseignement Mathematique.

[6] J. Shepherdson: Non-standard models for fragments of number theory. Theory of Models, North Holland, 1965. MR 0197318 | Zbl 0154.26202

[7] A. Wilkie: Some results and problems on weak systems of arithmetic. Logic Colloquium '77, North Holland, 1978. MR 0519823 | Zbl 0449.03076

[8] G. Wilmers: Bounded Existential Induction. Journal of Symbolic Logic (v tisku). Zbl 0634.03029