THE DEFINABILITY OF CARDINAL NUMBERS.

Abstract

Cardinal numbers are known to be definable in set theory with the axiom of choice or with the axiom of foundation. In the absence of these two axioms the notion of a cardinal number is shown to be undefinable in ZF, in several strong senses. The proofs use models of the Fraenkel-Mostowski type.

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1967
Accession Number
AD0653298

Entities

People

  • Azriel Levy

Organizations

  • Hebrew University of Jerusalem

Tags

DTIC Thesaurus Topics

  • Set Theory

Readers

  • Mathematical Modeling and Probability Theory.