Title: Implizit definierte Mengensysteme
Subjects: Topology, Definability theory (Mathematical logic)