Re: MGA 3

From: Russell Standish <lists.domain.name.hidden>
Date: Fri, 5 Dec 2008 13:56:50 +1100

On Wed, Dec 03, 2008 at 04:53:11PM +0100, Bruno Marchal wrote:
>
> I really don't know. I expect that the mathematical structure, as seen
> from inside, is so big that Platonia cannot have it neither as element
> nor as subpart. (Ah, well, I am aware that this is counter-intuitive,
> but here mathematical logic can help to see the consistency, and the
> quasi necessity with formal version of comp).
>

This point rather depends on what Platonia contains. If it contains
all sets of cardinality 2^{\aleph_0}, then the inside view of the
deployment will be conatained in it.

I do understand that your concept of Platonia (Arithmetic Realism I
believe you call it) is a Kronecker-like "God made the integers, all
the rest was made by man", and so what you say would be true of that.

Cheers

-- 
----------------------------------------------------------------------------
A/Prof Russell Standish                  Phone 0425 253119 (mobile)
Mathematics                         	 
UNSW SYDNEY 2052         	         hpcoder.domain.name.hidden
Australia                                http://www.hpcoders.com.au
----------------------------------------------------------------------------
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---

Received on Fri Dec 05 2008 - 00:41:30 PST