1 paper · 1 filter
Laura Fontanella, Richard Matthews
We present tools for analysing ordinals in realizability models of classical set theory built using Krivine's technique for realizability. This method uses a conservative extension…