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