A note on derivatives, expansions and ${\Pi }_1^1$-ranks

Udayan B. Darji, Felipe García-Ramos

${\Pi }_1^1$-ranks are a natural tool for studying coanalytic sets in descriptive set theory. In the book "Classical descriptive set theory", Kechris provided a technique to build $Π_1^…