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

• Publication:3480023
• 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

(11)

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

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)