Log in

Mon, Apr. 25th, 2005, 07:02 pm

I need some quick help...

I got a presentation on Thursday about how one can use forcing to prove the independence of the continuum hypothesis (the independence from ZFC....)

So, using forcing to prove Con(ZFC) ==> Con(ZFC + ~CH) is pretty easy...


all the proofs I can find of Con(ZFC) ==> Con(ZFC + CH) which use forcing are more complicated than I'd like to get. In fact, all of them I've found are Con(ZFC) ==> Con(ZFC + diamond), which leads to a prove of the consistency of the generalized continuum hypothesis. I don't need a proof of the consistency of GCH, just one of CH, using forcing.

I suppose I could always resort to Godel's method from 1940, it's just that, knowing a method exists using forcing, I'd like to find a way to simplify it.


PS, sorry for those of you who are part of several math communities, don't mean to double/triple/quadruple post...

Tue, Apr. 26th, 2005 03:34 am (UTC)

I'm aware....that was Godel's method of 1940....
(Deleted comment)

Tue, Apr. 26th, 2005 03:59 am (UTC)

P = Fn(I,2,w1).... Fn(Ix2, w1)?

If only I had a copy of Kunen!!

On a side note, how does one do the math characters in LJ? A link will suffice.

I appreciate it.