A minimal pair of k-degreesCSIMA, Barbara F; MONTALBAN, Antonio.Proceedings of the American Mathematical Society. 2006, Vol 134, Num 5, pp 1499-1502, issn 0002-9939, 4 p.Article

Global properties of the lattice of Π⁰1 classesCENZER, Douglas; NIES, André.Proceedings of the American Mathematical Society. 2004, Vol 132, Num 1, pp 239-249, issn 0002-9939, 11 p.Article

Intersection types for λ-treesVAN BAKEL, Steffen; BARBANERA, Franco; DEZANI-CIANCAGLINI, Mariangiola et al.Theoretical computer science. 2002, Vol 272, Num 1-2, pp 3-40, issn 0304-3975Article

Computational complexity of arithmetical sentencesSHIH PING TUNG.Information and computation (Print). 1995, Vol 120, Num 2, pp 315-325, issn 0890-5401Article

Automates calculant la complexité de suites automatiques = Automata computing complexity of automatic sequencesTAPSOBA, T.Journal de théorie des nombres de Bordeaux. 1994, Vol 6, Num 1, pp 127-134, issn 1246-7405Article

Complexity of winning strategies for Δ₂⁰ gamesRANA BARUA.Proceedings of the American Mathematical Society. 1993, Vol 117, Num 1, pp 227-233, issn 0002-9939Article

On the minimality of tame models in the isolsBARBACK, J.Proceedings of the American Mathematical Society. 1993, Vol 119, Num 3, pp 935-939, issn 0002-9939Article

A survey of one-way functions in complexity theorySELMAN, A. L.Mathematical systems theory. 1992, Vol 25, Num 3, pp 203-221, issn 0025-5661Article

Constructing sets of functions which have a given F-cardinalityHUCKENBECK, U.Mathematical systems theory. 1992, Vol 25, Num 1, pp 3-22, issn 0025-5661Article

A proof of Beigel's cardinality conjectureKUMMER, M.The Journal of symbolic logic. 1992, Vol 57, Num 2, pp 677-681, issn 0022-4812Article

On co-simple isols and their intersection typesDOWNEY, R; SLAMAN, T. A.Annals of pure and applied logic. 1992, Vol 56, Num 1-3, pp 221-237, issn 0168-0072Article

Polynomial-time analogues of isolatednessHARKLEROAD, L.Annals of pure and applied logic. 1992, Vol 56, Num 1-3, pp 173-182, issn 0168-0072Article

Undecidability of the identity problem for finite semigroupsALBERT, D; BALDINGER, R; RHODES, J et al.The Journal of symbolic logic. 1992, Vol 57, Num 1, pp 179-192, issn 0022-4812Article

The undecidability of k-provabilityBUSS, S. R.Annals of pure and applied logic. 1991, Vol 53, Num 1, pp 75-102, issn 0168-0072Article

Recursive functionals and quantifiers of finite types revisited. VKLEENE, S. C.Transactions of the American Mathematical Society. 1991, Vol 325, Num 2, pp 593-630, issn 0002-9947Conference Paper

A 1-generic degree which bounds a minimal degreeKUMABE, M.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 733-743, issn 0022-4812, 11 p.Article

A uniform method for proving lower bounds on the computational complexity of logical theoriesCOMPTON, K. J; WARD HENSON, C.Annals of pure and applied logic. 1990, Vol 48, Num 1, pp 1-79, issn 0168-0072, 79 p.Article

Boolean algebras and orbits of the lattice of r.e sets modulo the finite setsCHOLAK, P.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 744-760, issn 0022-4812, 17 p.Article

Regressive isols and the relation ya≤ybBARBACK, J.Journal of the London Mathematical Society. 1990, Vol 41, Num 1, pp 1-9, issn 0024-6107, 9 p.Article

Operative vs. combinatory spacesIVANOV, L.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 561-572, issn 0022-4812, 12 p.Article

Pavis of recursive structuresASH, C. J; KNIGHT, J. F.Annals of pure and applied logic. 1990, Vol 46, Num 3, pp 211-234, issn 0168-0072, 24 p.Article

When is arithmetic possible?MCCOLM, G. L.Annals of pure and applied logic. 1990, Vol 50, Num 1, pp 29-51, issn 0168-0072, 23 p.Article

Isols and generalized Boolean algebrasDEKKER, J. C. E.The Rocky Mountain journal of mathematics. 1990, Vol 20, Num 1, pp 107-115, issn 0035-7596Article

Recursion theory week, Oberwolfach, FRG, March 19-25, 1989AMBOS-SPIES, K; MÜLLER, G. H; SACKS, G. E et al.Lecture notes in mathematics. 1990, Vol 1432, issn 0075-8434, 399 p.Conference Proceedings

Classical recursion theory. The theory of functions and sets of natural numbersODIFREDDI, P.Studies in logic and the foundations of mathematics. 1989, Vol 125, issn 0049-237X, XVII-641 pArticle