Fine hierarchy and definable index sets
- 1 November 1991
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 30 (6) , 463-475
- https://doi.org/10.1007/bf02018741
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Refined hierarchy of formulasAlgebra and Logic, 1991
- Index sets of classes of hyper-hypersimple setsAlgebra and Logic, 1990
- Application of precomplete enumerations to tabular-type degrees and index setsAlgebra and Logic, 1989
- Index sets of quotient objects of the post numerationAlgebra and Logic, 1988
- Hierearchies of hyperarithmetical sets and functionsAlgebra and Logic, 1983
- The Boolean algebra of logicBulletin of the American Mathematical Society, 1975
- Recursively enumerable many-one degreesAlgebra and Logic, 1972