LMUexcellent-Project: Constructive and Predicative Measure Theory (CPMT)
Researchers within CPMT
- Principal investigator: Dr. Iosif Petrakis
- Collaborators: Dr. Kenji Miyamoto (15.11.2020-31.08.2021) and Dr. Daniel Wessel (15.10.2021-31.12.202)
- External collaborator: Max Zeuner
Related Publications
- I. Petrakis: Chu representations of categories related to constructive mathematics, arXiv:2106.01878v1, 2021.
- Luis Gambarte: Chu categories, Mathematics Institute LMU, 2021.
- Anne Michaelis: Categorical aspects of complemented subsets, Mathematics Institute LMU, 2021.
- I. Petrakis: Families of Sets in Bishop Set Theory, Habilitation Thesis LMU, 2020
- I. Petrakis: Functions of Baire class one over a Bishop topology, in M. Anselmo et al. (Eds.) Beyond the Horizon of Computability, CiE 2020, Springer, Lecture Notes in Computer Science 12098, 215-227, 2020.
- M. Zeuner: Families of sets in constructive measure theory Master's Thesis, Mathematics Institute LMU, 2019.
- I. Petrakis: Borel and Baire sets in Bishop Spaces, in F. Manea et. al. (Eds): Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019,
LNCS 11558, Springer, 2019, 240-252
Related work in preparation
- I. Petrakis M. Zeuner: Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory, to be submitted, 2021.
- I. Petrakis: From Daniell spaces to the integration spaces of Bishop and Cheng, to be submitted, 2021.
- F. Grubmüller, I. Petrakis: Constructive and predicative integration theory of locally compact metric spaces, in preparation, 2021
- I. Petrakis: Integration theory of Bishop spaces, in preparation, 2021.
Last modified: 11.11.2021