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:
“Gestures ..., in love, are incomparably more attractive, effective and valuable than words.”
—François Rabelais (1494–1553)
“Who shall set a limit to the influence of a human being? There are men, who, by their sympathetic attractions, carry nations with them, and lead the activity of the human race. And if there be such a tie, that, wherever the mind of man goes, nature will accompany him, perhaps there are men whose magnetisms are of that force to draw material and elemental powers, and, where they appear, immense instrumentalities organize around them.”
—Ralph Waldo Emerson (1803–1882)
“Thus the theory of description matters most.
It is the theory of the word for those
For whom the word is the making of the world,
The buzzing world and lisping firmament.”
—Wallace Stevens (1879–1955)