Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T

03/16/2023
by   Martín Escardó, et al.
0

The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset