August 2020
Relations, Well-Foundedness, and Noetherian Induction
What exactly does induction require? We generalize the natural numbers with well-founded relations, and correspondingly generalize induction.
Foundations
Read more →Tag
August 2020
What exactly does induction require? We generalize the natural numbers with well-founded relations, and correspondingly generalize induction.