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. 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kentaro Sato