Re: Cohen model for a > countable model of set theory
- From: David C. Ullrich <ullrich@xxxxxxxxxxxxxxxx>
- Date: Tue, 26 Apr 2005 05:39:46 -0500
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
.
- Follow-Ups:
- References:
- Cohen model for a > countable model of set theory
- From: Mahesh Naik
- Cohen model for a > countable model of set theory
- Prev by Date: Cohen model for a > countable model of set theory
- Next by Date: proof by contradiction in Euclid's elements
- Previous by thread: Cohen model for a > countable model of set theory
- Next by thread: Re: Cohen model for a > countable model of set theory
- Index(es):