arXiv Papers
- Coinductive well-foundedness, arXiv, 2025.
- The Grothendieck computability model (with L. Gambarte), arXiv:2404.17923, 2024.
- Topologies of open complemented subsets, arXiv:2312.17095v1, 2023.
- Categories with dependent arrows, arXiv:2303.14754v1, 2023.
- Strong negation in the theory of computable functionals TCF, (with N. Köpp) arXiv:2210.05491, 2022.
- The Role of the Fifth Postulate in the Euclidean Construction of Parallels, arXiv:2208.10835, 2022.
- Sets completely separated by functions in Bishop Set Theory, arXiv:2208.07826, 2022.
- Pre-meausre spaces and pre-integration spaces in predicative Bishop-Cheng measure theory, (with M. Zeuner) arXiv:2207.08684, 2022.
- Univalent typoids, arXiv:2205.06651v1, 2022.
- Constructive Combinatorics of Dickson's Lemma, arXiv:2204.11298v1, 2022.
- Families of Sets in Bishop Set Theory, arXiv:2109.04183v1, 2021.
- From the Sigma-type to the Grothendieck construction, arXiv:2109.04239v1, 2021.
- Chu representations of categories related to constructive mathematics, arXiv:2106.01878v1, 2021.
- Computability models over categories, arXiv:2105.06933v1, 2021.
- Closed subsets in Bishop topological groups, arXiv:2103.04718v1, 2021.
- Direct spectra of Bishop spaces and their limits, arXiv:1907.03273v4, published in Logical Methods in Computer Science, 2021.
- McShane-Whitney extensions in constructive analysis, arXiv:1804.06757v5, published in Logical Methods in Computer Science, 2020.
Back to my webpage
Last modified: 22.06.2025