A framework for priority arguments

MaRDI QIDQ3573560zbMATH OpenFDO

Authors Manuel Lerman

Publication date 1 July 2010

zbMATH Keywords

backtrackingcomputably enumerable degreesfinite injuryinfinite injurymonstrous injuryPost's problemrecursively enumerable degrees

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03Dxx)

Recommendations

• A General Framework for Priority Arguments
• scientific article; zbMATH DE number 4150132
• scientific article; zbMATH DE number 1955470
• scientific article; zbMATH DE number 3914304
• Proofs and computations

Cited in

(11)

• Priority Arguments and Epsilon Substitutions
• Degrees of unsolvability: a tutorial
• scientific article; zbMATH DE number 4150132 (Why is no real title available?)
• scientific article; zbMATH DE number 3914304 (Why is no real title available?)
• The expressive power of CHR with priorities
• scientific article; zbMATH DE number 1553160 (Why is no real title available?)
• scientific article; zbMATH DE number 2097605 (Why is no real title available?)
• A General Framework for Priority Arguments
• PRIORITY ARGUMENTS VIA TRUE STAGES
• Iterated priority arguments in descriptive set theory
• Mass problems associated with effectively closed sets

This page was built for publication: A framework for priority arguments

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