Video

# What is model theory?

Extra Form
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.

 Subject+ContentSubjectContentCommentUser NameNick NameUser IDTag
1. ### On the distributions of partition ranks and cranks

To explain Ramanujan's integer partition function congruences, Dyson's rank and Andrews-Garvan's crank have been introduced. The generating functions for these two partition statistics are typical examples of mock Jacobi forms and Jacobi for...
CategoryMath Colloquia Dept.서울과학기술대학교 Lecturer김병찬
2. ### What is model theory?

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 w...
CategoryMath Colloquia Dept.연세대 Lecturer김병한
3. ### Introduction to Non-Positively Curved Groups

Introduction to Non-Positively Curved Groups
CategoryMath Colloquia Dept.KAIST Lecturer김상현
4. ### Subgroups of Mapping Class Groups

The mapping class group of a surface S is the component group of orientation-preserving homeomorphisms on S. We survey geometric and algebraic aspects of this group, and introduce a technique of using right-angled Artin groups to find geomet...
CategoryMath Colloquia Dept.서울대학교 Lecturer김상현
5. ### On circle diffeomorphism groups

For each natural number k, the C^k diffeomorphisms of the circle form a group with function compositions. This definition even extends to real numbers k no less than one by Hölder continuity. We survey algebraic properties of this grou...
CategoryMath Colloquia Dept.고등과학원 Lecturer김상현
6. ### Iwahori-Hecke algebras and beyond

For the irreducible representations of the Hecke algebras, the minimal elements in each conjugacy class play an important role. In this talk, we try to review the minimal length elements and characterize in a more efficient way to find the m...
CategoryMath Colloquia Dept.University of Picardie Jules-Verne, Amiens Lecturer김성순
7. ### On the Schauder theory for elliptic PDEs

.
CategoryMath Colloquia Dept.연세대학교 Lecturer김세익
8. ### <정년퇴임 기념강연> 리만 가설에 관련된 옌센 다항식의 영점

Sufficient conditions for the Jensen polynomials of the derivatives of a real entire function to be hyperbolic are obtained. The conditions are given in terms of the growth rate and zero distribution of the function. As a consequence some r...
CategoryMath Colloquia Dept.서울대학교 Lecturer김영원
9. ### 곡선의 정의란 무엇인가?

곡선은 방정식, 매개화된 곡선의 동치류, 모듈 등의 다양한 관점에서 정의될 수 있다. 미끈한 곡선의 경우는 모든 정의들이 본질적으로 동등하지만 이들의 극한을 취하면 관점에 따라 완전히 다른 답들이 얻어진다. 따라서 미끈한 곡선들의 집합은 관점에 따라...
CategoryMath Colloquia Dept.서울대학교 Lecturer김영훈
10. ### Categorification of Donaldson-Thomas invariants

In 1980s, Donaldson discovered his famous invariant of 4-manifolds which was subsequently proved to be an integral on the moduli space of semistable sheaves when the 4-manifold is an algebraic surface. In 1994, the Seiberg-Witten invariant w...
CategoryMath Colloquia Dept.서울대학교 Lecturer김영훈
11. ### <학부생을 위한 ɛ 강연> 양자상태의 기하학

고전컴퓨터는 모든 정보를 이진수로 표현하여 계산을 0과 1의 전기신호로 구현하는데 반해서 양자컴퓨터는 정보를 벡터(양자상태)로 표현하여 유니터리 변환을 통해 계산을 수행한다. 양자컴퓨터가 관심을 끄는 이유는 얽힌 양자상태 덕분에 빠른 계산이 가능...
CategoryMath Colloquia Dept.고등과학원 Lecturer김영훈
12. ### Connectedness of a zero-level set as a geometric estimate for parabolic PDEs

Studies on PDEs are mostly focused on ?nding properties of PDEs within a speci?c discipline and on developing a technique specialized to them. However, ?nding a common structure over di?erent disciplines and unifying theories from di?erent s...
CategoryMath Colloquia Dept.KAIST Lecturer김용정
13. ### Symplectic topology and mirror symmetry of partial flag manifolds

Soon after Gromov’s applications of pseudo-holomorphic curves to symplectic topology, Floer invented an infinite-dimensional Morse theory by analyzing moduli spaces of pseudo-holomorphic curves to make substantial progress on Arnold&r...
CategoryMath Colloquia Dept.부산대학교 수학과 Lecturer김유식
14. ### The process of mathematical modelling for complex and stochastic biological systems

The revolution of molecular biology in the early 1980s has revealed complex network of non-linear and stochastic biochemical interactions underlying biological systems. To understand this complex system, mathematical models have been widely ...
CategoryMath Colloquia Dept.KAIST Lecturer김재경
15. ### <학부생을 위한 ɛ 강연> 복잡한 생명현상을 위한 21세기 현미경, 수학!

지난 50년간 진행된 분자생물학의 혁명으로 인해 생명 시스템이 수많은 분자들의 상호작용으로 구성되어 있음을 알게 되었습니다. 이러한 복잡한 시스템을 이해하기 위해서는 현미경과 같이 생명현상을 관찰하는 도구와 함께 수학은 생명과학 분야에서 필수적...
CategoryMath Colloquia Dept.카이스트 Lecturer김재경
16. ### Circular maximal functions on the Heisenberg group

The spherical average has been a source of many problems in harmonic analysis. Since late 90's, the study of the maximal spherical means on the Heisenberg group \$mathbb{H}^n\$ has been started to show the pointwise ergodic theorems on the gro...
CategoryMath Colloquia Dept.연세대 수학과 Lecturer김준일
17. ### Entropy of symplectic automorphisms

※ 강연 뒷부분이 녹화되지 않았습니다. A symplectic manifold is a space with a global structure on which Hamiltonian equations are defined. A classical result by Darboux says that every symplectic manifold locally looks standard, so it has be...
CategoryMath Colloquia Dept.서강대학교 Lecturer김준태
18. ### Study stochastic biochemical systems via their underlying network structures

When a biological system is modeled using a mathematical process, the following step is normally to estimate the system parameters. Despite the numerous computational and statistical techniques, estimating parameters for complex systems can...
CategoryMath Colloquia Dept.포항공과대학교 Lecturer김진수