Jaka Cimprič: MUCHNIKOV DOKAZ TARSKI-SEIDENBERGOVEGA IZREKA

Sreda, 5. 11. 2008, ob 10. uri, v Plemljevem seminarju, Jadranska 19/III, Ljubljana.

Jaka Cimprič: MUCHNIKOV DOKAZ TARSKI-SEIDENBERGOVEGA IZREKA.

Povzetek: Tarski-Seidenbergov izrek pravi, da so projekcije
semialgebraicnih mnozic spet semialgebraicne mnozice. To je posplositev
izreka, da je projekcija poliedra spet polieder. Muchnikov dokaz je
povsem elementaren in tudi zmerne dolzine. Poleg tega iz njega sledi se
strukturni izrek za semialgebraicne mnozice, ki mu pravimo "cilindricna
algebraicna dekompozicija".