On Induction Principles for Partial Orders

Various forms of mathematical induction (induction for natural numbers, transfinite induction, structural induction, well-founded induction, Noetherian induction, etc.) are applicable to domains with some kinds of order. This naturally leads to the questions about the possibility of unification of d...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Logica universalis 2022-06, Vol.16 (1-2), p.105-147
1. Verfasser:	Ivanov, Ievgen
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Domains Logic Mathematics Mathematics and Statistics Number theory Principles Set theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!