1. Peter Aczel, Michael Rathjen, Notes on Constructive Set Theory. 2010. Draft.
2. The de Jongh property for basic arithmetic;Ardeshir;Arch. Math. Log.,2014
3. An approach to definability theory;Barwise,1975
4. On axiomatizability within a system;Craig;J. Symb. Log.,1953
5. Dick de Jongh, The maximality of the intuitionistic predicate calculus with respect to Heyting's arithmetic, Unpublished article with abstract appearing in [6].