The special model axiom in nonstandard analysis

Journal of Symbolic Logic 55 (3):1233-1242 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274484

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
Transfer principles in nonstandard intuitionistic arithmetic.Jeremy Avigad & Jeffrey Helzner - 2002 - Archive for Mathematical Logic 41 (6):581-602.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
The strength of nonstandard methods in arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.

Analytics

Added to PP
2009-01-28

Downloads
26 (#592,813)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
Distinguishing three strong saturation properties in nonstandard analysis.Renling Jin - 1999 - Annals of Pure and Applied Logic 98 (1-3):157-171.
The generic filter property in nonstandard analysis.Mauro Di Nasso - 2001 - Annals of Pure and Applied Logic 111 (1-2):23-37.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.

View all 9 citations / Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references