# Notes from the Margin XV

Winter 2023 | Hiver 2023

All posts related to the Margin. This is a parent category to aggregate all Margin-related stuff on the site.

We are now accepting submissions for the Winter 2023 edition of *Notes from the Margin*! The deadline to submit has been extended to October 15th, 2023. Do you have summer research that you want to share? Or maybe you have an opinion about math education? Or a fun math puzzle? If you want to write about it we want to read it!

Do you want to share your love of math with a community of like-minded mathematics students? Or maybe you have a research project that you’re passionate about and want to share. Notes from the Margin wants to hear from you!

Notes from the Margin is the publication of the CMS Student Committee, and we accept articles with topics ranging from original research, expository articles, math puzzles, discussions on career and academia, math history, and opinion pieces.

More

After a brief hiatus, the CMS student publication Notes from the Margin will be returning in June 2023! All mathematics students are encouraged to submit articles, in English or French. Topics range from original research, expository articles, math puzzles, discussions on career and academia, math history, and opinion pieces. Past publications are found at https://studc.math.ca/notes-from-the-margin/

More

Stuck at home? Our back catalogue of *Notes from the Margin* is always available on Issuu with its jokes, quirks, and equations.

There’s a fresh issue coming this summer, featuring articles from CUMC 2019 Award for Excellence winners.

StudC is always on the lookout for opinion pieces, math-related stories, concise research-related articles, as well as puzzles and riddles for the Distractions page. We accept articles written in both English and French from Canadian students. Contact us for further details.

*Notes from the Margin*, the twice-yearly CMS Studc publication featuring student writing for a general mathematical audience, has for several years provided a platform for topics from higher-order Fourier analysis to tenure-track job interviews. We are excited to present this first post on the *Notes from the Margin* blog, which will complement but not replace the semi-annual print publication. We invite submissions year-round at student-editor@cms.math.ca*.*

**The article for “October” is in French, it is available here.**

*Notes from the Margin, the twice-yearly CMS Studc publication featuring student writing for a general mathematical audience, has for several years provided a platform for topics from higher-order Fourier analysis to tenure-track job interviews. We are excited to present this first post on the Notes from the Margin blog, which will complement but not replace the semi-annual print publication. We invite submissions year-round at student-editor@cms.math.ca.*

With consequences such as the Upward Löwenheim-Skolem Theorem, the Compactness Theorem is one of the most foundational results in the study of first-order logic. It is common to see only a Henkin-style syntactic proof or a lay-it-on-the-anvil ultraproduct proof of first-order compactness. However illuminating these proofs are, neither of them illustrate a topological picture of what the theorem represents. As one might guess, this picture is where the theorem gained its name.

A few clarifications before we begin: We define an –*theory* to be a set of first-order logic sentences written in the language which is closed under logical consequence. For example, the uniqueness of the group-theoretic inverse

is a sentence in the -theory of groups, because it follows from the group axioms. An -theory is called *consistent* if does not belong to when belongs to . Note that I have chosen to draw no distinction between two sentences which are logically equivalent, and that “iff” should read “if and only if.”

**Compactness Theorem.** Fix a language of symbols , and let be an -theory. Then is consistent iff every finite subset of is consistent.

Considering the compactness theorem is a statement about consistent -theories, it should seem sensible to topologize this collection. There turns out to be a natural way of doing this, but the fact of the matter is this: The set of all consistent -theories is unnecessarily complicated for our purposes! All we need to encode in our open sets are which finite subsets belong to an -theory. It is sufficient to focus our attention on a much better behaved collection of -theories.

**Definition. **An -theory is *complete *if for any -sentence , either or .

In other words, complete theories decide on the truth-value of every sentence. To motivate the attention we give this special class of theories, one should verify for themselves the following properties of complete theories, omitting the parenthetical content either altogether or not at all:

(1) Each (consistent) -theory is contained in some complete (and consistent) -theory,

(2) any intersection of (consistent) -theories is also a (consistent) -theory, and

(3) an -theory is determined precisely by the set of complete -theories which contain it.

In particular, (3) holds for single sentences.

I will denote the collection of complete and consistent -theories with . We define a topology on as follows: For each -sentence , let denote the collection of -theories containing . Then

is a basis for a topology called the *Stone topology on* (named after the mathematician M. H. Stone). To see that this is true, notice that , that , and that . The theorem which follows is exactly the connection between topological and logical compactness.

**Lemma.** A subset covers iff is inconsistent.

*Proof. *

**Theorem.** is compact iff the Compactness Theorem holds.

*Proof*. Suppose that the Compactness Theorem holds, and let be a collection from which covers . Every element of is of the form , so we can form a set out of the -sentences . By the lemma, is an inconsistent set of sentences, so the Compactness Theorem tells us there is a finite subset of which is inconsistent. We are left with a finite subset of which covers . was chosen arbitrarily, so must be compact.

Suppose that is compact, and let be an -theory. If is inconsistent, then the lemma tells us is an open cover of . is compact, so a finite subset covers . The collection is a finite subset of which is inconsistent. On the other hand, if has a finite inconsistent subset , then is inconsistent and there is nothing to show.

What amazes me about the illustration above is that it approaches consistency in first-order logic from a purely topological perspective. Further inquiries in this direction can be found in [2] and [3], and a proof that is compact can be found somewhere in [1].

**Bibliography**.

[1] *A Topological Viewpoint of Logic and the Compactness Theorem* (2016). T Schmid. Link.

[2] *Ultrafilters, ultraproducts, and the Compactness Theorem* (2009). A Caicedo. Link.

[3] *Notes On Ultrafilters*. A Kruckman. Link.

*Todd Schmid is an undergraduate at the University of Victoria. He likes long beach walks, the overlap of geometry and logic, and strange Scandinavian films. Among his favourite quotations is this one by César Vallejo: “Beloved be the ones who sit down.”*