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 ]

Posts: 1,968
Registered: 12/4/12
Re: Ordinals describable by a finite string of symbols
Posted: Jul 11, 2013 8:42 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 7/10/2013 6:40 AM, Aatu Koskensilta wrote:
> 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
> theory!)

Thank you for a very correct statement.

I looked up the remark in Cohen's book.

The paragraph in question begins as

"If one does not care about the construction
of actual models, ..."

I am less interested in relative consistency
and independence results than I am in the
model theory of set theory. That is probably
clear from my other reply. But, I had been
somewhat rushed.

The "eliminability" of which you speak is
precisely associated with relative consistency
and independence results. Your remark is
clear and exact. I just missed it yesterday.

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.