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.