Mathematical logic: unfications and diversifications
Organizers
Speaker
Time
Monday, April 1, 2024 5:00 PM - 5:45 PM
Venue
A6-101
Online
Zoom 388 528 9728
(BIMSA)
Speaker Intro
Kazuyuki Tanaka received his Ph.D. from U.C. Berkeley. Before joining BIMSA in 2022, he taught at Tokyo Inst. Tech and Tohoku University, and supervised fifteen Ph.D. students. He is most known for his works on second-order arithmetic and reverse mathematics, e.g., Tanaka's embedding theorem for WKLo and the Tanaka formulas for conservation results. For more details: https://sendailogic.com/tanaka.html