[FOM] independence of RVM/attribution
joeshipman at aol.com
Sun Feb 12 19:42:45 EST 2006
I didn't exactly misattribute the unprovability of RVM to Solovay. I
was aware it was previously known to be unprovable, what I meant to say
was that Solovay showed how powerful RVM could be. (What I actually
said was that Solovay showed that RVM was "more powerful", when what I
meant was "MUCH more powerful").
Friedman is correct that the unprovability of RVM was known in the
30's, but it's a bit misleading say it was known "soon after Godel's
Second Incompleteness Theorem". Godel's Second Incompleteness Theorem
immediately gives the unprovability of the existence (or even
consistency) of STRONG inaccessibles, but to get the unprovability of
the existence of WEAK inaccessibles you need Godel's later work on
Constructible sets and the consistency of GCH.
From: Harvey Friedman <friedman at math.ohio-state.edu>
To: fom <fom at cs.nyu.edu>
Sent: Sun, 12 Feb 2006 11:46:52 -0500
Subject: [FOM] independence of RVM/attribution
misattributed the unprovability of RVM (existence of a real valued
measurable cardinal) in ZFC to Solovay. In my response to him, I didn't
clarify this properly.
It is a result of Ulam that every RVM is weakly inaccessible, in 1930.
It was known soon after Godel's second incompleteness theorem that the
existence of a weakly inaccessible cardinal is not provable in ZFC
ZFC is consistent).
Solovay showed that the systems ZFC + RVM and ZFC + MC (measurable
are mutually interpretable. See
R.M. Solovay, Real-Valued Measurable Cardinals, in Axiomatic Set
Dana Scott, Proceedings of Symposia in Pure Mathematics vol. 13, part 1,
American Mathematical Society, 1971.
FOM mailing list
FOM at cs.nyu.edu
More information about the FOM