More download options

Standard foundations for nonstandard analysis

David Ballard & Karel Hrbacek

Journal of Symbolic Logic 57 (2):741-748 (1992) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Mathematical Logic in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.2307/2275304

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 96,203

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.

The set theoretical foundations of nonstandard analysis.N. C. K. Phillips - 1973 - Journal of Symbolic Logic 38 (2):189-192.

Contributions to Non-standard Analysis. Edited by W.A.J. Luxemburg, A. Robinson.W. A. J. Luxemburg & Abraham Robinson - 1972 - North-Holland Pub. Co.

Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications.S. Salbany & Todor Todorov - 2000 - Journal of Symbolic Logic 65 (4):1836-1840.

On the standard part of nonstandard models of set theory.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1983 - Journal of Symbolic Logic 48 (1):33-38.

Maitra A. and Ryll-Nardzewski C.. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 , pp. 177–178.Mauldin R. Daniel. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 , pp. 241–244.Hrbacek Karel. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 , pp. 419–425.Hrbacek Karel and Simpson Stephen G.. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Barwise Jon, Keisler H. Jerome, and Kunen Kenneth, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352.Harrington Leo. Analytic determinacy and 0#. [REVIEW]Jacques Stern - 1984 - Journal of Symbolic Logic 49 (2):665-668.

Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory.Peter A. Loeb & Robert M. Anderson - 1975 - Journal of Symbolic Logic 50 (1):243-243.

On the strength of nonstandard analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.

Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.

Analytics

Added to PP
2009-01-28

Downloads
213 (#104,555)

6 months
14 (#337,391)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.

Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):229-257.

Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (3):347-376.

Fragment of nonstandard analysis with a finitary consistency proof.Michal Rössler & Emil Jeřábek - 2007 - Bulletin of Symbolic Logic 13 (1):54-70.

Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.

View all 14 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.

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.

The Liar: An Essay on Truth and Circularity.Vann McGee - 1991 - Philosophical Review 100 (3):472.

Introduction to Set Theory.K. Hrbacek & T. Jech - 2001 - Studia Logica 69 (3):448-449.

Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.

Add more references