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:
“A nation fights well in proportion to the amount of men and materials it has. And the other equation is that the individual soldier in that army is a more effective soldier the poorer his standard of living has been in the past.”
—Norman Mailer (b. 1923)
“No annual training or muster of soldiery, no celebration with its scarfs and banners, could import into the town a hundredth part of the annual splendor of our October. We have only to set the trees, or let them stand, and Nature will find the colored drapery,—flags of all her nations, some of whose private signals hardly the botanist can read,—while we walk under the triumphal arches of the elms.”
—Henry David Thoreau (1817–1862)
“There is in him, hidden deep-down, a great instinctive artist, and hence the makings of an aristocrat. In his muddled way, held back by the manacles of his race and time, and his steps made uncertain by a guiding theory which too often eludes his own comprehension, he yet manages to produce works of unquestionable beauty and authority, and to interpret life in a manner that is poignant and illuminating.”
—H.L. (Henry Lewis)