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 |
|---|---|---|
| FINITIST AXIOMATIC TRUTH Journal of Symbolic Logic | 2023-02-27 | Paper |
| A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic Journal of Symbolic Logic | 2022-06-15 | Paper |
| A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction Journal of Symbolic Logic | 2019-03-15 | Paper |
| Truncation and semi-decidability notions in applicative theories Journal of Symbolic Logic | 2018-10-26 | Paper |
| A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP Annals of Pure and Applied Logic | 2014-11-28 | Paper |
Research outcomes over time
This page was built for person: Sato Kentaro
