TOPOLOGICAL FRAMEWORK FOR FINITE INJURY

DOI10.1002/malq.19920380114zbMath0793.03048OpenAlexW1970310273MaRDI QIDQ4295229

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

Baire category theoremabstract version of the finite injury methodFriedberg-Muchnick pair of recursively enumerable degreesSacks splitting theoremShoenfield jump theorem

Mathematics Subject Classification ID

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

Related Items

A General Framework for Priority Arguments ⋮ The combinatorics of the splitting theorem