FTFGMPID
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 moreRelations, 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