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