Topological Framework for Non‐Priority

DOI10.1002/malq.19910373104zbMath0741.03024OpenAlexW1987100934MaRDI QIDQ4711233

Kyriakos Kontostathis

Publication date: 25 June 1992

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

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

zbMATH Keywords

effective Baire category theoremKleene-Post constructionnon-priority methodSpector construction

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45)

Related Items

Iterated trees and fragments of arithmetic ⋮ A General Framework for Priority Arguments ⋮ The combinatorics of the splitting theorem