What Is A Mathematical Theory?
What the finitization problem is not
Аксиоматизируемость одной проекции универсально аксиомтизируемого класса алгебраических систем
Многообразия логических матриц
Нерегулярное исчисление предикатов первого порядка.
О функциональной полноте в некоторых логиках, промежуточных между классической и интуиционистской
Обобщенные вычисления и арифметика третьей ступени.
Предтабличные расширения логики S4 Льюиса.
Сколемовские функции и конструктивные модели.
Теорема об устранимости сечения для релевантных логик