Project

Nonstandard analysis in special models

Code
01D29818
Duration
01 October 2018 → 30 September 2020
Funding
Regional and community funding: Special Research Fund
Research disciplines
  • Natural sciences
    • Analysis
    • History and foundations
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.