Keita Yokoyama

According to our database, Keita Yokoyama authored at least 32 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Ramsey's theorem for pairs, collection, and proof size.

Leszek Aleksander Kolodziejczyk, Tin Lok Wong, Keita Yokoyama

J. Math. Log., August, 2024

On the first-order parts of problems in the Weihrauch degrees.

Damir D. Dzhafarov, Reed Solomon, Keita Yokoyama

Comput., 2024

Searching problems above arithmetical transfinite recursion.

Yudai Suzuki, Keita Yokoyama

Ann. Pure Appl. Log., 2024

2023

Extended Frames and Separations of Logical Principles.

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama

Bull. Symb. Log., September, 2023

How Strong is Ramsey's Theorem if infinity can be Weak?

Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama

J. Symb. Log., 2023

2022

A parameterized halting problem, Δ₀ truth and the MRDP theorem.

Yijia Chen, Moritz Müller, Keita Yokoyama

CoRR, 2022

Two-sided Rank Consistent Ordinal Regression for Interpretable Music Key Recommendation.

Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang

Proceedings of the ICTIR '22: The 2022 ACM SIGIR International Conference on the Theory of Information Retrieval, Madrid, Spain, July 11, 2022

2021

The Reverse Mathematics of theorems of Jordan and Lebesgue.

André Nies, Marcus Anthony Triplett, Keita Yokoyama

J. Symb. Log., 2021

Memory Efficient Adversarial Attacks on Graphs: A Winning Solution for KDD Cup 2020.

Keiichi Ochiai, Takuya Chida, Keita Yokoyama, Daisuke Koizumi, Hiroaki Tanaka, Akihiro Kawana

Proceedings of the Thirteenth International Conference on Mobile Computing and Ubiquitous Network, 2021

Karaoke Key Recommendation Via Personalized Competence-Based Rating Prediction.

Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang

Proceedings of the IEEE International Conference on Acoustics, 2021

In Search of the First-Order Part of Ramsey's Theorem for Pairs.

Leszek Aleksander Kolodziejczyk, Keita Yokoyama

Proceedings of the Connecting with Computability, 2021

2020

Combinatorial principles equivalent to weak induction.

Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama

Comput., 2020

Leveraging an Efficient and Semantic Location Embedding to Seek New Ports of Bike Share Services.

Yuan Wang, Chenwei Wang, Yinan Ling, Keita Yokoyama, Hsin-Tai Wu, Yi Fang

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2018

The strength of SCT soundness.

Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama

J. Log. Comput., 2018

The strength of Ramsey's Theorem for Pairs and arbitrarily Many Colors.

Theodore A. Slaman, Keita Yokoyama

J. Symb. Log., 2018

A parameterized halting problem, the linear time hierarchy, and the MRDP theorem.

Yijia Chen, Moritz Müller, Keita Yokoyama

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

The Strength of the SCT Criterion.

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

Proceedings of the Theory and Applications of Models of Computation, 2017

2016

On principles between ∑1- and ∑2-induction, and monotone enumerations.

Alexander P. Kreuzer, Keita Yokoyama

J. Math. Log., 2016

Reverse mathematical bounds for the Termination Theorem.

Silvia Steila, Keita Yokoyama

Ann. Pure Appl. Log., 2016

2015

Categorical characterizations of the natural numbers require primitive recursion.

Leszek Aleksander Kolodziejczyk, Keita Yokoyama

Ann. Pure Appl. Log., 2015

2014

Nonstandard second-order arithmetic and Riemann's mapping theorem.

Yoshihiro Horihata, Keita Yokoyama

Ann. Pure Appl. Log., 2014

Propagation of partial randomness.

Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama

Ann. Pure Appl. Log., 2014

On the Ramseyan Factorization Theorem.

Shota Murakami, Takeshi Yamazaki, Keita Yokoyama

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

On the strength of Ramsey's theorem without Σ₁-induction.

Keita Yokoyama

Math. Log. Q., 2013

Reverse mathematics and Peano categoricity.

Stephen G. Simpson, Keita Yokoyama

Ann. Pure Appl. Log., 2013

A Note on the Sequential Version of Statements.

Makoto Fujiwara, Keita Yokoyama

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

The Dirac delta function in two settings of Reverse Mathematics.

Sam Sanders, Keita Yokoyama

Arch. Math. Log., 2012

2011

A Nonstandard Counterpart of WWKL.

Stephen G. Simpson, Keita Yokoyama

Notre Dame J. Formal Log., 2011

2010

Formalizing non-standard arguments in second-order arithmetic.

Keita Yokoyama

J. Symb. Log., 2010

2007

Non-standard analysis in ACA₀ and Riemann mapping theorem.

Keita Yokoyama

Math. Log. Q., 2007

Complex analysis in subsystems of second order arithmetic.

Keita Yokoyama

Arch. Math. Log., 2007

The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic.

Nobuyuki Sakamoto, Keita Yokoyama

Arch. Math. Log., 2007