[FOM] question about the complexity of a sentence
arisbe1914 at yahoo.com
Mon Jun 21 13:46:44 EDT 2010
Have you tried...
--- On Sun, 6/20/10, Rupert McCallum <Rupert.McCallum at acu.edu.au> wrote:
> From: Rupert McCallum <Rupert.McCallum at acu.edu.au>
> Subject: [FOM] question about the complexity of a sentence
> To: "fom at cs.nyu.edu" <fom at cs.nyu.edu>
> Date: Sunday, June 20, 2010, 8:39 PM
> In his thesis "The Search for New
> Axioms" Peter Koellner asserts that the following statement
> SPHERE. One cannot take a sphere apart into finitely many
> boldface Sigma^1_2 pieces, and rearrange them using rigid
> motons to form a sphere twice the size of the original
> is a Sigma^1_3 sentence. I am having trouble seeing this.
> Can anyone explain to me why it is so?
> Dr Rupert McCallum
> Lecturer in Mathematics
> (02) 9701 4050
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM