
Recent Posts
 A new book: the representation theory of finite monoids
 The uniform word problem for finite semigroups
 The first order theory of two endomorphisms of a finite dimensional vector space is undecidable
 Equalizers of free monoid morphisms, supports of rational power series and a question of Pin
 Isomorphism of oriented matroids from a semigroup viewpoint
Archives
Categories
Meta
Tag Archives: logic
The uniform word problem for finite semigroups
The goal of this post is to prove the following theorem of Gurevich. Stronger results have been proven by Mark Sapir and can be found in his survey with Olga Kharlampovich. The version stated here lets one prove the results … Continue reading
The first order theory of two endomorphisms of a finite dimensional vector space is undecidable
I was asked by Melvvyn Nathanson to give a talk last year at his summer number theory seminar at the CUNY grad center about problems of wild type and in what sense they are wild. Many books, papers and lecture … Continue reading