https://www.math.snu.ac.kr/board/files/attach/images/701/ff97c54e6e21a4ae39315f9a12b27314.png
Extra Form
강연자 김병한
소속 연세대
date 2014-11-06

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.

Atachment
첨부 '1'
  1. The classification of fusion categories and operator algebras

  2. Green’s function for initial-boundary value problem

  3. Mechanization of proof: from 4-Color theorem to compiler verification

  4. On the distributions of partition ranks and cranks

  5. Q-curvature in conformal geometry

  6. Zeros of the derivatives of the Riemann zeta function

  7. Geometry, algebra and computation in moduli theory

  8. Gromov-Witten-Floer theory and Lagrangian intersections in symplectic topology

  9. High dimensional nonlinear dynamics

  10. 11Nov
    by 김수현
    in 수학강연회

    What is model theory?

  11. Essential dimension of simple algebras

  12. Restriction theorems for real and complex curves

  13. Recommendation system and matrix completion: SVD and its applications (학부생을 위한 강연)

  14. Deformation spaces of Kleinian groups and beyond

  15. Idempotents and topologies

  16. Recent progress on the Brascamp-Lieb inequality and applications

  17. Existence of positive solutions for φ-Laplacian systems

  18. Riemann-Hilbert correspondence for irregular holonomic D-modules

  19. Normal form reduction for unconditional well-posedness of canonical dispersive equations

  20. Random conformal geometry of Coulomb gas formalism

Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 11 Next
/ 11