Members of countable π10 classes
- 1 January 1986
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 31, 145-163
- https://doi.org/10.1016/0168-0072(86)90067-9
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal coversThe Journal of Symbolic Logic, 1984
- Degrees of types and independent sequencesThe Journal of Symbolic Logic, 1983
- Degrees of members of Π10classesPacific Journal of Mathematics, 1972
- Hyperarithmetical quantifiersFundamenta Mathematicae, 1959