Around 1960, Bjarni Jónsson was analyzing the structural consequences of P. M. Whitman’s solution to the word problem for free lattices , and made the following observation. Whitman had shown that every element in Free(X) can be represented by a unique (up to associativity and commutativity) shortest term ω.
|Title of host publication||Lattice Theory|
|Subtitle of host publication||Special Topics and Applications|
|Publisher||Springer International Publishing|
|Number of pages||43|
|Publication status||Published - Jan 1 2016|
ASJC Scopus subject areas