Abstract
AbstractIn recent years higher recursion theory has experienced a deep interaction with other areas of logic, particularly set theory (fine structure, forcing, and combinatorics) and infinitary model theory. In this paper we wish to illustrate this interaction by surveying the progress that has been made in two areas: the global theory of the κ-degrees and the study of closure ordinals.
Publisher
Cambridge University Press (CUP)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Incomparable Vγ$V_\gamma$‐degrees;Mathematical Logic Quarterly;2023-02
2. References;Fine Structure and Class Forcing;2000-01-31
3. Ordinal Recursion Theory;Handbook of Computability Theory;1999
4. Applications of Fodor's lemma to Vaught's conjecture;Annals of Pure and Applied Logic;1989-03
5. Recursion theory on strongly Σ2 inadmissible ordinals;Lecture Notes in Mathematics;1985