Praca polegała na przygotowaniu prezentacji i referatu przedstawionych podczas 56. konferencji Historii Logiki, odbywającej się w Krakowie w dniach 26-27 października 2010, organizowanej przez Zakład ... więcej

Praca polegała na przygotowaniu prezentacji i referatu przedstawionych podczas 56. konferencji Historii Logiki, odbywającej się w Krakowie w dniach 26-27 października 2010, organizowanej przez Zakład Logiki Uniwersytetu Jagiellońskiego. [...] Referat omawia zagadnienie przenoszenia sie przez termalną równoważność własności skończonej aksjomatyzowalności dla pewnych konkretnych matryc trójelementowych. Główny przedstawiany rezultat głosi, że dla trójelementowych matryc z jedną binarną operacją, z jednym wyróżnionym elementem, spełniających prawo x(yz) można udowodnić, że własność posiadania skończonej bazy jak i własność skończonej aksjomatyzacji przenoszą się przez termalną równoważność. W szczególności, dla pewnej najmniejszej (w sensie liczby elementów) możliwej matrycy, która nie jest skończenie aksjomatyzowalna można udowodnić, że żadna matryca jej termalnie równoważna nie jest skończenie aksjomatyzowalna.