Avatar


Wang Chi Leung

PhD Student (Graduated)

Wean Hall 8205, Carnegie Mellon University

wangchil@alumni.cmu.edu

4123308564

CV

LinkedIn

Google Scholar


Research Interest

Model Theory: stability theory
in abstract elementary classes

Research Summary


Links

Department of Mathematical Sciences

Pure and Applied Logic Program

Model Theory Wiki

Map of the Universe




Education

Ph.D. in Mathematical Sciences, Carnegie Mellon University
August 2018 - May 2023
Advisor: Rami Grossberg
2023 Hugh Young Graduate Student Teaching Award
2022 Outstanding Research Graduate Student Prize

One-year Exchange Program, University of Toronto
2014 - 2015

Bachelor of Science, The Chinese University of Hong Kong
2012 - 2017

Major: Mathematics

Minor: French and German



Papers

1.   Hanf number of the first stability cardinal in AECs
July 2021

PDF (32 pages, last updated: 10/07/2021) arXiv APAL


2.   Axiomatizing AECs and applications
August 2021

PDF (31 pages, last updated: 02/02/2023) arXiv APAL


3.   Stability results assuming tameness, monster model and continuity of nonsplitting
September 2021

PDF (56 pages, last updated: 03/04/2022) arXiv


4.   Categoricity transfer for tame AECs with amalgamation over sets
March 2022

PDF (35 pages, last updated: 04/06/2022) arXiv


Talks

1.    Graduate Student Seminar: "100% correct" forecasting
Februrary 6, 2020

Hardin and Taylor's (2008) paper

2.    Model Theory Seminar: Superstable fields and groups
March 30, April 6, 2020

Abstract  Slides

3.    Model Theory Seminar: Tameness and good λ-frames
October 1, 8, 15, 2020

Abstract  Recording I (ND5thQ8.) Recording II (aP78H&*P)  Recording III (@jwtA2Qz)

4.    GSTMT Seminar: Many uncountable models with a linear order
October 16, 2020

Section 5.3 of David Marker's book

5.    GSTMT Seminar: Some descriptive set theory in model theory
November 20, 2020

Morley's (1970) The Number of Countable Models

6.    GSTMT Seminar: Cube problem for linear orders
March 16, 23, 2021

Garrett Ervin's first and second papers

7.    Model Theory Seminar: Hanf number of the first stability cardinal in AECs
September 30, October 7, 2021

Abstract Recording I (#eF@FZ9C) Recording II (?%%B0%0A)

8.    GSTMT Seminar: Infinitary logics and abstract elementary classes
October 25, November 1, 29, 2021

Section 6 of Vasey's notes and Lemma 3.7 of Vasey's paper

9.    Model Theory Seminar: Axiomatizing AECs and applications
November 11, 18, December 2, 2021

Abstract Recording I (8b?$l67u) Recording II (Rv9ZQ=*+) Recording III (9$WzU+p8)

10.    Model Theory Seminar: Stability results assuming tameness, monster model and continuity of nonsplitting
January 27, February 3, 10, 17, 2022

Abstract Recording I (j1beAf.0) Recording II (46.7JS7d) Recording III (jz@z4Fbv) Recording IV (u*4vW6dD)

11.    GSTMT Seminar: From nonsplitting to nonforking in AECs
Feb 23, Mar 2, 2022

Basic properties of nonsplitting and canonicity of nonforking

12.   ASL North American Meeting: Axiomatizing AECs and applications
April 8, 2022

Meeting program (short/long) Slides

13.    Mathematical Logic Seminar: Categoricity results of abstract elementary classes
April 19, 2022

Abstract (Part I) (Part II) Notes

14.    GSTMT Seminar: Universal classes and classes with intersections
October 7, 14, 2022

Characterizations of universal classes and of classes with intersections

15.    PALS Seminar: Axiomatizing AECs and applications
October 18, 2022

Abstract Slides

16.    Thesis defense: Stability, Categoricity and Axiomatization of Abstract Elementary Classes
November 17, 2022

Abstract Slides Thesis Recording (Y3LYP&z#)

17.   ASL North American Meeting: First stability cardinals of AECs
March 28, 2023

Meeting program (short/long) Slides

Working Experience

Teaching Assistant - 21260 Differential Equations
Summer I 2023

Lead Teaching Assistant - 21127 Concepts of Mathematics
Spring 2023

Evaluation


Teaching Assistant - 21254 Linear Algebra and Vector Calculus for Engineers
Fall 2022

Evaluation


Instructor - 21127 Concepts of Mathematics
Summer II 2022

Evaluation-E Evaluation-U


Teaching Assistant - 21260 Differential equations
Summer I 2022

Lead Teaching Assistant - 21260 Differential equations
Spring 2022

Evaluation


Lead Teaching Assistant - 21241 Matrices and Linear Transformations
Fall 2021

Substituted the instructor for one week.
Evaluation


Teaching Assistant - 21127 Concepts of Mathematics
Summer II 2021

Daily recitation sessions and office hours were held.


Teaching Assistant - 21259 Calculus in Three Dimensions
Summer I 2021

Office hours and review sessions for exams were held.


Lead Teaching Assistant - 21122 Integration and Approximation
Spring 2021

Substituted the instructor for two weeks.
My TA survey was not deployed that semester. An informal survey was conducted.


Lead Teaching Assistant - 21259 Calculus in Three Dimensions
Fall 2020

My TA survey was not deployed that semester. Here is some message that I hold dear.


Teaching Assistant - 21259 Calculus in Three Dimensions
Summer 2020

Review sessions were held every week during the semester.


Lead Teaching Assistant - 21259 Calculus in Three Dimensions
Spring 2020

Evaluation


Lead Teaching Assistant - 21259 Calculus in Three Dimensions
Fall 2019

Evaluation


Grader - 21300 Basic Logic
Summer 2019

Teaching Assistant - 21241 Matrices and Linear Transformations
Spring 2019

Evaluation


Grader - 21127 Concepts of Mathematics
Fall 2018

Private Tutor
2017 - 2018