Forte Shinko

信耕ふぉるて

イランカラㇷ゚テ
I am a fifth year graduate student at Caltech studying mathematical logic. My supervisor is Alexander Kechris.
Curriculum vitae
Research statement
Teaching statement

Publications

Notes

Shitov's refutation of Hedetniemi's conjecture
Bernoulli disjointness (after Bernshteyn)
Introduction to type theory (for HoTT seminar)

Links

Caltech logic seminar
Grad student seminar