Implementation of mathematics in set theory: Difference between revisions

Revision as of 21:49, 21 December 2005

Revision as of 21:50, 21 December 2005

Line 368:

is a transitive set A such that the restriction of membership to A is a strict well-ordering.

This is quite a strong condition in the [[NFU]] context, since the membership relation involves

a difference of type. A von Neumann ordinal A is not an ordinal in the sense of [[NFU]], but <math>\in\lceil A</math> belongs to an ordinal <math>\alpha</math> which may be termed

but <math>\in\lceil A</math> belongs to an ordinal <math>\alpha</math> which may be termed

the order type of (membership on) A.