Table of Contents


October 2021

The FTFGMPID is one heck of an over powered theorem. It pretty quickly gives you the classification of finitely generated abelian groups, the Jordan normal form, etc. Read more

Relations, Well-Foundedness, and Noetherian Induction

August 2020

What exactly does induction require? We generalize the natural numbers with the notion of a well-founded relation, and correspondingly generalize induction. Read more