On extremum-searching approximate probabilistic algorithms
On reducibility of partial recursive functions.
On resemblance and recursive isomorphism types of bounded partial recursive functions.
On resemblance and recursive isomorphism types of partial recursive functions.
On the lengths of bad sequences of monomial ideals over polynomial rings
We give bad (with respect to the reverse inclusion ordering) sequences of monomial ideals in two variables with Ackermannian lengths and extend this to multiple recursive lengths for more variables.
On the reducibility of the index sets of families of general recursive functions.
On the resemblance and recursive isomorphism types of partial recursive functions.
Postscript to "Built-up systems of fundamental sequences and hierarchies of number-theoretic functions".
Primitive recursive categories and machines
Primitive recursive notations for infinitary formulas
Primitiv-rekursive Funktionen auf Termmengen.
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
Refinements of inductive inference by Popperian and reliable machines
Some remarks about the connections between combinatory logic and axiomatic recursion theory.
The algebraic uniqueness of the addition of natural numbers.
The category of recursive functions
The complexity of uniform distribution
The limit lemma in fragments of arithmetic
The recursion theoretic limit lemma, saying that each function with a graph is a limit of certain function with a graph, is provable in .
The role of rudimentary relations in complexity theory
The word problem in polycyclic groups is elementary