[FOM] CH and platonism

Paul Blain Levy P.B.Levy at cs.bham.ac.uk
Sat Oct 29 19:24:46 EDT 2016


> Date: Sat, 29 Oct 2016 07:52:58 +0300
> From: aa at tau.ac.il (Arnon Avron)
> To: Foundations of Mathematics <fom at cs.nyu.edu>
> Cc: Arnon Avron <aa at tau.ac.il>
> Subject: [FOM] CH and platonism
> Message-ID: <20161029045257.GA31145 at localhost.localdomain>
> Content-Type: text/plain; charset=us-ascii
> 
> Already the identity of PN is not absolute

Spoken like a true countabilist  :-)

> , and depends on the identity of the universe of sets

Why?

> , to say nothing
> about PPN. So although formally there is a difference between
> third-degree platonism and stronger forms of platonism,
> I do not see the essential big difference.
> 
>    An informative question: do smallists (to adopt your name)
> stop at PPN,

No.

Cheers,
Paul



More information about the FOM mailing list