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

2023/03/16 by Escardo, Martin
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.2303.11075

Abstract

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

Related

• On what I do not understand (and have something to say), model theory
• Fragments of Frege's Grundgesetze and Gödel's Constructible Universe
• On what I do not understand (and have something to say): Part I
• The Goedel's legacy: revisiting the Logic
• The concept of a set