Abstract by
Linda Lawton
A Survey of Structural Results Concerning P01-classes.
P01-classes are effectively closed sets of functions, and they appear quite often in computability theory. However, the lattice of P01-classes has not been studied as extensively as the lattice of computably enumerable sets. We will survey some of the recent work on the lattice of P01 classes and compare the results to work on the lattice of c.e. sets.
Tuesday, November 9, 1999, 1:00 p.m.  - 345 Altgeld Hall
LOGIC SEMINAR

Go Back