Examples
- The set of all natural numbers which are indices of computable ordinals is a set which is not .
- The set of elements of Cantor space which are the characteristic functions of well orderings of is a set which is not . In fact, this set is not for any element of Baire space.
- If the axiom of constructibility holds then there is a subset of the product of the Baire space with itself which is and is the graph of a well ordering of Baire space. If the axiom holds then there is also a well ordering of Cantor space.
Read more about this topic: Analytical Hierarchy
Famous quotes containing the word examples:
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)