TOPOLOGICAL FRAMEWORK FOR FINITE INJURY

DOI10.1002/MALQ.19920380114MaRDI QIDQ4295229zbMATH OpenOpenAlexFDO

Authors Kyriakos Kontostathis

Publication date 8 June 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19920380114

zbMATH Keywords

abstract version of the finite injury methodBaire category theoremFriedberg-Muchnick pair of recursively enumerable degreesSacks splitting theoremShoenfield jump theorem

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Recommendations

• Topological Framework for Non‐Priority
• Jumps of nontrivial splittings of recursively enumerable sets
• scientific article; zbMATH DE number 4150148
• Finite injury and Σ₁-induction
• Priority constructions

Cited in

(3)

• scientific article; zbMATH DE number 3959412 (Why is no real title available?)
• The combinatorics of the splitting theorem
• A General Framework for Priority Arguments

This page was built for publication: TOPOLOGICAL FRAMEWORK FOR FINITE INJURY

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