1. [1] Adamowicz Z. , On maximal theories, this journal, vol. 56 (1991), pp. 885–890.
2. [10] Lessan H. , Models of Arithmetic , Ph.D. thesis, University of Manchester, 1978.
3. Metamathematics of First-Order Arithmetic
4. [15] Simmons H. , Existentially closed structures, this Journal, vol. (1972), pp. 293–310.