1. The Power of the Ultrafilter Theorem
2. A model without ultrafilters;Blass;Bulletìn de la P Academée Polonaise de Science, SérieMathématique,1977
3. Der Beitrag Gödels für die Rechtfertigung der Leibniz'schen Idee von den Infinitesimalien;Christian;Sitzungsberichte der Österreichischen Akademie der Wissenschaften, mathem.-naturw,1983
4. Applied Nonstandard Analysis;Davis,1977
5. The consistency of the continuum hypothesis;Gödel,1966