Sato Kentaro

According to our database, Sato Kentaro authored at least 7 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Finitist Axiomatic Truth.

Sato Kentaro, Jan Walker

J. Symb. Log., March, 2023

2022

A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic.

Takako Nemoto, Sato Kentaro

J. Symb. Log., 2022

2019

A note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction.

Sato Kentaro

J. Symb. Log., 2019

2018

Truncation and Semi-Decidability Notions in Applicative Theories.

Gerhard Jäger, Timotej Rosebrock, Sato Kentaro

J. Symb. Log., 2018

2014

Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories.

Sato Kentaro

J. Symb. Log., 2014

2008

Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.

Sato Kentaro

Stud Logica, 2008

2006

Forcing under Anti-Foundation Axiom: An expression of the stalks.

Sato Kentaro

Math. Log. Q., 2006