Monday, July 27, 2015

The existential theory is undecidable

Hey!! :o

I am reading the theorem below and I have some questions…

*Lemma 1.*

For any $x$ in the ring $F[t,t^{-1}]$ ($F[t,t^{-1}]$:…


No comments:

Post a Comment