Eitetsu Ken

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the Complexity of Interpolation by Polynomials with Non-negative Real Coefficients (available as arXiv preprint)	N/A	Paper
Games with backtracking options corresponding to the ordinal analysis of \textit{PA} Annals of Pure and Applied Logic	2026-06-12	Paper
A note on the independence of the injective pigeonhole principle from the uniform counting principle (available as arXiv preprint)	2026-01-01	Paper
On some $\boldsymbol{\Sigma}^B_0$-formulae generalizing counting principles over $V^0$ Archive for Mathematical Logic	2025-02-18	Paper
On matrix rank function over bounded arithmetics (available as arXiv preprint)	2025-01-01	Paper
Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking (available as arXiv preprint)	2024-01-01	Paper
Games with backtracking options corresponding to the ordinal analysis of PA (available as arXiv preprint)	2024-01-01	Paper
On matrix rank function over bounded arithmetics	2023-10-05	Paper
On some $\Sigma^{B}_{0}$-generalizations of the pigeonhole and the modular counting principles over $V^{0}$	2022-03-18	Paper
Foundations of Temperature Theory	2020-09-06	Paper
Foundations of Temperature Theory (available as arXiv preprint)	2020-01-01	Paper

Research outcomes over time

This page was built for person: Eitetsu Ken