Undecidable hypotheses in Edward Nelson's internal set theory

CONTENTS Preface § 1. Introduction. Hypotheses and results § 2. Basic internal set theory § 3. External quantifiers limitation theorem § 4. Consistency § 5. Bounded set theory § 6. The hierarchy theorem § 7. Truth definability § 8. Full collection § 9. Independence § 10. Final comments. Externalization as a general way to new problems References

[1]  Karel Hrbacek,et al.  Axiomatic foundations for Nonstandard Analysis , 1978 .

[2]  A. Zvonkin,et al.  Non-standard analysis and singular perturbations of ordinary differential equations , 1984 .

[3]  Edward Nelson.  The syntax of nonstandard analysis , 1988, Ann. Pure Appl. Log..

[4]  The correctness of Euler's method for the factorization of the sine function into an infinite product , 1988 .

[5]  Martin Davis,et al.  Applied Nonstandard Analysis , 1977 .

[6]  H. Jerome Keisler,et al.  On the strength of nonstandard analysis , 1986, Journal of Symbolic Logic.

[7]  O. Oleinik,et al.  Boundary-value problems for the system of elasticity theory in unbounded domains. Korn's inequalities , 1988 .

[8]  David Ross,et al.  The special model axiom in nonstandard analysis , 1990, Journal of Symbolic Logic.

[9]  Arnold W. Miller.  Set Theoretic Properties of Loeb Measure , 1990, J. Symb. Log..

[10]  Edward Nelson.  Internal set theory: A new approach to nonstandard analysis , 1977 .

[11]  S. Albeverio.  Nonstandard Methods in Stochastic Analysis and Mathematical Physics , 1986 .

[12]  Ramon Jansana,et al.  On the Mathematical Content of the Theory of Classes KM , 1989, Math. Log. Q..

[13]  Karel Hrbacek.  Nonstandard Set Theory , 1979 .

[14]  Toru Kawai.  Axiom systems of nonstandard set theory , 1981 .

[15]  Toru Kawai,et al.  Nonstandard Analysis by Axiomatic Method , 1983 .

[16]  A. Robinson.  Introduction to model theory and to the metamathematics of algebra , 1964 .

[17]  Nonstandard Asymptotic Analysis , 1987 .

[18]  E. I. Gordon,et al.  Relatively standard elements in Nelson's internal set theory , 1989 .

[19]  V. A. Lyubetskii.  Valuations and sheaves. On some questions of non-standard analysis , 1989 .

[20]  Thomas Jech,et al.  Lectures in set theory,: With particular emphasis on the method of forcing , 1971 .

[21]  Ton Lindstrøm.  Nonstandard Analysis and its Applications: AN INVITATION TO NONSTANDARD ANALYSIS , 1988 .