Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
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 TEXTThe 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