34 citations · 50 across the 9 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Compact totally separated types
Martín Hötzel Escardó
Perhaps surprisingly, there are infinite types that can be exhaustively searched mechanically in finite time. We use ideas from topology to build plenty of them, referring to searc…
math.LO2023
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Martin Escardo
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.