Forte Shinko

信耕ふぉるて

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

Publications

Notes

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

Links

Grad student seminar