Kentaro Sato

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
A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). Annals of Pure and Applied Logic	2024-05-14	Paper
A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection Annals of Pure and Applied Logic	2022-12-23	Paper
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts Archive for Mathematical Logic	2022-06-14	Paper
Ordinal analyses for monotone and cofinal transfinite inductions Archive for Mathematical Logic	2020-04-01	Paper
Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives Annals of Pure and Applied Logic	2020-01-09	Paper
A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) Annals of Pure and Applied Logic	2015-05-15	Paper
Full and hat inductive definitions are equivalent in NBG Archive for Mathematical Logic	2015-02-23	Paper
From hierarchies to well-foundedness Archive for Mathematical Logic	2014-12-15	Paper
Relative predicativity and dependent recursion in second-order set theory and higher-order theories Journal of Symbolic Logic	2014-12-05	Paper
Forcing for hat inductive definitions in arithmetic Mathematical Logic Quarterly (MLQ)	2014-10-10	Paper
The strength of extensionality. II: Weak weak set theories without infinity Annals of Pure and Applied Logic	2011-09-22	Paper
The strength of extensionality. I: Weak weak set theories with infinity Annals of Pure and Applied Logic	2009-03-25	Paper
Proper semantics for substructural logics, from a stalker theoretic point of view Studia Logica	2008-04-23	Paper
Semantical characterizations for irreflexive and generalized modal languages Notre Dame Journal of Formal Logic	2008-02-22	Paper
Double helix in large large cardinals and iteration of elementary embeddings Annals of Pure and Applied Logic	2007-05-23	Paper
Forcing under Anti‐Foundation Axiom: An expression of the stalks Mathematical Logic Quarterly	2006-08-30	Paper

Research outcomes over time

This page was built for person: Kentaro Sato