×

Recursivity and capacity theory. (English) Zbl 0594.03027

Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 285-301 (1985).
[For the entire collection see Zbl 0556.00008.]
The paper presents the main effective results in the theory of capacities (outer approximation of \(\Sigma^ 1_ 1\) sets by \(\Delta^ 1_ 1\) sets and inner approximation of \(\Delta^ 1_ 1\) sets by compact \(\Delta^ 1_ 1)\) with emphasis on the possibilities of constructing in this way \(\Delta^ 1_ 1\) objects.
Reviewer: C.Calude

MSC:

03D80 Applications of computability and recursion theory
28A12 Contents, measures, outer measures, capacities

Citations:

Zbl 0556.00008