Lemma Higmanianum in mathematica dicit copiam sequentiarum finitarum per alphabetum finitum, per relationem subsequentiae partim ordinatam, est bene-quasi-ordinatam. Quod dicere vult si

sit infinita verborum sequentia per quoddam alphabetum fixum finitum, tum tam fiunt indices

ut

obtineri potest ex

per delenda nonnulla (fortasse nulla) symbola. Plerumque hoc manet verum cum alphabetum non necessarie sit finitum, sed se est bene-quasi-ordinatum, et relatio subsequentiae sinit ut symbola a symbolis prioribus in schedis bene-quasi-ordinatis substituuntur. Hic est specialis theorematis arborei Kruskaliani posterioris casus. Hoc lemma ex Graham Higman, qui id anno 1952 protulit, appellatur.

Notae recensere

  • Higman, Graham. 1952. Ordering by divisibility in abstract algebras. Proceedings of the London Mathematical Society ser. 3, 2(7):326–336. doi 10.1112/plms/s3-2.1.326.
 

Haec stipula ad mathematicam spectat. Amplifica, si potes!