Theses
Habilitation Thesis
- Families of Sets in Bishop Set Theory, Mathematics Institute of LMU, x, 246 p. 2020. Available also here (without the chapter on proof-relevance in BISH):
- Families of Sets in Bishop Set Theory, arXiv:2109.04183v1, 2021.
PhD Thesis
- Constructive Topology of Bishop Spaces München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.). xvi, 203 p. (2015).
- Preliminary review in zbMATH
Master's Thesis
- Brouwer's Fan Theorem, Department of Mathematics, Aristotle University of Thessaloniki, 2010.
Back to my webpage
Last modified: 10.09.2021