Research-Halpern-Läuchli Theorem and Reverse Mathematics

Research

All

Halpern-Läuchli Theorem and Reverse Mathematics

Speaker: Yue Yang （National University of Singapore）
Time: Dec 11, 2025, 10:00-11:00
Location: M1001, College of Science Building

Abstract

Halpern-Läuchli Theorem (HL) is one instance of Ram-seyan theorems, with deep connections to mathematical logic. In this talk, I will report some recent results related to HL, jointly obtained with Chitat Chong and Wei Li from National University of Singapore. I will also spend some time introducing Reverse Mathematics to the general audience, including some history, main motivation and basic terminologies.