A General Framework for Priority Arguments

DOI10.2307/421040MaRDI QIDQ4847389zbMATH OpenOpenAlexFDO

Authors Steffen Lempp, Manuel Lerman

Publication date 20 September 1995

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

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0102-toc.htm

zbMATH Keywords

degrees of unsolvabilitypriority method

Mathematics Subject Classification ID

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

Recommendations

• A framework for priority arguments
• Labelling systems and r.e. structures
• scientific article; zbMATH DE number 4150132
• Iterated trees of strategies and priority arguments
• scientific article; zbMATH DE number 3914304

Cites work

• A metatheorem for constructions by finitely many workers
• Banach–Mazur games, comeager sets and degrees of unsolvability
• Borel determinacy
• Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
• Degrees of Unsolvability. (AM-55)
• Labelling systems and r.e. structures
• Logical methods. In honor of Anil Nerode's 60th birthday
• Non-bounding constructions
• On homogeneity and definability in the first-order theory of the Turing degrees
• On some games which are relevant to the theory of recursively enumerable sets
• Recursively enumerable sets of positive integers and their decision problems
• Stability of recursive structures in arithmetical degrees
• The jump is definable in the structure of the degrees of unsolvability
• The upper semi-lattice of degrees of recursive unsolvability
• TOPOLOGICAL FRAMEWORK FOR FINITE INJURY
• Topological Framework for Non‐Priority
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

Cited in

(11)

• Classification of computably approximable real numbers
• Coding a family of sets
• Priority Arguments and Epsilon Substitutions
• Degree Structures: Local and Global Investigations
• A framework for priority arguments
• scientific article; zbMATH DE number 3914304 (Why is no real title available?)
• The expressive power of CHR with priorities
• scientific article; zbMATH DE number 2097605 (Why is no real title available?)
• Three topological reducibilities for discontinuous functions
• PRIORITY ARGUMENTS VIA TRUE STAGES
• Non-bounding constructions

This page was built for publication: A General Framework for Priority Arguments

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