Retraceable homogeneous sets
Some remarks about the connections between combinatory logic and axiomatic recursion theory.
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
The C k Space
In this article, we formalize continuous differentiability of realvalued functions on n-dimensional real normed linear spaces. Next, we give a definition of the Ck space according to [23].
The lattices of numerations of theories containing Peano's arithmetic
Über rekursive Strukturen.
What Is A Mathematical Theory?
Автоустойчивость и вычислимые семейства конструктивизаций.
Алгебра частично рекурсивных функций
Алгебры рекурсивных функций
Верхняя полурешётка .
Верхняя полурешетка нумераций конечного множества.
Двухэлементное отделимое нумерованное множество с неразрешимой проблемой .
Дополнение к статье Ю.Л.Ершова"Верхняя полурешетка нумераций конечного множества".
Исчисления равенств для классов Гжегорчика
Исчисления с монотонными выводами и их экономическая интерпретация
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
Классификация пространств операторов конечных типов
Конструктивизируемость суператомных булевых алгебр.
Конструктивная классификация арифметических предикатов и семантические базисы арифметики