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:
“Before anything else [Numa] decided that he must instill in his subjects the fear of the gods, this being the most effective measure with an ignorant, and at that time uncultured, people.”
—Titus Livius (Livy)
“Then when he saw it could hold no more,
Bishop Hatto, he made fast the door;
And while for mercy on Christ they call,
He set fire to the barn and burnt them all.”
—Robert Southey (1774–1843)
“The theory seems to be that so long as a man is a failure he is one of God’s chillun, but that as soon as he has any luck he owes it to the Devil.”
—H.L. (Henry Lewis)