Assistant Professor

Beijing International Center for Mathematical Research (BICMR), Peking University.

No. 5 Yiheyuan Road, Haidian District, Beijing, China.

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.

This is a photo of me. Here are some links:

Beijing Model Theory Conference July 8th - 12th, 2024.

Model theory meetings (MODNET).

** Beijing: ** Li Wei (AMSS, Chinese Academy of Sciences), Rizos Slinkos (AMSS, Chinese Academy of Sciences), Song Schichang (Beijing Jaotong University).

** Shanghai: ** Will Johnson (Fudan University), Yao Ningyuan (Fudan University).

Reci mi ako znaš ljudi koji zive u Pekingu i govore srpski/hrvatski jezik! Ova slika je iz Kosmaja, blizu Beograda (možda u Beogradu?)

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

12. ** Model theoretic events**, (with James Hanson)

preprint, [arxiv].

11. ** Transfer maps and the Morley product in NIP theories **

preprint, [arxiv].

10. ** Generic stability, randomizations, and NIP formulas**, (with Gabriel Conant and James Hanson)

submitted, [arxiv].

9. **Concerning Keisler Measures over ultraproducts**,

submitted, [arxiv].

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)

Model Theory (journal) (Celebratory issue on the occasion of Ehud Hrushovski's Sixtieth Birthday), [arxiv, doi].

6. ** Keisler measures in the wild**, (with Gabriel Conant and James Hanson)

Model Theory (journal), [arxiv, doi].

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].

** Approximation theorems for Keisler measures**

University of Notre Dame, 2020, [pdf]

2. **Measures and stability in a model**, [pdf]

1. **Introduction to the Keisler order**, [pdf]