research
∙
01/25/2023
Set-Theoretic and Type-Theoretic Ordinals Coincide
In constructive set theory, an ordinal is a hereditarily transitive set....
share
research
∙
12/28/2021
Sharp Elements and Apartness in Domains
Working constructively, we study continuous directed complete posets (dc...
research
∙
10/31/2021
Size Matters in Univalent Foundations
We investigate predicative aspects of constructive univalent foundations...
research
∙
06/09/2021
Sharp Elements and the Scott Topology of Continuous Dcpos
Working constructively, we study continuous directed complete posets (dc...
research
∙
02/17/2021
Predicative Aspects of Order Theory in Univalent Foundations
We investigate predicative aspects of order theory in constructive univa...
research
∙
08/04/2020
Domain Theory in Constructive and Predicative Univalent Foundations
We develop domain theory in constructive univalent foundations without V...
research
∙
04/30/2019
The Sierpinski Object in the Scott Realizability Topos
We study the Sierpinski Object in the Scott Realizability Topos....
research
∙
04/22/2019
