Prev: ewww
Next: The fundamental problem with Godels theorems- why the first and second theorems end in paradox
From: Rupert on 29 May 2010 03:41
I think I might have asked this before.

In his article "The Continuum Hypothesis, Part I" Hugh Woodin writes

"In 1978 Martin succeeded in proving the determinacy of all boldface
Sigma^1_2 sets using essentially the strongest large-cardinal
hypothesis known at the time. Finally in 1983 I proved the determinacy
of all projective sets using large cardinal axioms in a natural
hierarchy which begins with the large cardinal axiom Martin used to
establish the determinacy of all boldface Sigma^1_2 sets."

http://www.ams.org/notices/200106/fea-woodin.pdf

I am interested in finding out more about what this "natural
hierarchy" was. If anyone could direct me to the original papers that
would be great.
 | 
Pages: 1
Prev: ewww
Next: The fundamental problem with Godels theorems- why the first and second theorems end in paradox