Kentarô YAMAMOTO

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) Choice-free 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.
• Choice-free 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 Blum-Shub-Smale 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.