5 found
Sort by:
  1. Masahiro Kumabe, Toshio Suzuki & Takeshi Yamazaki (2008). Does Truth-Table of Linear Norm Reduce the One-Query Tautologies to a Random Oracle? Archive for Mathematical Logic 47 (2):159-180.
    In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Nobuyuki Sakamoto & Takeshi Yamazaki (2004). Uniform Versions of Some Axioms of Second Order Arithmetic. Mathematical Logic Quarterly 50 (6):587-593.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki (2002). Some Conservation Results on Weak König's Lemma. Annals of Pure and Applied Logic 118 (1-2):87-114.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Takeshi Yamazaki (2001). Reverse Mathematics and Completeness Theorems for Intuitionistic Logic. Notre Dame Journal of Formal Logic 42 (3):143-148.
    In this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that is equivalent over to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Kazuyuki Tanaka & Takeshi Yamazaki (2000). A Non-Standard Construction of Haar Measure and Weak König's Lemma. Journal of Symbolic Logic 65 (1):173-186.
    In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation