1. P. d'Aquino, A. Macintyre, Non standard finite fields over IΔ0 + Ω1, Israel J. Math., 1999, to appear.
2. S. Buss, Bounded Arithmetic, Bibliopolis, 1986.
3. On a theory of computation and complexity over the real numbers;Blum;Bull. Am. Math. Soc.,1989
4. S. Boughattas, Trois theoremes sur l'induction ouverte munie de l'exponentielle, J. Symbolic Log, 1991, to appear.
5. P. Cegielski, Le theoreme de Dirichlet est finitiste, Prepublications du LITP, 1992.