Researcher profile

Martı́n Hötzel Escardó

2 papers in the PaperMetrix corpus

Publications

Papers by this author

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

2023 · arXiv (Cornell University)

The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.
Continuous and algebraic domains in univalent foundations

2025 · Journal of Pure and Applied Algebra

We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do …