Hello! 你好! Zdravo!
My name is Kyle Gannon. 我的中文名字是甘楠. I am a model theorist at the Beijing International Center for Mathematical Research (BICMR) at Peking University. 我在北京国际数学研究中心工作. I received my PhD under Sergei Starchenko at the University of Notre Dame in 2020. I was a Hedrick Assistant Adjunct Professor (a fancy term for a post-doc) under the direction of Artem Chernikov at UCLA from 2020-2023. I am now an assistant professor at BICMR.
Upcoming conferences/seminars:
Model theory meetings (MODNET).
IASM-BIRS 5-Day Workshop: Structures and Patterns: Model Theory, Combinatorics, and Geometry
Beijing Model Theory Conference June 15th - 20th, 2026.
Chinese Annual Conference on Mathematical June 5th - 07th , 2026.
Old conferences:
Δ25 Logic Workshop @BICMR - December 20th, 2025.
Beijing Model Theory Conference July 8th - 12th, 2024.
Model theorists in China/模型论在中国:
Beijing: Li Wei (AMSS, Chinese Academy of Sciences), Rizos Sklinos (AMSS, Chinese Academy of Sciences) , Song Shichang (Beijing Jiaotong University).
Shanghai: Will Johnson (Fudan University), Yao Ningyuan (Fudan University).
Nanjing: Jinhe (Vincent) Ye (Nanjing University).
Hohhot: Wentao Yang (Inner Mongolia University).
Sada ne mogu da govorim srpski jezik. Zaboravio sam sve.
PKU model theory notes
Lecture 1 - Intro. to propositional logic
Lecture 2 - Completeness and compactness of propositional logic
Lecture 3 - Intro. to first-order logic
Lecture 4 - Definability and first look at compactness
Lecture 5 - Proof of compactness via Henkin construction
Lecture 6 - Basic set theory and counting models
Lecture 7 - Lowenheim-Skolem Theorems
Lecture 8 - Ultrafilters and ultraproducts
Lecture 9 - Quantifier Elimination
Lecture 10 - Ax-Grothendieck
Lecture 11 - Isolated types, prime, atomic and homogeneous models
Lecture 12 - Isolated types, prime, atomic and homogeneous models continued
Lecture 13 - Configurations of definable sets; Morley rank
Lecture 14 - Intro. to stability
Lecture 15 - Basic infinite combinatorics
Lecture 16 - Indiscernibles in stable theories
Lecture 17 - Beginning omega-stable groups
Lecture 18 - Omega-stable groups cont.
Some incomplete notes on Fraisse limits, Ultraproducts, etc.pdf
Research
18. Generic sampling and invariant measures on the space of k-uniform hypergraphs, (with Nate Ackerman, Cameron Freer, James Hanson, and Rehana Patel)
preprint, [arxiv].
17. Upside down and backward, (with Tomasz Rzepecki)
submitted, [arxiv].
16. Convolution semigroups for automorphism dynamics, (with Daniel Max Hoffmann and Krzysztof Krupiński)
submitted, [arxiv].
15. Coordinate recognition: general theory, groups, and other surprises, (with Ilijas Farah and Pierre Touchard)
submitted, [arxiv].
14. Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture, (with Artem Chernikov and Krzysztof Krupiński)
submitted, [arxiv].
13. Model theoretic events, (with James Hanson)
submitted, [arxiv].
12. Transfer maps and the Morley product in NIP theories
Journal of Symbolic Logic, [arxiv, doi].
11. Measures and stability in a model, revisited, (with Christian d'Elbée)
Bulletin of the Karaganda University. Mathematics Series. [arxiv, doi].
10. Generic stability, randomizations, and NIP formulas, (with Gabriel Conant and James Hanson)
Journal of Mathematical Logic [arxiv, doi].
9. Concerning Keisler Measures over ultraproducts,
Annals of Pure and Applied Logic, [arxiv, doi].
8. An invitation to extension domination, (with Jinhe Ye)
Notre Dame Journal of Formal Logic, [arxiv, doi].
7. Definable convolution and idempotent Keisler measures II, (with Artem Chernikov)
6. Keisler measures in the wild, (with Gabriel Conant and James Hanson)
5. Sequential approximations of types and measures
Fundamenta Mathematicae, [arxiv, doi].
4. Associativity of the Morley product of invariant measures in NIP theories, (with Gabriel Conant)
Journal of Symbolic Logic, [arxiv, doi].
3. Definable convolution and idempotent Keisler measures, (with Artem Chernikov)
Israel Journal of Mathematics, [arxiv, doi].
2. Remarks on generic stability in independent theories, (with Gabriel Conant)
Annals of Pure and Applied Logic, [arxiv, doi].
1. Local Keisler measures and NIP formulas
Journal of Symbolic Logic, [arxiv, doi].
Research Notes & Exposition
3. A walk on type space
RIMS Kôkyûroku [pdf].
2. Measures and stability in a model
Research note [pdf]
1. Introduction to the Keisler order
UChicago REU [pdf]
Research by students
1. Enumeration of finite distance monoids by Yunjie Luo and Jie Sheng (PACE REU program).
preprint, [arxiv].
Thesis
Approximation theorems for Keisler measures
University of Notre Dame, 2020, [pdf]