editors), Computability and complexity (0)

by K Ko, A Nerode, M B Pour-El, K Weihrauch, J Wiedermann
Venue:August1998. 3However, Heinatsch and Möllerfeld [2] have shown that Π12-CA0 proves the same Π sentences as ACA0 plus determ inacy, i.e., determ inacy forBoolean combinations of Gä sets in the Baire space. 8 CARL MUMMERT AND STEPHEN G. SIMPSON