Sato Kentaro
From MaRDI portal
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
