Avatar


Wang Chi Leung

PhD Student

Wean Hall 8205, Carnegie Mellon University

wangchil@andrew.cmu.edu

4123308564

LinkedIn

Google Scholar


Research Interest

Model Theory: stability theory
in abstract elementary classes


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 - Present
Advisor: Rami Grossberg

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 arXiv


2.   Axiomatizing AECs and applications
August 2021

PDF arXiv Short slides


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

PDF arXiv


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

PDF 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


Working Experience

Instructor - 21127 Concepts of Mathematics
Summer II 2022

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