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

Relations, Well-Foundedness, and Noetherian Induction

August 2020

What exactly does induction require? We generalize the natural numbers with the notion of a