Kentaro Sato

Available identifiers

zbMath Open sato.kentaroMaRDI QIDQ481872

List of research outcomes

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}\).	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	2022-12-23	Paper
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts	2022-06-14	Paper
Ordinal analyses for monotone and cofinal transfinite inductions	2020-04-01	Paper
Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives	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\)	2015-05-15	Paper
Full and hat inductive definitions are equivalent in NBG	2015-02-23	Paper
From hierarchies to well-foundedness	2014-12-15	Paper
RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES	2014-12-05	Paper
Forcing for hat inductive definitions in arithmetic	2014-10-10	Paper
The strength of extensionality. II: Weak weak set theories without infinity	2011-09-22	Paper
The strength of extensionality. I: Weak weak set theories with infinity	2009-03-25	Paper
Proper semantics for substructural logics, from a stalker theoretic point of view	2008-04-23	Paper
Semantical characterizations for irreflexive and generalized modal languages	2008-02-22	Paper
Double helix in large large cardinals and iteration of elementary embeddings	2007-05-23	Paper
Forcing under Anti‐Foundation Axiom: An expression of the stalks	2006-08-30	Paper

Research outcomes over time

This page was built for person: Kentaro Sato