Publication:4081223

From MaRDI portal


zbMath0319.02033MaRDI QIDQ4081223

Stephen G. Simpson

Publication date: 1974



03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03E55: Large cardinals

03D30: Other degrees and reducibilities in computability and recursion theory

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03D65: Higher-type and set recursion theory

03D55: Hierarchies of computability and definability


Related Items