Prev: Godels incompleteness theorem proven invalid-illegitamate
Next: How Wide Do All The Possible Computed Digit Sequences Go?
From: Rupert on 20 Jun 2010 23:38
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?
 | 
Pages: 1
Prev: Godels incompleteness theorem proven invalid-illegitamate
Next: How Wide Do All The Possible Computed Digit Sequences Go?