...-definierbare Funktionen auf Peanoalgebren.
“Disorder” in lattices of binumerations
-tautologies, uniform and non-uniform upper bounds in computation theory
Una -tautologia è una tautologia del tipo avente un solo interpolante di Craig , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.
-principal numberings.
-cofinalities of
-допустимые семейства над линейными порядками.
-предикаты конечных типов над допустимым множеством
Автоморфизмы булевых алгебр, рeкурсивных на атомах.
Автоморфизмы конструктивизаций булевых алгебр.
Автономная вычислимость.
Автоустойчивость булевых алгебр с выделенным идеалом.
Автоустойчивость гиперарифметических моделей
Автоустойчивость и вычислимые семейства конструктивизаций.
Автоустойчивость моделей
Автоустойчивость моделей и абелевых групп
Аксиома сравнимого выбора и униформизуемость проективных классов.
Аксиомы отделимости и разбиения натурального ряда
Алгебра частично рекурсивных функций
Алгебраически неэквивалентные конструктивизации бесконечномерного векторного пространства
Алгебраические эквиваленты разрешимости теоретико-групповых алгоритмических проблем