scientific article; zbMATH DE number 3914304

MaRDI QIDQ3690802zbMATH OpenFDO

Authors Robert I. Soare

Publication date 1985

zbMATH Keywords

surveytree method

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursively (computably) enumerable sets and degrees (03D25) Logical aspects of lattices and related structures (03G10)

Recommendations

• scientific article; zbMATH DE number 4150132
• Iterated trees of strategies and priority arguments
• A framework for priority arguments
• Iterated trees and fragments of arithmetic
• A General Framework for Priority Arguments

Cited in

(12)

• Structural interactions of the recursively enumerable T- and W-degrees
• Completely mitotic r. e. degrees
• Intervals and sublattices of the r.e. weak truth table degrees. I: Density
• Intervals and sublattices of the r.e. weak truth table degrees. II: Nonbounding
• A non-inversion theorem for the jump operator
• Iterated trees of strategies and priority arguments
• A blend of methods of recursion theory and topology: a _1⁰ tree of shadow points
• scientific article; zbMATH DE number 4150132 (Why is no real title available?)
• A framework for priority arguments
• A General Framework for Priority Arguments
• Non-bounding constructions
• On strongly jump traceable reals

This page was built for publication:

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