Boolean models and nonstandard analysis

In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 87--92 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.
Second-order non-nonstandard analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.
Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.
Scott incomplete Boolean ultrapowers of the real line.Masanao Ozawa - 1995 - Journal of Symbolic Logic 60 (1):160-171.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Working with nonstandard models.Harvey Friedman - manuscript
An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.
Standardization principle of nonstandard universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Nonstandard characterizations of recursive saturation and resplendency.Stuart T. Smith - 1987 - Journal of Symbolic Logic 52 (3):842-863.
Linearly Stratified Models for the Foundations of Nonstandard Mathematics.Mauro Di Nasso - 1998 - Mathematical Logic Quarterly 44 (1):138-142.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
Sequences in countable nonstandard models of the natural numbers.Steven C. Leth - 1988 - Studia Logica 47 (3):243 - 263.
Comparing Boolean and Piecewise Affine Differential Models for Genetic Networks.Jean-Luc Gouzé - 2010 - Acta Biotheoretica 58 (2-3):217-232.

Analytics

Added to PP
2014-01-26

Downloads
37 (#399,294)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dana Scott
Carnegie Mellon University

Citations of this work

Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.

Add more citations

References found in this work

No references found.

Add more references