Advertisement

Other nonstandard theories

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

Abstract

The “Hrbaček paradox” (Theorem 1.3.9) can be viewed as the statement of inconsistency of the conjunction of the four following axioms, over a weak nonstandard theory:
  • Collection;

  • either of the axioms of Choice and Power Set;

  • standard size Saturation;

  • Standardization.

Keywords

Nonstandard Analysis Transitive Model Elementary Embedding Standard Core Inaccessible Cardinal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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