Fine Hierarchies and Boolean Terms
Selivanov, V. L.
J. Symbolic Logic, Tome 60 (1995) no. 1, p. 289-317 / Harvested from Project Euclid
We consider fine hierarchies in recursion theory, descriptive set theory, logic and complexity theory. The main results state that the sets of values of different Boolean terms coincide with the levels of suitable fine hierarchies. This gives new short descriptions of these hierarchies and shows that collections of sets of values of Boolean terms are almost well ordered by inclusion. For the sake of completeness we mention also some earlier results demonstrating the usefulness of fine hierarchies.
Publié le : 1995-03-14
Classification: 
@article{1183744691,
     author = {Selivanov, V. L.},
     title = {Fine Hierarchies and Boolean Terms},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 289-317},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744691}
}
Selivanov, V. L. Fine Hierarchies and Boolean Terms. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  289-317. http://gdmltest.u-ga.fr/item/1183744691/