For many classes of constructible objects it is possible to define a notion of meager subclass and a corresponding notion of genericity. A typical element of the class is then generic and automatically satisfies many interesting properties. The relevance of these notions can be measured in two ways that oppose to each other: 1. A Baire Category theorem should hold, i.e., the class should not be meager in itself. Said differently, the notion of genericity should not be too strong. 2. The notion of genericity should be strong enough to capture many useful interesting properties.
展开▼