That sounds like it would only work for countable sets.
Is the single large ordinal which must be well-ordered uncountable? I had figured that simply unbounded was good enough for this application.
That sounds like it would only work for countable sets.
Is the single large ordinal which must be well-ordered uncountable? I had figured that simply unbounded was good enough for this application.