[FOM] FOM: Set theory and ordinary language
jeremyraclark at hotmail.com
Sat Dec 28 17:35:54 EST 2002
The answer to your question is 'no'. You could take, for example, the
reverse ordering of
any successor ordinal: this has a first and last element, and since in a
any element has a successor, in the specified ordering, every element will
have a predecessor.
Even if you add condition (e), that every element has a successor, you will
still have examples
like \omega + \omega* (a copy of omega, followed by a copy of omega
reversed). In fact,
no collection of conditions specifiable in first-order sentences will
capture finite linear-orderings,
as a result of the compactness theorem. You need some sort of second-order
(like the usual set-theoretical ones which capture finiteness).
> Consider ordinal descriptions, such as "the first man", "the second man",
> "the third man" and so on, as they are used in ordinary language.
> Suppose we can show that any sequence of such expressions (a) has a linear
> ordering (b) has a first member (c) has a "last" member (d) contains no
> "limit ordinal", ie. contains no ordinal without a direct predecessor.
> Does this then guarantee that the sequence determines a finite set, and
> set which is well-ordered, and thus a set to which for which finite
> induction is automatically valid)?
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM