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