Research Group
Mathematical logic
Lead: Athipat Thamrongthanyalak
4 Members
Pure Mathematics
Mathematical Logic
Mathematical logic studies recursion theory, model theory, set theory, proof theory, and foundations.
- 4
- Faculty
- 1
- Groups
Overview
About this area
Mathematical logic covers four main parts: recursion theory, model theory, set theory, and proof theory. Research interests include cardinal numbers without the Axiom of Choice, infinitary combinatorics, forcings, o-minimality and tame expansions of the real field, and related topics.
Faculty
Groups