Descending sequences of degrees

DOI10.2307/2272271MaRDI QIDQ4119190zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 1975

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

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

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Cited in

(9)

• Reverse mathematics and well-ordering principles: a pilot study
• Duality, non-standard elements, and dynamic properties of r.e. sets
• From hierarchies to well-foundedness
• Reflection ranks and ordinal analysis
• A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES
• Incompleteness and jump hierarchies
• The prehistory of the subsystems of second-order arithmetic
• On the hierarchy of natural theories
• Mass problems associated with effectively closed sets

This page was built for publication: Descending sequences of degrees

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