MATHEMATICS IN A NONSTANDARD WORLD II

 KANOVEI Vladimir
 Moscow Transport Engineering Institute

 REEKEN Michael
 Bergische Universitat
Search this Article
Author(s)

 KANOVEI Vladimir
 Moscow Transport Engineering Institute

 REEKEN Michael
 Bergische Universitat
Journal

 Math. Japonica

Math. Japonica 45(3), 555571, 19970501
References: 49

1
 Foundational aspects of "non" standard mathematics

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

2
 <no title>

VAN DEN BERG I.
Nonstandard asymptoic analysis, Lecture Notes in Mathematics 1294, 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
 Comparison of tne 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 Mathematics(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
 The strength of the isomorphisim property

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

13
 <no title>

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

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

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

15
 Nonstandard analysis by axiomatic methods

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

16
 The hyperreal line

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

17
 <no title>

KOUDJETI F.
Elements of external calculs with an application to Mathmatical Finance, Theses on Systems, Organizations, and Managements, 1995
Cited by (1)

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

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

19
 <no title>

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

20
 <no title>

LI Ming
An introduction to Kolmogorov complexitu and its applications, 1993
Cited by (1)

21
 An Invitation to Nonstandard Analysis

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

22
 <no title>

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

23
 Internal set theory; a new approach to nonstandard analysis

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

24
 Thorie relative des ensembles internes

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

25
 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)

26
 On external constructions in Internal Set Theory

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

27
 Unramified forcing

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

28
 <no title>

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

29
 <no title>

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

30
 Standard Foundations for Nonstandard Analysis

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

31
 Extended use of IST

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

32
 Nonstandard Set Theory

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

33
 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)

34
 On the strength of nonstandard analysis

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

35
 Nonstandard Set Theory

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

36
 The isomorphism property versus special model axiom

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

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)