Sato Kentaro

From MaRDI portal
Person:476114

Available identifiers

zbMath Open kentaro.satoMaRDI QIDQ476114

List of research outcomes





PublicationDate of PublicationType
FINITIST AXIOMATIC TRUTH2023-02-27Paper
A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC2022-06-15Paper
A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION2019-03-15Paper
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES2018-10-26Paper
A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP2014-11-28Paper

Research outcomes over time

This page was built for person: Sato Kentaro

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:476114&oldid=6989757"
Powered by MediaWiki