Some recent developments in higher recursion theory

DOI10.2307/2273455MaRDI QIDQ3342550zbMATH OpenOpenAlexFDO

Authors Sy-David Friedman

Publication date 1983

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273455

zbMATH Keywords

fine structureclosure ordinalshigher recursion theoryinfinitary model theorykappa-degrees

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Logic on admissible sets (03C70)

Recommendations

• Higher recursion theory
• scientific article; zbMATH DE number 1390019
• Large cardinals and higher degree theory
• scientific article; zbMATH DE number 194101
• Recursion theory. Computational aspects of definability

Cites work

• scientific article; zbMATH DE number 3887608 (Why is no real title available?)
• Countable admissible ordinals and hyperdegrees
• Forcing with tagged trees
• Negative solutions to Post's problem. II
• Perfect-set forcing for uncountable cardinals
• Scott sentences and admissible sets
• Some applications of Jensen's coding theorem
• Steel forcing and barwise compactness
• The fine structure of the constructible hierarchy
• Uncountable admissibles. II: Compactness

Cited in

(4)

• Applications of Fodor's lemma to Vaught's conjecture
• Large cardinals and higher degree theory
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• Incomparable Vγ$V_\gamma$‐degrees

This page was built for publication: Some recent developments in higher recursion theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3342550)