I'll show you a new, simple, and purely combinatorial proof of the following result, which is originally due to Steel (1993): Let the real x be a solution to the \(Pi^1_2\) property \(Phi(-)\), and suppose that x^dagger exists; suppose further that there's no inner model with a Woodin cardinal. There is then a lightface mouse which contains a solution to \(Phi(-)\).
A combinatorial proof of \Sigma^1_3 correctness of K
10.01.2002 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25