The ∀∃-theory of the effectively closed Medvedev degrees is decidable

作     者：Cole, Joshua A. Kihara, Takayuki 

作者机构：Tohoku Univ Math Inst Aoba Ku Sendai Miyagi 9808578 Japan Univ Notre Dame Dept Math Notre Dame IN 46556 USA 

出 版 物：《ARCHIVE FOR MATHEMATICAL LOGIC》 (Arch. Math. Logic)

年 卷 期：2010年第49卷第1期

页      面：1-16页

核心收录：

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基　　金：Arthur T. Schmitt Foundation NSF [DMS-0652669, MSW21-RTG-0739007] 

主　　题：Recursion theory Medvedev degree Pi(0)(1) Class 

摘      要：We show that there is a computable procedure which, given an for all there exists-sentence phi in the language of the partially ordered sets with a top element 1 and a bottom element 0, computes whether phi is true in the Medvedev degrees of Pi(0)(1) classes in Cantor space, sometimes denoted by P-s.