Papers and books using NSA in logic

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

Back to NSA page

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

Make your own free website on Tripod.com