Effective Descriptive Set Theory
The area of effective descriptive set theory combines the methods of descriptive set theory with those of generalized recursion theory (especially hyperarithmetical theory). In particular, it focuses on lightface analogues of hierarchies of classical descriptive set theory. Thus the hyperarithmetic hierarchy is studied instead of the Borel hierarchy, and the analytical hierarchy instead of the projective hierarchy. This research is related to weaker version of set theory such as Kripke-Platek set theory and second-order arithmetic.
Read more about this topic: Descriptive Set Theory
Famous quotes containing the words effective, set and/or theory:
“The message you give your children when you discipline with love is “I care too much about you to let you misbehave. I care enough about you that I’m willing to spend time and effort to help you learn what is appropriate.” All children need the security and stability of food, shelter, love, and protection, but unless they also receive effective and appropriate discipline, they won’t feel secure.”
—Stephanie Marston (20th century)
“The spiral is a spiritualized circle. In the spiral form, the circle, uncoiled, unwound, has ceased to be vicious; it has been set free.”
—Vladimir Nabokov (1899–1977)
“The struggle for existence holds as much in the intellectual as in the physical world. A theory is a species of thinking, and its right to exist is coextensive with its power of resisting extinction by its rivals.”
—Thomas Henry Huxley (1825–95)