About the author
I am a Canadian mathematician interested in ring theory, module theory, p-adic groups, logic, combinatorics, and most other topics in algebra. I got my undergraduate degree at the University of Ottawa, and then later my M.Sc. and Ph.D. in mathematics at McGill University.
Some of my other interests include ballroom dancing, birdwatching, photography, piano, and programming.
About the blog
I started Aleph Zero Categorical in 2011 when I was started my PhD in mathematics at McGill University. The primary purpose of this blog is to showcase mathematical abstraction and its beauty in the realm of pure mathematics, especially in algebra. Most of this blog is written to be comprehensible by someone who has taken algebra in graduate school, and much of it can be read with even fewer prerequisites.
Seven years later this blog has not changed much. It is basically an outlet for explaining what I like to think about and read. This blog still exists because I've found I really enjoy writing exposition.
Aleph Zero Categorical, written in symbols as $\aleph_0$ categorical, refers to a concept in model theory called categoricity. For a cardinal $ \kappa$, a theory of first order logic is called $ \kappa$-categorical if it has only one model of cardinality $ \kappa$ up to isomorphism.
A theory with only infinite models that is $ \aleph_0$ categorical is complete. This is known as the Vaught-Tarski test.
The tagline "There Can Be Only One" refers to the movie and later television show "Highlander", which was was a frequent phrase uttered throughout the series, and which also was part of the introductory blurb in every episode. This plays on "Aleph Zero Categorical" in that there can be only one countable aleph zero categorical model up to isomorphism.