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.
| This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. |
Famous quotes containing the word adequate:
“I exulted like “a pagan suckled in a creed” that had never been worn at all, but was brand-new, and adequate to the occasion. I let science slide, and rejoiced in that light as if it had been a fellow creature. I saw that it was excellent, and was very glad to know that it was so cheap. A scientific explanation, as it is called, would have been altogether out of place there. That is for pale daylight.”
—Henry David Thoreau (1817–1862)