3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.LO2025
Internal Effectful Forcing in System T
Martin H. Escardo, Bruno da Rocha Paiva, Vincent Rahli +1
The effectful forcing technique allows one to show that the denotation of a closed System T term of type in the set-theoretical model is a continuous function $(\m…
math.AG2020
The Cantor-Schröder-Bernstein Theorem for -groupoids
Martín Hötzel Escardó
We show that the Cantor-Schröder-Bernstein Theorem for homotopy types, or -groupoids holds in the following form: For any two types, if each one is embedded into the other,…
math.GN2020★ 3 cited
Intersections of compactly many open sets are open
Martín Hötzel Escardó
By definition, the intersection of finitely many open sets of any topological space is open. Nachbin observed that, more generally, the intersection of compactly many open sets is…