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:
““More!” is as effective a revolutionary slogan as was ever invented by doctrinaires of discontent. The American, who cannot learn to want what he has, is a permanent revolutionary.”
—Eric Hoffer (1902–1983)
“They say it’s worse to be ugly. I think it must only be different. If you’re pretty, you are subject to one set of assaults; if you’re plain you are subject to another.”
—Alix Kates Shulman (b. 1932)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)