“On the plausibility of nonstandard proofs in analysis”

E. J. Farkas & M. E. Szabo

Dialectica 38 (4):297-310 (1984) 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

Author's Profile

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.1111/j.1746-8361.1984.tb00843.x

Links

PhilArchive

Upload a copy of this work Papers currently archived: 92,440

External links

From the Publisher via CrossRef (no proxy)

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 combinatorics.Joram Hirshfeld - 1988 - Studia Logica 47 (3):221 - 232.

An axiomatic presentation of the nonstandard methods in mathematics.Mauro Di Nasso - 2002 - Journal of Symbolic Logic 67 (1):315-325.

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

Weak theories of nonstandard arithmetic and analysis.Jeremy Avigad - manuscript

Developments in constructive nonstandard analysis.Erik Palmgren - 1998 - Bulletin of Symbolic Logic 4 (3):233-272.

Nonstandard analysis and constructivism?Frank Wattenberg - 1988 - Studia Logica 47 (3):303 - 309.

Applications of nonstandard analysis in additive number theory.Renling Jin - 2000 - Bulletin of Symbolic Logic 6 (3):331-341.

A set of axioms for nonstandard extensions.Abhijit Dasgupta - 2011 - Mathematical Logic Quarterly 57 (5):485-493.

Second-order non-nonstandard analysis.J. M. Henle - 2003 - Studia Logica 74 (3):399 - 426.

Erna and Friedman's reverse mathematics.Sam Sanders - 2011 - Journal of Symbolic Logic 76 (2):637 - 664.

Nonstandard natural number systems and nonstandard models.Shizuo Kamo - 1981 - Journal of Symbolic Logic 46 (2):365-376.

Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.

Saturation and Σ₂-transfer for ERNA.Chris Impens - 2009 - Journal of Symbolic Logic 74 (3):901-913.

Analytics

Added to PP
2013-11-21

Downloads
13 (#1,043,068)

6 months
2 (#1,206,727)

Historical graph of downloads

How can I increase my downloads?

Author's Profile

Citations of this work

Nonstandard methods in combinatorics and theoretical computer science.M. M. Richter & M. E. Szabo - 1988 - Studia Logica 47 (3):181 - 191.

Add more citations

References found in this work

Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.

General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.

Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..

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

Introductory Real Analysis.Marshall Evans Munroe - 1965 - Reading, MA, USA: Addison-Wesley Pub. Co.

Add more references