Kentarô YAMAMOTO
I am a postdoctoral fellow at the
Institute of Informatics
of the Academy of Sciences of the Czech Republic.
I obtained my doctorate in Logic
and the Methodology of Science at UC Berkeley
under the supervision of Wesley Holliday.
Here are my curriculum vitae and research statement.
Papers
 Elementary equivalence in positive logic via prime products. To appear in the Journal of Symbolic Logic.
 The small index property of the Fraïssé limit of finite Heyting algebras. Journal of Algebra, Volume 628, 15 August 2023.
 The Fraïssé limit of finite Heyting algebras . To appear in the Journal of Symbolic Logic.
The arXiv version incorporates the addendum that will appear later.
 (with Joseph McDonald) Choicefree duality for orthocomplemented lattices by means of spectral spaces. Algebra Universalis, Volume 83, 7 August 2022.

Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
Studia Logica, 24 June 2020. (Publisher's version)
 Intuitionism and nuclei. Preprint on eScholarship.
 Results in Modal Correspondence Theory for Possibility Semantics.
Journal of Logic and Computation,
Volume 27, Issue 8, 1 December 2017.
Talks
 Elementary equivalence in positive logic via prime products.
Logic Colloquium 2023, Milano, Italy.
 How to compute uniform interpolants semantically (Tutorial).
Seminar on Applied Mathematical Logic, Prague, the Czech Republic.
 Order expansions of finite Heyting algebras
(Invited).
Drafting Workshop in Discrete Mathematics and Probability 2023, Budapest, Hungary.
 Generalized ultraproducts for positive logic
.
British Postgraduate Model Theory Conference 2023, Leeds, the United Kindom.
 Generalized ultraproducts for positive logic.
LOGICA 2022, Teplá, the Czech Republic.

The small index property of the Fraı̈ssé limit of finite Heyting algebras.
Logic Colloquium 2022, Reykjavik, Iceland.
 The small index property of the Fraı̈ssé limit of finite Heyting algebras.
Topology, Algebras and Categories in Logic 2022, Coimbra, Portugal.

The small index property of the Fraı̈ssé limit of finite Heyting algebras.
Czech Gathering of Logicians 2022, Prague, the Czech Republic.

Choicefree duality for ortholattices by means of spectral spaces.
LOGICA 2021,
Hejnice, Czechia.

The automorphism group of the Fraisse limit of finite Heyting algebras.
BLAST 2021,
Las Cruces, New Mexico.

The automorphism group of the Fraisse limit of finite Heyting algebras
(Invited). Logic Seminar, Department of Mathematics, University of Florida.
 Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
BLAST 2019, Boulder, Colorado.
 Modal Correspondence Theory for Possibility
Semantics. MLG Workshop 2015, Kyôto, Japan.
 On the
Computational Power of Algorithmically Random Constants in
BlumShubSmale
Machines. CCA
2014, Darmstadt, Germany (joint work with Akitoshi Kawamura).
Theses
 Duality for Boolean Algebra Expansions and Its Applications.
Ph.D. thesis, University of California, Berkeley, 2020.
 Algorithmic Randomness and
Computational Complexity. B.Sc. thesis, University of
Tokyo, 2014.
Kentarô
YAMAMOTO (yamamoto@deletethis.cs.cas.cz)