Forte Shinko

信耕ふぉるて

イランカラㇷ゚テ
I am a Postdoctoral Scholar at UC Berkeley studying mathematical logic, working with Andrew Marks.

Publications

Notes

An elementary proof of Lusin-Novikov
The refutation of Hedetniemi's conjecture
Bernoulli disjointness (after Bernshteyn)
Introduction to type theory (for HoTT seminar)