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 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