Advertisement

Forcing extensions of the nonstandard universe

  • Vladimir Kanovei
  • Michael Reeken
Chapter
  • 491 Downloads
Part of the Springer Monographs in Mathematics book series (SMM)

Abstract

Recall that the class L[I] of sets constructible from internal sets was employed in Chapter 5 to obtain some consistency theorems. For instance Theorem 5.5.8 implies that it is consistent with HST that I-infinite internal sets of different I-cardinalities are necessarily non-equinumerous. It would be in the spirit of mathematical foundations to ask whether the negation of this sentence, that is the existence of equinumerous I-infinite internal sets of different I-cardinalities, is also consistent.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Vladimir Kanovei
    • 1
  • Michael Reeken
    • 2
  1. 1.IITP, Institute for Information TransmissionMoscowRussian Federation
  2. 2.Bergische Universität WuppertalFB C MathematikWuppertalGermany

Personalised recommendations