Implementation of mathematics in set theory: Difference between revisions

Revision as of 23:54, 21 December 2005

Revision as of 23:56, 21 December 2005

Line 411:

external endomorphism of the ordinals.

A set A is said to be <strong>cantorian</strong> just in case <strongmath>|A| = |P_1(A)| = T(|A|)</strongmath>; the cardinal <strong>|A|</strong> is also said to be a cantorian cardinal.

A set A is said to be <strong>strongly cantorian</strong> (and its cardinal to be strongly cantorian as well) just in case the restriction of

the singleton map to A (<math>(x \mapsto \{x\})\lceil A</math>)is a set. Well-orderings