collaborators

1 paper

math.LO2025

Realizing the totally unordered structure of ordinals

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…