Мат. лог

[Профессор Снэйп]

Maximum писал(а):

Насчет функции $h$ - введена как двухместная, а в схеме примитивной рекурсии получилась трехместной. Это как?

Исправил.

Maximum писал(а):

Насчет критерия конечной аксиоматизируемости. Блин, я протупил малец, конечно, $K$ и $K_{\Sigma}\setminus K$ должны быть аксиоматизируемы. В лекциях у нас это доказывалось в обе стороны: в одну - вообще легко, а в другую с помощью теоермы Мальцева. Чёт я не пойму как этот критерий применить к данной задаче. Просто в дополнении к К находится что попало - и чумы и не чумы. Ну да в этом дополнении например есть вумы, а они не аксиоматизируемы. Но из этого же не следует, что и всё дополнение не аксиоматизируемо! аксиоматизируемость она же ведь не наследуется от подмножества на всё множество.

А Вы добавьте к аксиомам класса $K_\Sigma \setminus K$ аксиомы ЧУМа