EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Dxx Computability and recursion theory
03D20 Recursive functions and relations, subrecursive hierarchies

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 6 of 6

The algebraic uniqueness of the addition of natural numbers.

Elemer E. Rosinger (1982)

Aequationes mathematicae

The category of recursive functions

Harry Gronshor (1972)

Fundamenta Mathematicae

The complexity of uniform distribution

Martin Goldstern (1994)

Mathematica Slovaca

The limit lemma in fragments of arithmetic

Vítězslav Švejdar (2003)

Commentationes Mathematicae Universitatis Carolinae

The recursion theoretic limit lemma, saying that each function with a $𝛴_{n + 2}$ graph is a limit of certain function with a $𝛥_{n + 1}$ graph, is provable in $B Σ_{n + 1}$ .

The role of rudimentary relations in complexity theory

Hugo Volger (1984)

Mémoires de la Société Mathématique de France

The word problem in polycyclic groups is elementary

F. B. Cannonito, R. W. Gatterdam (1973)

Compositio Mathematica

Currently displaying 1 – 6 of 6

Page 1