Mathematical logic seminar - Mar 3 2020

Time: 3:30pm - 4:30 pm

Room: Wean Hall 8220

Speaker:     Rick Statman    
CMU

Title: Son of the Vagabond (group)

Abstract:

The Thompson-Higman monoid has been rediscovered at least 9 times in the last 60 years.We give a survey of decision problems for this ubiquitous semigroup.