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

David,
That theorem assures a countable model. Where does transitive comes
from?.
If you can help i have the expensive Barwise yellow back. I will
reread ...

Mahesh Naik


David C. Ullrich wrote:
> On 26 Apr 2005 00:47:22 -0700, shunya@xxxxxxxx (Mahesh Naik) wrote:
>
> >Is there any model for cohens set theory which dislikes the
continuum
> >problem but is not countable.?
> > I have searched and read ..
>
> Have you come across the Lowenheim-Skolem theorem in your searching
> and reading?
>
> >but all of them require a CTM to start
> >with ..which seems to be solution in a distorted ellipse.
> > Is it a conspiracy of the logicians?
> >
> > Mahesh Naik
>
>
> ************************
>
> David C. Ullrich

.