is squeak really object oriented ?
Sean Charles
bibbers at onetel.net.uk
Thu May 29 20:08:08 UTC 2003
On Thursday, May 29, 2003, at 06:52 PM, John W. Sarkela wrote:
> Actually the upward downward Lowenheim-Skolem-Tarski theorem proves that
> any theory (the real numbers) that has a model of any infinite
> cardinality, has models of all infinite cardinality. In this case, it
> implies that if the reals can be satisfied with an uncountable model,
> then a countable model of the reals exists.
> [snip]
> Mathematically yours,
> :-}> John Sarkela
>
John, I want your love child...
More information about the Squeak-dev
mailing list
|