vix.ing · top · new · best · stats · spec

Yokoyama, Keita

  1. The proof-theoretic strength of Ramsey's theorem for pairs and two colors
    2016/01/01 by Ludovic Patey, Keita Yokoyama, Patey, Ludovic +1 · 4 citations
    Computer Science · Mathematics · #Advanced Topology and Set Theory #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
  2. Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
    2018/07/02 by Leszek Aleksander Kołodziejczyk, Kołodziejczyk, Leszek Aleksander, Keita Yokoyama +1 · 3 citations
    Computer Science · Mathematics · #03B30 #03F30 #03F35 #05D10 #Advanced Topology and Set Theory #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Mathematics #Limits and Structures in Graph Theory #Logic (math.LO)
  3. An isomorphism theorem for models of Weak König's Lemma without primitive recursion
    2021/12/20 by Fiori-Carones, Marta, Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok +1 · 4 citations
    #03B30 #03C10 #03C62 #03F30 #03F35 #03H15 #FOS: Mathematics #Logic (math.LO)
  4. Ramsey's theorem for pairs, collection, and proof size
    2020/05/14 by Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok, Yokoyama, Keita · 2 citations
    #03B30 #03F20 (Primary) #03F25 #03F30 #03F35 #03H15 #05D10 (Secondary) #FOS: Mathematics #Logic (math.LO)
  5. Categorical characterizations of the natural numbers require primitive recursion
    2014/10/14 by Kołodziejczyk, Leszek Aleksander, Yokoyama, Keita · 1 citation
    #03B15 #03B30 #03C62 #03F35 #03H15 #FOS: Mathematics #Logic (math.LO)
  6. The strength of Ramsey's theorem for pairs and arbitrarily many colors
    2017/11/23 by Theodore A. Slaman, Slaman, Theodore A., Keita Yokoyama +1 · 1 citation
    Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Limits and Structures in Graph Theory
  7. Combinatorial principles equivalent to weak induction
    2018/12/24 by Davis, Caleb, Hirschfeldt, Denis R., Hirst, Jeffry L. +3 · 1 citation
    #03B30 #03D30 #03F35 #FOS: Mathematics #Logic (math.LO)
  8. Leveraging an Efficient and Semantic Location Embedding to Seek New Ports of Bike Share Services
    2020/11/06 by Wang, Yuan, Wang, Chenwei, Ling, Yinan +3 · 1 citation
    #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  9. Very weak fragments of weak Kőnig's lemma
    2021/01/03 by Stephen G. Simpson, Keita Yokoyama, Simpson, Stephen G. +1 · 1 citation
    Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Benford’s Law and Fraud Detection #semigroups and automata theory
  10. Conservation of Ramsey's theorem for pairs and well-foundedness
    2024/02/18 by Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita · 2 citations
    #FOS: Mathematics #Logic (math.LO)
  11. A parameterized halting problem, Δ0 truth and the MRDP theorem
    2022/11/11 by Yijia Chen, Moritz Müller, Chen, Yijia +3 · 1 citation
    Computer Science · #Advanced Graph Theory Research #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory
  12. The reverse mathematics of theorems of Jordan and Lebesgue
    2017/04/04 by André Nies, Nies, André, Marcus A. Triplett +3 · 1 citation
    Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis