Eitetsu Ken

According to our database, Eitetsu Ken authored at least 6 papers between 2020 and 2026.

Collaborative distances:

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

2026

Games with backtracking options corresponding to the ordinal analysis of PA.

Eitetsu Ken

Ann. Pure Appl. Log., 2026

2025

On some Σ ^B₀-formulae generalizing counting principles over V⁰.

Eitetsu Ken

Arch. Math. Log., February, 2025

2024

Ajtai's theorem for T²₂(R) and pebble games with backtracking.

Eitetsu Ken, Mykyta Narusevych

CoRR, 2024

On the Complexity of Interpolation by Polynomials with Non-negative Real Coefficients.

Katsuyuki Bando, Eitetsu Ken, Hirotaka Onuki

CoRR, 2024

2023

On matrix rank function over bounded arithmetics.

Eitetsu Ken, Satoru Kuroda

CoRR, 2023

2020

On principal types and well-foundedness of terms in ECC.

Eitetsu Ken, Kenji Tojo, Kazuki Watanabe, Masaki Natori

CoRR, 2020