MATHEMATICS IN A NONSTANDARD WORLD I

 KANOVEI Vladimir
 MOSCOW TRANSPORT ENGINEERING INSTITUTE

 REEKEN Michael
 BERGISCHE UNIVERSITAT  GHS WUPPERTAL
Search this Article
Author(s)

 KANOVEI Vladimir
 MOSCOW TRANSPORT ENGINEERING INSTITUTE

 REEKEN Michael
 BERGISCHE UNIVERSITAT  GHS WUPPERTAL
Journal

 Math. Japonica

Math. Japonica 45(2), 369408, 19970301
References: 49

1
 Foundational aspects of "non" standard mathematics

BALLARD D.
Contemporary Math. 176, 1994
Cited by (2)

2
 Nonstandard asymptotic analysis

van den BERG I.
Lecture Notes in Mathematics 1249, 1987
Cited by (1)

3
 <no title>

CHANG C. C.
Model Theory, 1990
Cited by (6)

4
 A question of Borel hyperdeterminacy

CUTLAND N.
Z. Math. L. Grundl. Math. 30, 313316, 1984
Cited by (2)

5
 <no title>

DIENER F.
Analyse non standard, 1989
Cited by (4)

6
 Comparision of the axioms of local and universal choice

FELGNER U.
Fund. Math. 71, 4362, 1971
Cited by (1)

7
 Relatively standard elements in the theory of internal sets of E.Nelson

GORDON E.
Siberian Math. J. 30, 8995, 1989
Cited by (2)

8
 On Loeb measures

GORDON E.
Russian Mthematics (Izu. VUS) 2, 2533, 1991
Cited by (1)

9
 Strong counterexamples to Borel hyperdeterminacy

HENSON C. W.
Arch. Math. Log. 31, 215220, 1992
Cited by (2)

10
 Axiomatic foundations for nonstandard analysis

HRBACEK K.
Fundamenta Mathematicae 98, 119, 1978
Cited by (2)

11
 <no title>

JECH T.
Set Theory, 1978
Cited by (7)

12
 <no title>

KANOVEI V.
A course on foundations of nonstandard analysis, 1994
Cited by (1)

13
 Loeb measure from the point of view of coin flipping game

KANOVEI V.
Math. Logic Quarterly 42(1), 1926, 1996
Cited by (2)

14
 Nonstandard analysis by axiomatic methods

KAWAI T.
Southeast Asia Conference on Logic, Singapore 1981, 5576, 1983
Cited by (1)

15
 The hyperreal line

KEISLER H. J.
Real numbers, generalizaions of reals, and theories of continua, 207237, 1994
Cited by (1)

16
 Elements of external calculus with an application to Mathematical Finance

KOUDJETI F.
Theses on Systems, Organizations, and Management, 1995
Cited by (1)

17
 Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical standard analysis

KREISEL G.
Applications of model theory to algebra, analysis and probability, 93106, 1969
Cited by (1)

18
 <no title>

KUNEN K.
Set theory, an introduction to independence proofs, 1980
Cited by (5)

19
 <no title>

MING LI P.
An introduction to Kolmogorov complexity and its applications, 1993
Cited by (1)

20
 An Invitation to Nonstandard Analysis

LINDSTROM T.
Nonstandard analysis and its applications, 1105, 1988
Cited by (3)

21
 <no title>

LUXEMBURG W. A. J.
Nonstandard analysis, lecture notes, 1962
Cited by (2)

22
 Intenal set theory; a new approach to nonstandard analysis

NELSON E.
Bull. Amer. Math. Soc. 83, 11651198, 1977
Cited by (1)

23
 Theorie Relative des Ensembles Internes

PERAIRE Y.
Osaka J. Math. 29, 267297, 1992
Cited by (2)

24
 Some Extensions of the Principles of Idealization Transfer and Choice in the Relative Internal Set Theory

PERAIRE Y.
Arch. Math. Logic. 34, 269277, 1995
Cited by (3)

25
 On external constructions in Internal Set Theory

REEKEN M.
Expositiones Math. 10, 193247, 1992
Cited by (1)

26
 Unramified forcing

SHOENFIELD J. R.
Proc. Symp. Pure Math. 13, 357380, 1971
Cited by (2)

27
 <no title>

STROYAN K. D.
Foundations of infinitesimal stochastic analysis, 1986
Cited by (2)

28
 <no title>

USPENSKY V.
Algorithms: Main Ideas and Applications, 1993
Cited by (2)

29
 Standard Foundations for Nonstandard Analysis

BALLARD D.
J. Symb. Logic 57, 471478, 1992
DOI Cited by (4)

30
 Extended use of IST

van den BERG I.
Ann. Pure Appl. Logic 58, 7392, 1992
DOI Cited by (2)

31
 Nonstandard Set Theory

FLETCHER P.
J. Symb. Logic 54, 10001008, 1989
DOI Cited by (3)

32
 The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces

HENSON C. W.
J. Symbolic logic 39, 717731, 1974
DOI Cited by (2)

33
 On the strength of nonstandard analysis

HENSON C. W.
J. Symbolic Logic 51, 377386, 1986
DOI Cited by (3)

34
 Nonstandard Set Theory

HRBACEK K.
Amer. Math. Monthly 86, 659677, 1979
DOI Cited by (3)

35
 The isomorphism property versus special model axiom

JIN R.
J. Symbolic logic 57, 975978, 1992
DOI Cited by (2)

36
 The strength of the isomorphism property

JIN R.
J. Symbolic Logic 59, 292301, 1994
DOI Cited by (1)

37
 Undecidable Hypotheses in Edward Nelson's Internal Set Theory

KANOVEI V.
Russian Math. Surveys 46(6), 154, 1991
DOI Cited by (3)

38
 Collection, and external collapse of cardinals in IST and models of Peano arithmetic

KANOVEI V.
J. Symbolic logic 60(1), 318324, 1995
DOI Cited by (2)

39
 Internal Approach to External Sets and Universes

KANOVEI V.
Studia Logica part I : 55, part II : 55, part III : 56, 227235,347376,293322, 1995
DOI Cited by (3)

40
 Internal approach to external sets and universes, Part 2, External universes over the universe of bounded set theory

KANOVEI V.
Studio logica 55(3), 347376, 1995
DOI Cited by (2)

41
 Internal approach to external sets and universes, Part 3, Partially saturated universes

KANOVEI V.
Studio logica 56(3), 293322, 1996
DOI Cited by (2)

42
 Descriptive set theory over hyperfinite sets

KEISLER H. J.
J. Symbolic logic 54, 11671180, 1989
DOI Cited by (2)

43
 Making the hyperreal kine both saturated and complete

KEISLER H. J.
J. Symbolic logic 56, 10161025, 1991
DOI Cited by (2)

44
 Independence, randomness, nad the axiom of choice

VAN LAMBALGEN M.
J. Symbolic logic 57, 12741304, 1992
DOI Cited by (3)

45
 What is nonstandard analysis?

LUXEMBURG W. A. J.
Amer. Math. Monthly 80(Supplement), 3867, 1973
DOI Cited by (2)

46
 The Syntax of Nonstandard Analysis

NELSON E.
Ann. Pure Appl. Logic 38, 123134, 1988
DOI Cited by (3)

47
 The special model axiom in nonstandard analysis

ROSS D.
J. Symbolic logic 55, 12331242, 1990
DOI Cited by (2)

48
 The isomorphism property for nonstandard universes

SCHMERL J. H.
J. Symbolic logic 60, 512516, 1995
DOI Cited by (2)

49
 A model of set theory in which every set of real is Lebesgue measurable

SOLOVAY R. M.
Annals of Mathematics 92, 156, 1970
DOI Cited by (4)
Cited by: 1

1
 DEVELOPMENT IN NONSTANDARD SET THEORETIC ANALYSIS

KANOVEI VLADIMIR , REEKEN MICHAEL
Scientiae Mathematicae japonicae 68(1), 141176, 20080701
References (40)