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