Seminar OMR FNM

Vodja seminarja: Mateja Grašič
Predavanja potekajo ob sredah ob 15:00 v seminarski sobi P1 (Gosposvetska cesta 84, v 4. Nadstropju).

Bodoča predavanja

Minula predavanja

Varieties of algebras with undecidable laws and solvable word problems

Predavatelj: prof. dr. Siniša Crvenković z Univerze v Novem Sadu

Seminar bo izjemoma ob 13.00 uri.
 
We present examples of varieties of algebras V, in which every finitely presented algebra has decidable Word Problem, but for which no uniform algorithm exists which solves the Word Problem for an arbitrary finitely presented algebra in V. Our examples of varieties have undecidable Equational Theories.
Accessibility