< 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