Adequate Pointclass
Get Adequate Pointclass essential facts below. View Videos or join the Adequate Pointclass discussion. Add Adequate Pointclass to your PopFlock.com topic list for future reference or share this resource on social media.
Adequate Pointclass

In the mathematical field of descriptive set theory, a pointclass can be called adequate if it contains all recursive pointsets and is closed under recursive substitution, bounded universal and existential quantification and preimages by recursive functions.[1][2]

References

  1. ^ Moschovakis, Y. N. (1987), Descriptive Set Theory, Studies in Logic and the Foundations of Mathematics, Elsevier, p. 158, ISBN 9780080963198.
  2. ^ Gabbay, Dov M.; Kanamori, Akihiro; Woods, John (2012), Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, 6, Elsevier, p. 465, ISBN 9780080930664.



  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Adequate_pointclass
 



 



 
Music Scenes