scientific article; zbMATH DE number 3914304

zbMATH Open0573.03014MaRDI QIDQ3690802FDOQ3690802

Authors: Robert I. Soare 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Structural interactions of the recursively enumerable T- and W-degrees
• A blend of methods of recursion theory and topology: a \(\Pi_1^0\) 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)