Embedded Files
I enjoy producing sets of notes for myself as I learn a new subject. Here I have compiled a collection of notes and short papers.
Model Theory Notes
Model Theory Notes
Here are my notes on various topics in Model theory
The_Unstable_Formula_Theorem.pdfThe Unstable Formula Theorem
The Unstable Formula Theorem
This paper gives a self contained introduction to some aspects of The Unstable Formula Theorem from Shelah's Classification theory.
Ax_Kochen_theorem__Logic_Geometry.pdfThe Ax Kochen Theorem
The Ax Kochen Theorem
This paper gives a self contained introduction to the Ax Kochen Theorem as presented in Chang and Kiesler's Model Theory
Shelah_Stable_Theories_Reinterpreted.pdfShelah's Stable Theories
Shelah's Stable Theories
This paper gives some context and annotations to accompany Shelah's first paper Stable Theories
Morely_s_Theorem_REU2020.pdfMorley's Theorem
Morley's Theorem
This paper gives a brief introduction to Morley's celebrated theorem on uncountable categorical theories. Specifically, this paper covers the Baldwin-Lachlan proof of the theorem.
Everything Else
Everything Else
Here are all the other vaugely expository things I have written, not related to model theory.
The_Structural_and_Categorical_Study_of_Myth.pdfA Categorial Approach to Structural Theory of Myths
A Categorial Approach to Structural Theory of Myths
This brief paper was inspired by Claude Levi Strauss' theory of Structural Anthropology combined with a category theoretic mindset.
Page updated
Report abuse