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

Posted in Math | Tagged , , | Leave a comment

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

Posted in Math | Tagged , | 1 Comment