Category:Well-Ordered Class is not Isomorphic to Initial Segment

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Well-Ordered Class is not Isomorphic to Initial Segment:


Let $\struct {A, \preccurlyeq}$ be a well-ordered class.

There exists no order isomorphism from $\struct {A, \preccurlyeq}$ to an initial segment of $A$.

Pages in category "Well-Ordered Class is not Isomorphic to Initial Segment"

The following 2 pages are in this category, out of 2 total.