Keita Yokoyama

37 papers A* 1C 5Misc 2Journal 27Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Parameterized Halting Problem, $ \Delta _0$ Truth and the Mrdp Theorem. J. Symb. Log. Yijia Chen, Moritz Müller, Keita Yokoyama
2025	C	`conf`	Completeness Theorems for Modal Logic in Second-Order Arithmetic. CiE Sho Shimomichi, Yuto Takeda, Keita Yokoyama
2024	J	`jnl`	On the first-order parts of problems in the Weihrauch degrees. Comput. Damir D. Dzhafarov, Reed Solomon, Keita Yokoyama
2024	J	`jnl`	Ramsey's theorem for pairs, collection, and proof size. J. Math. Log. Leszek Aleksander Kolodziejczyk, Tin Lok Wong, Keita Yokoyama
2024	J	`jnl`	Searching problems above arithmetical transfinite recursion. Ann. Pure Appl. Log. Yudai Suzuki, Keita Yokoyama
2023	J	`jnl`	Extended Frames and Separations of Logical Principles. Bull. Symb. Log. Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
2023	J	`jnl`	How Strong is Ramsey's Theorem if infinity can be Weak? J. Symb. Log. Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama
2022	J	`jnl`	A parameterized halting problem, Δ CoRR Yijia Chen, Moritz Müller, Keita Yokoyama
2022	Misc	`conf`	Two-sided Rank Consistent Ordinal Regression for Interpretable Music Key Recommendation. ICTIR Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
2021	C	`conf`	In Search of the First-Order Part of Ramsey's Theorem for Pairs. CiE Leszek Aleksander Kolodziejczyk, Keita Yokoyama
2021	Misc	`conf`	Karaoke Key Recommendation Via Personalized Competence-Based Rating Prediction. ICASSP Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
2021	—	`conf`	Memory Efficient Adversarial Attacks on Graphs: A Winning Solution for KDD Cup 2020. ICMU Keiichi Ochiai, Takuya Chida, Keita Yokoyama, Daisuke Koizumi, Hiroaki Tanaka, Akihiro Kawana
2021	J	`jnl`	The Reverse Mathematics of theorems of Jordan and Lebesgue. J. Symb. Log. André Nies, Marcus Anthony Triplett, Keita Yokoyama
2020	J	`jnl`	Combinatorial principles equivalent to weak induction. Comput. Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama
2020	—	`conf`	Leveraging an Efficient and Semantic Location Embedding to Seek New Ports of Bike Share Services. IEEE BigData Yuan Wang, Chenwei Wang, Yinan Ling, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
2020	J	`jnl`	Leveraging an Efficient and Semantic Location Embedding to Seek New Ports of Bike Share Services. CoRR Yuan Wang, Chenwei Wang, Yinan Ling, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
2018	A*	`conf`	A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. LICS Yijia Chen, Moritz Müller, Keita Yokoyama
2018	J	`jnl`	The strength of Ramsey's Theorem for Pairs and arbitrarily Many Colors. J. Symb. Log. Theodore A. Slaman, Keita Yokoyama
2018	J	`jnl`	The strength of SCT soundness. J. Log. Comput. Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama
2017	C	`conf`	The Strength of the SCT Criterion. TAMC Emanuele Frittaion, Silvia Steila, Keita Yokoyama
2016	J	`jnl`	On principles between ∑1- and ∑2-induction, and monotone enumerations. J. Math. Log. Alexander P. Kreuzer, Keita Yokoyama
2016	J	`jnl`	Reverse mathematical bounds for the Termination Theorem. Ann. Pure Appl. Log. Silvia Steila, Keita Yokoyama
2016	J	`jnl`	The strength of the SCT criterion. CoRR Emanuele Frittaion, Silvia Steila, Keita Yokoyama
2015	J	`jnl`	Categorical characterizations of the natural numbers require primitive recursion. Ann. Pure Appl. Log. Leszek Aleksander Kolodziejczyk, Keita Yokoyama
2015	J	`jnl`	Reverse Mathematical Bounds for the Termination Theorem. CoRR Silvia Steila, Keita Yokoyama
2014	J	`jnl`	Nonstandard second-order arithmetic and Riemann's mapping theorem. Ann. Pure Appl. Log. Yoshihiro Horihata, Keita Yokoyama
2014	C	`conf`	On the Ramseyan Factorization Theorem. CiE Shota Murakami, Takeshi Yamazaki, Keita Yokoyama
2014	J	`jnl`	Propagation of partial randomness. Ann. Pure Appl. Log. Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama
2013	C	`conf`	A Note on the Sequential Version of Statements. CiE Makoto Fujiwara, Keita Yokoyama
2013	J	`jnl`	On the strength of Ramsey's theorem without Σ Math. Log. Q. Keita Yokoyama
2013	J	`jnl`	Reverse mathematics and Peano categoricity. Ann. Pure Appl. Log. Stephen G. Simpson, Keita Yokoyama
2012	J	`jnl`	The Dirac delta function in two settings of Reverse Mathematics. Arch. Math. Log. Sam Sanders, Keita Yokoyama
2011	J	`jnl`	A Nonstandard Counterpart of WWKL. Notre Dame J. Formal Log. Stephen G. Simpson, Keita Yokoyama
2010	J	`jnl`	Formalizing non-standard arguments in second-order arithmetic. J. Symb. Log. Keita Yokoyama
2007	J	`jnl`	Complex analysis in subsystems of second order arithmetic. Arch. Math. Log. Keita Yokoyama
2007	J	`jnl`	Non-standard analysis in ACA Math. Log. Q. Keita Yokoyama
2007	J	`jnl`	The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Arch. Math. Log. Nobuyuki Sakamoto, Keita Yokoyama