Skip to main content

2004 | OriginalPaper | Buchkapitel

Other nonstandard theories

verfasst von : Vladimir Kanovei, Michael Reeken

Erschienen in: Nonstandard Analysis, Axiomatically

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Metadaten
Titel
Other nonstandard theories
verfasst von
Vladimir Kanovei
Michael Reeken
Copyright-Jahr
2004
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-08998-9_9