| Lecturer | 김병한 |
|---|---|
| Dept. | 연세대 |
| date | Nov 06, 2014 |
I will introduce the basic notions of model theory, a branch of mathematical logic, and survey its applications to other areas of mathematics such as analysis, algebra, combinatorics and number theory. If time permits I will present recent work of myself with collaborators on amalgamation functors and homology groups for types in stable theories.
Regularity of solutions of Hamilton-Jacobi equation on a domain
What is Weak KAM Theory?
정년퇴임 기념강연: 회고
<학부생을 위한 강연> 사색 정리를 포함하는 Hadwiger의 추측의 변형에 관하여
The classification of fusion categories and operator algebras
Green’s function for initial-boundary value problem
Mechanization of proof: from 4-Color theorem to compiler verification
On the distributions of partition ranks and cranks
Q-curvature in conformal geometry
Zeros of the derivatives of the Riemann zeta function
Geometry, algebra and computation in moduli theory
Gromov-Witten-Floer theory and Lagrangian intersections in symplectic topology
High dimensional nonlinear dynamics
What is model theory?
Essential dimension of simple algebras
Restriction theorems for real and complex curves
Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연)
Deformation spaces of Kleinian groups and beyond
Idempotents and topologies
Recent progress on the Brascamp-Lieb inequality and applications
