We extend the priority method in α-recursion theory to certain arguments with no a priori bound on the required preservations by proving the splitting theorem for all admissible α. THEOREM: Let C be a ...

This monthly journal, begun in 1950, is devoted entirely to research in pure and applied mathematics, principally to the publication of original papers of moderate length. A section called Shorter ...