arXiv Open Access 2023

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

Martin Escardo

Lihat Sumber

Abstrak

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

math.LO cs.PL

Martin Escardo

APA MLA BibTeX

Escardo, M. (2023). Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T. https://arxiv.org/abs/2303.11075

Lihat di Sumber

Informasi Jurnal