This post is an extension of the previous one; I want to address Tarski’s Undefinability Theorem using computability-theoretic methods. Continue reading

# Arithmetic, Self-Reference and Truth

There is a remarkable theorem in mathematical logic that “Truth is not definable”. This is known as Tarski’s Undefinability Theorem. This result (along with Gödel’s Incompleteness Theorems) has fascinated me ever since I learned about it. This theorem (in a sense) shows us the limits of the ability to study truth within a given formal system. Continue reading

# Ramsey’s Theorem and Ultrafilters

In this post, I will go through a proof of one of my favorite results in combinatorics using a technique that is not necessarily well known outside of logic.

# Ramsey’s Theorem

There are many ways to describe (Infinite) Ramsey’s Theorem. One description uses graph theory. A graph is a set of vertices (nodes) and edges (connections between the nodes). A *clique* in a graph is a subset X of the set of vertices such that all vertices in X have edges between them. An *anti-clique* is a subset X of the set of vertices such that no two vertices in X have edges between them.

**Theorem**: Every infinite graph has an infinite clique or an infinite anti-clique.

We can formalize Ramsey’s Theorem in another way. A *two-coloring* of a set X is a function ; in other words, a partition of X into two sets (the elements 0 and 1 are the “colors”, often representing blue and red). GIven a set X, the set is the set of pairs of elements of X. For example, the set is the set of (unordered) pairs of natural numbers, e.g., it’s the set {0, 1}, {0, 2}, {1, 2}, {0, 3}, etc.

**Theorem (Ramsey’s Theorem for Pairs): **If f is a two-coloring of , there is an infinite set H such that all pairs of elements of H get the same color.

These two theorems are equivalent: given a two-coloring of the set of pairs of natural numbers, you can form an infinite graph by letting the set of vertices just be , and by putting an edge between numbers n and m if and only if the color . You can also go the other way: given a graph, you can form a two-coloring of the set of pairs of vertices of the graph in a canonical way.

This second statement, while more difficult to parse, is the one we will focus on for this post.

First, let’s prove an easier statement: if is a two-coloring of , there is an infinite set X such that every element of X gets the same color. (This would be referred to as “Ramsey’s Theorem for Singletons”.)

This result is fairly easy to prove: let and . One of these two sets must be infinite, and every element of A gets color 0 (blue), while every element of B gets 1 (red).

If we try to generalize this proof to Ramsey’s Theorem for Pairs, we can look at the sets and ; clearly one of these is infinite. But these sets are sets of *pairs*, and Ramsey’s Theorem states that there is an infinite set of *numbers* where all the pairs of numbers get the same color (in graph-theoretic terms, it’s easy to find an infinite set of edges or non-edges in an infinite graph; we want an infinite set of vertices which are either all mutually connected or mutually disconnected).

The reason Ramsey’s Theorem for Singletons is easy to prove is because we know the color of each number; we know etc. But if we are coloring pairs, then perhaps . In other words, the color of 0 might be blue infinitely often, and it might be red infinitely often. We need a way to decide the color of each natural number “on average”. That is, if we could say, given a natural number n, “for most numbers m, “, or, “for most numbers m, “.

Of course, it is not obvious that it is possible to make such a claim for each number n. Sometimes it’s clear: if, for example, the color “stabilizes”; ie, maybe and for all , . In that case, it is clear that the color of 0 is “usually” 1. But perhaps the color does not stabilize: maybe there are infinitely many numbers m such that and infinitely many n such that . So in that case, how would you decide what the color of 0 is on average?

# Ultrafilters: “averaging” over infinity

This idea of averaging over an infinite set can be studied formally with the concept of an ultrafilter. An ultrafilter is a way of choosing which sets are “large”.

**Definition**: A *filter* on the natural numbers is a family of sets with the following properties:

- for any sets A and B, if and , then
- for any sets , the intersection
- .

An *ultrafilter* is a filter with the additional property that for all , either or .

Again, the idea is that the sets in an ultrafilter are considered “large”. Each of these properties represents some “largeness” principle. If a set is large, any set that contains it should also be large; if two sets are large, their intersection is large; the empty set is not large; and if a set is not large, the complement of it should be large. We say that a property “*almost always*” happens if it happens on a large set, and it “*almost never*” happens if it happens on a set which is not large.

There are some easy examples of ultrafilters: take any number n, and let . It’s not hard to verify that all the properties are satisfied. Ultrafilters like these (the ones generated in some sense by a single number) are called *principal*. Non-principal ultrafilters are harder to construct, but given some amount of set theory it is possible to show that they also exist. Non-principal ultrafilters have a crucial property: they contain no finite sets. That means that if A is the complement of a finite set (“cofinite”), then A is in every non-principal ultrafilter.

# Proof of Ramsey’s Theorem

Let . Let be a non-principal ultrafilter. We use the ultrafilter to assign colors to each number as follows: is defined as if and only if , and otherwise. Notice that if and only if . In other words, think of as assigning an infinite sequence of colors to . Then, using the ultrafilter, we pick out the color of “almost always”, and call that color .

We will define a sequence by induction. Let . Given , let be the least such that for each . We must show that such an exists. The idea here is that the function assigns the “correct” color according to the ultrafilter; that is, for each , the set of those such that is large. Since the intersection of finitely many large sets is also large, the set for all is large. Furthermore, in a non-principal ultrafilter, large sets are always infinite, so there must be an greater than .

Let , and . Clearly is infinite, so one of or is infinite. Further, for all and for all , so one of or is the infinite set required by the statement of Ramsey’s Theorem.

# Other applications of ultrafilters

Ultrafilters have applications all throughout mathematics, including in model theory, social choice, and non-standard analysis. I hope to explore non-standard analysis, in particular, in a future post, where I will discuss ideas like formalizing the notion of a limit using infinitesimals (instead of using epsilons and deltas).

# Classifying Enayat Models of Peano Arithmetic – ASL Winter Meeting (JMM)

**Update **(1/15): See slides here.

I will be contributing a session at the 2018 ASL Winter Meeting at the Joint Mathematics Meetings on Saturday, January 13. This talk is based on a recent paper of mine which can be found on the arxiv here.

**Abstract:** Simpson used arithmetic forcing to show that every countable model has an undefinable, inductive subset such that the expansion is pointwise definable. Enayat later showed that there are many models with the property that every expansion upon adding a predicate for an undefinable class is pointwise definable. We refer to models with this property as Enayat models. That is, a model is Enayat if for each undefinable class , the expansion is pointwise definable. In this talk we show that a model is Enayat if it is countable, has no proper cofinal submodels and is a conservative extension of each of its elementary cuts.

# What is Peano Arithmetic?

I recently defended my dissertation and I have had a number of non-mathematician friends and family asking me to try to explain what it is I study. In a nutshell, I study models of Peano Arithmetic and their elementary extensions. This post is meant to give an introduction to Peano Arithmetic and in a later post I will go into more details about the problems I have been working on.

# Peano Axioms

My research is primarily in the first-order theory of Peano Arithmetic (PA). “First-order” refers to first-order logic, which I like to think of as providing a framework for formalizing mathematics. In first-order logic, we can express statements like “multiplication distributes over addition” as ““. That is, we allow ourselves to use symbols for addition and multiplication, and can build up statements using logical connectives (“and”, “or” and “not”) and quantifiers (““, meaning “for all”, or ““, meaning “there exists”).

Peano Arithmetic is a list of axioms written in this first-order language. These axioms include the above statement that multiplication distributes over addition, as well as other elementary statements about arithmetic including that addition and multiplication are commutative and associative. The other main axioms are the induction schema: an infinite list of axioms stating, essentially, for any property that can be expressed in first-order logic, if holds and, holds, then holds. In other words, for any property expressible by a formula of first-order logic , if the number 0 has that property, and, whenever n has that property, n + 1 also has that property, then every number will have that property.

The idea behind this axiom is that many facts about numbers can be proved using “proof by induction“. It was originally hoped that all number theoretic facts could be proved in this way, but Peano Arithmetic is famously incomplete.

A *model* of Peano Arithmetic is a set M, with operations and (that is, M has to be closed under addition and multiplication, so if we add or multiply two elements of M, we get another element of M), satisfying these axioms. That means that addition and multiplication will need to be commutative and associative, and multiplication should distribute over addition. Every model of PA will have the natural numbers as an initial segment, but there are also non-standard models, which contain numbers greater than any standard natural number. In fact, first order logic is not strong enough to categorically axiomatize the standard model ; that is, there is no set of first-order axioms for which the only model satisfying those axioms is the standard model.

A careful reader may wonder how it is possible for a non-standard model of arithmetic to satisfy the induction schema. The argument goes: 0 is a natural number, and if n is a natural number then n + 1 is also, so by induction, every element of a model of arithmetic should be a natural number! Of course, this presupposes the idea that the property “x is a natural number” can be expressed in first-order logic, and in fact this is not possible (the proof that this is impossible is actually just the proof that there exist non-standard models).

## Arithmetic and Set Theory

A nice result about PA is that it interprets finite set theory. In a model M of PA, if n and m are elements of M, we can define the relation to mean that the n-th bit of the binary representation of m is 1. This is expressible in in the first order language of arithmetic; that is, there is a formula expressing that the x-th bit of the binary representation of y is 1. So in any model M of PA, the set coded by an element m of M is (the set of all those indices at which the binary representation of m has a 1). For example, the number 13, represented in binary as 1101, will code the set { 0, 2, 3 } (count the places with a 1 in them from right to left, starting at 0). It’s not hard to see that every finite set can be coded by some number.

Forgetting about arithmetic for a second, we can now think of our model of PA as just containing sets, which are all related to each other by this relation. It turns out that for any model of PA, if we think of it as a model of set theory using this relation, it will satisfy all the axioms of set theory with one notable exception: the axiom of infinity. That is, this model really will look like a model of set theory, except that it will not have any infinite sets.

Set theory enjoys a special place in the foundations of mathematics: often everything (all mathematical objects, functions, spaces, etc.) is defined in terms of sets, and in particular numbers are just particular kinds of sets. That is, number theory can be formalized in terms of set theory. Here we have the opposite idea: we define sets in terms of numbers, and formalize set theory in terms of number theory (Peano Arithmetic). Anything that can be proven from finite set theory can be formalized and proven within PA.

We might hope that any question about finite mathematical objects which has an answer can be answered within PA, but it turns out this isn’t true: some arguments about finite objects really do require infinity. The video below, from the excellent YouTube channel *PBS Infinite Series*, does a great job explaining a problem where this phenomenon occurs:

# Lattices and Coded Sets – AMS Spring Eastern Sectional Meeting

I will be speaking at the Special Session on Model Theory at the 2017 AMS Spring Eastern Sectional Meeting on Saturday, May 6, 2017.

**Abstract**: Given an elementary extension of models of Peano Arithmetic (PA), the set of all such that forms a lattice under inclusion. If is an elementary end extension of and , we say is coded in if there is such that . In this talk, I will discuss the relationship between interstructure lattices and coded sets. Recent work by Schmerl determined those collections of subsets of a model which could be coded in a minimal extension; in this talk, we explore the same question for elementary extensions whose interstructure lattices form a finite distributive lattice.

# Ramsey Quantifiers – MOPA Seminar

I will be speaking at the Models of Peano Arithmetic seminar on Wednesday, September 21, 2016 on “Ramsey Quantifiers”. The abstract is listed on the NYLogic site, but for context I wanted to provide some thoughts on why I am digging up this older topic.

This theory piqued my interest while I was studying the lattice problem for models of PA. In studying this problem, it became apparent that certain combinatorial properties of representations of lattices were important. Let me preface this by saying that much of this information is in *The Structure of Models of Peano Arithmetic*, by Kossak and Schmerl, in Chapter 4 on Substructure Lattices.

A representation of a lattice on a set is an injection (where Eq(A) is the set of equivalence relations on the set A), such that for each , is the trivial relation and is the discrete relation . Given and a set , the function is defined by for each . Two representations of the same lattice, are called isomorphic if there is a bijection respecting the equivalence relations; that is, for each and , .

## The Lattice

The lattice is the Boolean Algebra on a 2 element set: (with and ). Gaifman proved that every model has an elementary end extension such that the interstructure lattice is isomorphic to (in fact, Gaifman’s proof works for every finite Boolean algebra). But we can also form such an elementary extension by studying the appropriate representation of the lattice .

Given a model , there is a particularly simple representation on the set of pairs of elements of , denoted . This representation is defined by letting be the equivalence relation determined by equality on the first coordinate, and be the equivalence relation determined by equality on the second coordinate. This representation is definable in , by using the normal coding of pairs of numbers (Cantor’s pairing function) and the induced projection functions.

The key lemma we need to construct the elementary extension is that for any definable equivalence relation on , there is a definable subset of such that is either discrete, trivial, or , and . The underlying combinatorics here is a generalization of Ramsey’s theorem for pairs, first proved by Erdős and Rado: given any equivalence relation on , there is an infinite set such that is either discrete, trivial, or . Note that this is just an infinite set of numbers, not of pairs.

This is similar to the key lemma needed when constructing *minimal* extensions. If is a model, a minimal extension is an elementary extension such that there are no proper intermediate elementary structures (that is, if , then or ). In that case, we consider any infinite definable set and show that for any definable equivalence relation on , there is an infinite definable such that that is either discrete or trivial. The main difference between these two cases is the first order expressibility of these statements. Stating that there is an infinite subset on which is discrete or trivial can be expressed in the language of first order arithmetic:

.

Even though it appears, at first, we want to say “There is an infinite set” where something holds (which would appear to be a second-order quantifier), we can state this in first order (because by “infinite” we really mean “unbounded”).

In the Erdős-Rado result, something appears to be significantly different, however. We must state: “there is an infinite set such that either (i) for all , , (ii) for all , if and only if , (iii) for all , if and only if , or (iv) for all , if and only if . In this case, we cannot replace the second-order quantifier with first order ones asserting unboundedness of some property, because we wish to quantify over pairs of elements from that (unbounded) set.

After thinking about this for awhile, my advisor mentioned a section in Chapter 10 of *The Structure of Models of Peano Arithmetic*, which discusses an extra quantifier called a “Ramsey quantifier”, denoted . This quantifier extends the language of first order logic by binding two variables. The intended interpretation of is “There is an infinite set such that for all , holds.” This is exactly the kind of extension to the language that I needed, and I hope to talk about some of the basic results in the theory of Peano Arithmetic in this augmented language (with induction for all formulas in the extended language).