Re: Cohen model for a > countable model of set theory

David,
All that i want to know is
starting with cohen , set theorists/logicians?
have to assume a CTM model to start with. The T seems to be a
required arguement for forcing( i have read that) and also for Boolean
valued models(I have not got any decent book till now).
I am just curious to know , if the axiom of choice was such a
disturbing idea , why
the logicians fell over each other in using CTMs just because they
could prove nice
fashionable results using a very interesting novel technique. Forcing
is Cute and so is
modal Logic.
I am looking for readable proofs for the independence of the
Continuum problem
in the Von Neuman class theory from the the other axioms. Countability
excluded.
I have read even fittings book but it says you cant escape the CTM
requirements.
I thought the philosphers have resolved the problem by now and i could
entertain myself.

Mahesh Naik

.