I am a 2011 Computer Science graduate of Christian Brothers University, the 14th user (13th enumerating from zero) to join Cantor's Attic, and the 5th user (4th enumerating from zero) to create a user profile page. I am interested in general abstract nonsense, transfiniteset theory (particularly large cardinals), and perennial philosophy.
- Proper classes, A table of commonly encountered proper classses
- Maximally strong reflection principles
- The Canonical List, A table of commonly encountered sets, sequences, and proper classes along with their cardinalities and associated order types
Interactive Set Theory software I've written
- Aleph enumerator, Enter a small finite positive integer (e.g., 10 - 20), and watch a sequence of hyperlinked alephs generated. I've intended on extending it to a large cardinal enumerator along with their associated ordinals and well-founded sets of each particular cardinality.