Abbreviations:
AMS - American Mathematical Society
APAL - Annals of Pure and Applied Logic
JSL - Journal of Symbolic Logic
NSA - Nonstandard analysis
ZML - Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik
Ballard D and Hrbacek K (1992) Standard foundations for NSA. JSL 57 #2 pp 741-748
Csirmaz L (1988) Stability of weak second order semantics. Studia Logica 47 #3 pp 193-202
Diener F and Stroyan K (1988) Syntactical methods in infinitesimal analysis; in NSA and its applications. Cutland N ed. Camb. Univ. Press.
Dopp K (1984) Filterkonvergenz in der Nichtstandard-Analysis. ZML 30 pp 21-44.
Dopp K (1984) Filterkonvergenz in der Nichtstandard-Analysis bei nichtelementaren Funktionen. ZML 30 pp 353-384
Drossos C (1990) Foundations of Fuzzy Sets. A nonstandard approach. Fuzzy Sets and Systems 37 pp 287-307
Grainger A (1994) Flat sets. JSL 59 #3 pp 1012-1021
Henson C.W., Kaufmann M and Keisler H.J. (1984) The strength of nonstandard methods in arithmetic. JSL Vol 49 #4 pp 1039-1058
Henson C.W. and Keisler H.J. (1986) On the strength of NSA. JSL 51 pp 377-386
Hirshfeld J (1988) Nonstandard combinatorics. Studia Logica 47 #3 pp 221-232
Hrbacek K (1978) Axiomatic foundations for NSA. Fundamenta Mathematicae Vol 98 pp 1-19
Hrbacek K (1979) Nonstandard set theory. American Mathematical Monthly Vol 86 (1979) pp 659-677
Kanovei V (1996) On external Scott algebras in nonstandard models of Peano arithmetic. JSL Vol 61 #2 pp 586-607
Kawai T (1981) Axiom systems for nonstandard set theory. Logic Symposia Hakone 1979, 1980 (Muller G, Takeuti G and Tugue T editors) in Lecture notes in Math. Vol 891 pp 57-65 Springer-Verlag, Berlin.
Keisler H.J., Kunen K, Leth S and Miller A (1989) Descriptive set theory over hyperfinite sets. JSL Vol 54 pp 1167-1180
Keisler H.J. and Leth S (1991) Meager sets in the hyperfinite time line. JSL Vol 56 pp 71-102
Keisler H.J. and Schmerl J.H. (1991) Making the hyperreal line both saturated and complete. JSL Vol 56 pp 1016-1025
Jin, Renling (1992) A theorem on the isomorphism property. JSL Vol 57 #3 pp 1011-1017
Jin, Renling (1992) The isomorphism property versus the special model axiom. JSL Vol 57 #3 pp 975-987
Leth S (1988) Some nonstandard methods in combinatorial number theory. Studia Logica 47 #3 pp 265-278
Levitz H (1982) Calculation of an order type: an application of non-standard methods. ZML 27 pp 219-228
Liu, Shih-Chao (1980) A proof-theoretic approach to NSA; in The Kleene symposium (Barwise J ed) pp 391-414 North-Holland, Amsterdam.
Miller A (1990) Set theoretic properties of Loeb measure. JSL Vol 55 #3 pp 1022-1036
Nelson E (1988) The syntax of NSA. APAL Vol 38 32 pp 123-134
Nelson E (1977) Internal set theory: a new approach to nonstandard analysis. Bulletin of the AMS Vol 83 pp 1165-1198
Normann D (1983) Characterizing the continuous functionals. JSL 48 pp 965-969
Ozawa, M (1994) Forcing in NSA. APAL 68 #3 pp 263-297
Ozawa, M (1995) Scott incomplete Boolean ultrapowers of the real line. JSL 60 #1 pp 160-171
Richter M and Szabo E (1988) Nonstandard methods in combinatorics and theoretical computer science. Studia Logica 47 #3 pp 181-191
Ross D (1990) The special model axiom in NSA. JSL Vol 55 #3 pp 1233-1242
Vakil N (1987) Monadic binary relations and the monad systems ar near-standard points. JSL 52 pp 689-697
van den Berg I (1992) Extended use of Internal Set Theory APAL 58 #1 pp 73-92