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 general fact is that the most effective way of utilizing human energy is through an organized rivalry, which by specialization and social control is, at the same time, organized co-operation.”
—Charles Horton Cooley (1864–1929)
“I set forth notions that are human and my own, simply as human notions considered in themselves, not as determined and decreed by heavenly ordinance.”
—Michel de Montaigne (1533–1592)
“No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
—André Gide (1869–1951)