Enerzijds vereist topologie in ruimten die niet aftelbaar van de eerste soort zijn een verzadigde versie van niet-standaard analyse. Maar anderzijds vereisen sommige topologische eigenschappen waarvan de definitie een aftelbaar aantal verzamelingen vernoemt een andere versie van nietstandaard analyse.
Het voorgestelde project heeft tot doel een theorie te ontwikkelen waarin beide gecombineerd worden.