Sundays, 2pm; on Zoom
Topic: Mathematical Logic
Reference: Kenneth Kunen, The Foundations of Mathematics
Contact UMS (Email Anda Tenie)
Sign up for weekly emails
Date  Speaker  Title  Abstract 
June 6 

Introduction 
We will first introduce Summer UMS and then decide on the logistics for the next weeks. We will go over some potential textbooks we could cover and then pick one by vote. Every member will then have the opportunity to sign up to give a talk.

June 13 
Anda Tenie

Set Theory is the Theory of Everything 
We will begin with an overview of the topics we'll encounter in this seminar: Set Theory, Model Theory, Proof Theory, and Recursion Theory. We will then start discussing set theory, listing the axioms and discussing some particular ones such as Extensionality and Pairing using examples. By the end of the talk, we will get a sense of why all abstract math concepts are in fact settheoretic.

June 20 
David Chen

Building Up from Nothing 
We will learn how to use the axioms of ZF set theory (in particular Pairing, Union, and Comprehension) to go from the existence of an abstract set to more familiar and concrete objects, starting with the empty set, as well as discussing when sets cannot exist. Afterwards, we will move on to basic notions in mathematics, including binary relations, functions and wellorderings in the formal context of set theory.

June 27 
Zhenfeng Tu

Counting over Natural Numbers 
We will introduce the concept of ordinals and arithmetics of ordinals by applying ZF. Later, we will cover induction and recursion on the ordinals. We will conclude with an application of ordinals in measure theory, showing why counting over natural numbers is meaningful.

July 4 
Shiyang Shen

From Set Theory to Logic 
We will begin with a quick look at the equivalents of the Axiom of Choice (AC) and define cardinal arithmetic (that is, addition, multiplication, and exponentiation) based on it. Then we will look at the Axiom of Foundation to refine the universe into the class of wellfounded sets. In the end, we will see how to regard real numbers and finite boolean expressions within the axiomatic set theory.

July 11 
Gabriel Ong

Sentences and Strings: An Introduction to Model Theory 
We will begin by discussing the motivations behind model theory and draw connections between first order language, natural language, and mathematical structures. Following this, we will briefly examine some aspects of semantics in firstorder logical systems. This will give us a strong foundation for further discussions in model theory.

July 18 
Cassandra Marcussen

Formal Proof Theory and Connections to Model Theory 
We will learn about formal proof theory, with the goal of developing a system of representing proofs as formal objects that is easy to define and analyze. We begin by introducing modus ponens, the simple yet powerful rule of inference in formal proof theory. We then discuss some strategies for constructing proofs, establishing principles that show how informal mathematical arguments can be replicated in the context of formal proof theory. Finally, we connect the syntactic notions of formal proof theory to the semantic notions of model theory and further discuss the foundations of model theory, highlighting the Completeness Theorem and the notion of a complete set of axioms.

July 25 
William Dudarov

Elementary Submodels, the LöwenheimSkolemTarski theorems, and Models of Set Theory 
We will extend the foundations of model theory we heard about in the last 2 lectures. Specifically, we will define extensions by definitions, elementary submodels, elementary extensions, and modelcompleteness. We then prove some basic results about elementary submodels/extensions, specifically showing that a submodel is elementary if it satisfies the TarskiVaught criterion, and proving the downward/upward LöwenheimSkolemTarski theorems. Finally, we discuss models of set theory, highlighting transitive models, and formulas that define settheoretic properties that are absolute across transitive models, in particular.

August 1 
Alan Zhao



August 8 
Aiden Sagerman

