The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Ordinals describable by a finite string of symbols
Replies: 3   Last Post: Jul 11, 2013 8:42 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Aatu Koskensilta

Posts: 2,639
Registered: 6/28/08
Re: Ordinals describable by a finite string of symbols
Posted: Jul 10, 2013 7:40 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

fom <> writes:

> What is expressed by both, however, is that the universe of discourse
> must be expressed by a set -- an object of the theory.

What is expressed by the axioms M and SM is that there exists a set
with certain properties. Neither says anything whatever about the
universe of discourse or how it must be expressed. In any case, for
(relative) consistency and independence results by forcing, the use of M
and SM is always eliminable, as Cohen himsels explains in _Set Theory
and the Continuum Hypothesis_. (G. H. Moore, in /The Origins of
Forcing/, reports Moschovakis in a letter urged Cohen to do away with
the "ridiculous assumption", that there exists a standard model of set

Aatu Koskensilta (

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.