Combinatorial principles in nonstandard analysis

L.O. Arkeryd, N.J. Cutland, C.W. Henson (Eds.), Nonstandard Analysis: Theory and Applications, Kluwer Academic Publisher, Dordrecht, 1997. Ballard, 1992, Standard foundations for nonstandard analysis, J. Symbolic Logic, 57, 741, 10.2307/2275304 Baumgartner, 1976, Adding a closed unbounded set, J. Symbolic Logic, 41, 481, 10.2307/2272248 Benedikt, 1998, Ultrafilters which extend measures, J. Symbolic Logic, 63, 638, 10.2307/2586856 Chang, 1990 Di Nasso, 1998, Pseudo-superstructures as nonstandard universes, J. Symbolic Logic, 63, 222, 10.2307/2586597 Di Nasso, 2001, The generic filter property in nonstandard analysis, Ann. Pure Appl. Logic, 111, 23, 10.1016/S0168-0072(01)00033-1 M. Di Nasso, K. Hrbacek, in preparation. Henson, 1974, The isomorphism property in nonstandard analysis and its use in the theory of Banach space, J. Symbolic Logic, 39, 717, 10.2307/2272856 Jech, 1978 Jin, 1992, The isomorphism property versus the special model axiom, J. Symbolic Logic, 57, 975, 10.2307/2275443 Jin, 1992, A theorem on the isomorphism property, J. Symbolic Logic, 57, 1011, 10.2307/2275446 Jin, 1997, Better nonstandard universes with applications, 183 Jin, 1997, Type two cuts, bad cuts and very bad cuts, J. Symbolic Logic, 62, 1241, 10.2307/2275640 Jin, 1999, Distinguishing three strong saturation principles in nonstandard analysis, Ann. Pure Appl. Logic, 98, 157, 10.1016/S0168-0072(98)00055-4 Keisler, 1976 Keisler, 1991, Making the hyperreal line both saturated and complete, J. Symbolic Logic, 56, 1016, 10.2307/2275069 Ozawa, 1994, Forcing in nonstandard analysis, Ann. Pure Appl. Logic, 68, 263, 10.1016/0168-0072(94)90023-X K. Potthoff, in: G. Asser, J. Flaschmeyer, W. Rinow (Eds.), Ordnungseigenschaften von nichstandardmodellen, in: Theory of Sets and Topology (in honour of Felix Hausdorff), Berlin, VED Deutcher Verlag der Wissenschaften, 1972, pp. 403–426. Ross, 1990, The special model axiom in nonstandard analysis, J. Symbolic Logic, 55, 1233, 10.2307/2274484 Ross, 1987, Automorphisms of the Loeb algebra, Fund. Math., 128, 29, 10.4064/fm-128-1-29-36 Schmerl, 1995, The isomorphism property for nonstandard universes, J. Symbolic Logic, 60, 512, 10.2307/2275846