Selfgenerating sequences and different types of computational devices [Abstract of thesis]
Semisemiological structure of the prime numbers and conditional Goldbach theorems.
The boundedness principle in ordinal recursion
The finite levels of the hierarchy of effective R-sets
The operator gap theorem in ...-recursion theory.
Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis]
Two notes on formalized topology
Una introducción a la W-calculabilidad: Operaciones básicas.
Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,≤). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.
Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen.
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.
-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.
-cofinalities of
-допустимые семейства над линейными порядками.
-предикаты конечных типов над допустимым множеством
Автономная вычислимость.
Ещё раз о счетно-категоричных предложениях.
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
Итерированная клиниевская вычислимость.
Итерированная клиниевская вычислимость и суперджамп
Конструктивная классификация арифметических предикатов и семантические базисы арифметики