Introduction to $AD_{R}$
(Abstract)
|
$AD_{R}$
is a generalization of AD and it is much stronger. In my talk I will use Wadge degrees to get a reasonable candidate for inner
models of $AD_{R}$, together with some other
consequences. This work is due to Solovay. |