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:
“Watteau is no less an artist for having painted a fascia board while Sainsbury’s is no less effective a business for producing advertisements which entertain and educate instead of condescending and exploiting.”
—Stephen Bayley (b. 1951)
“Is it enough
That the dish of milk is set out at night,
That we think of him sometimes,
Sometimes and always, with mixed feelings?”
—John Ashbery (b. 1927)
“Many people have an oversimplified picture of bonding that could be called the “epoxy” theory of relationships...if you don’t get properly “glued” to your babies at exactly the right time, which only occurs very soon after birth, then you will have missed your chance.”
—Pamela Patrick Novotny (20th century)