Code
01D29818
Duration
01 October 2018 → 30 September 2020
Funding
Regional and community funding: Special Research Fund
Promotor
Fellow
Research disciplines
-
Natural sciences
- Abstract harmonic analysis
- History and foundations not elsewhere classified
Keywords
nonstandard analysis
topology
ultrafilters
Baire category
Project description
On the one hand, topology in spaces that are not first countable requires a saturated version of nonstandard analysis. On the other hand, some topological properties whose definition mentions a countable number of sets require a different version of nonstandard analysis.
The current project aims to develop a theory in which both can be combined simultaneously.