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:
“Basically, I have no place in organized politics. By coming to the British Parliament, I’ve allowed the people to sacrifice me at the top and let go the more effective job I should be doing at the bottom.”
—Bernadette Devlin (b. 1947)
“It is a great mistake to suppose that clever, imaginative children ... should content themselves with the empty nonsense which is so often set before them under the name of Children’s Tales. They want something much better; and it is surprising how much they see and appreciate which escapes a good, honest, well- informed papa.”
—E.T.A.W. (Ernst Theodor Amadeus Wilhelm)
“The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.””
—George Bernard Shaw (1856–1950)