< Back to previous page
Project
Nonstandard analysis in special models
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.
Date:1 Oct 2018 → 30 Sep 2020
Keywords:ultrafilters, Baire category, topology, nonstandard analysis
Disciplines:History and foundations not elsewhere classified, Abstract harmonic analysis