Beweis - Unentscheidbarkeit |
| 12.08.2015, 09:58 | Auf diesen Beitrag antworten » |
| marie m | Beweis - Unentscheidbarkeit Hallo, weiss jemand in welchen paper von Denef ich den Beweis, dass die existentielle Theorie von einen Polynomring auf eine Sprache unentscheidbar ist, finden kann? |
|
|
|
| 12.08.2015, 16:09 | Auf diesen Beitrag antworten » |
| Karlito | Ist es das? http://www.ams.org/journals/tran/1978-24...8-0491583-7.pdf Gruß, Karlito |
|
|
