A bound for Dickson's lemma

We consider a special case of Dickson's lemma: for any two functions $f,g$ on the natural numbers there are two numbers $i

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Logical methods in computer science 2017-09, Vol.13, Issue 3
Hauptverfasser:	Josef Berger, Helmut Schwichtenberg
Format:	Artikel
Sprache:	eng
Schlagworte:	03f60 mathematics - logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We consider a special case of Dickson's lemma: for any two functions $f,g$ on the natural numbers there are two numbers $i
ISSN:	1860-5974
DOI:	10.23638/LMCS-13(3:30)2017