


default search action
Computability, Volume 8
Volume 8, Number 1, 2019
- Mark Armstrong, Jeffery I. Zucker:

Notions of semicomputability in topological algebras over the reals. 1-26 - Petr A. Golovach, Matthew Johnson, Barnaby Martin

, Daniël Paulusma
, Anthony Stewart:
Surjective H-colouring: New hardness results. 27-42 - Lars Kristiansen:

On subrecursive representability of irrational numbers, part II. 43-65 - Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen:

Feasible set functions have small circuits. 67-98
Volume 8, Number 2, 2019
- Russell Miller:

Isomorphism and classification for countable structures. 99-117 - John Longley:

Bar recursion is not computable via iteration. 119-153 - Eric P. Astor, Denis R. Hirschfeldt:

Dense computability, upper cones, and minimal pairs. 155-177 - Timothy H. McNicholl, Donald M. Stull:

The isometry degree of a computable copy of ℓ p. 179-189
Volume 8, Numbers 3-4, 2019
- Vasco Brattka

, Rod Downey, Julia F. Knight, Steffen Lempp:
Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018. 191 - Uri Andrews

, Andrea Sorbi:
Joins and meets in the structure of ceers. 193-241 - Ellen Chih, Rod Downey:

Splitting theorems and low degrees. 243-252 - Barbara F. Csima, Damir D. Dzhafarov

, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick:
The reverse mathematics of Hindman's Theorem for sums of exactly two elements. 253-263 - Ekaterina B. Fokina

, Dino Rossegger
, Luca San Mauro
:
Measuring the complexity of reductions between equivalence relations. 265-280 - Guido Gherardi, Alberto Marcone

, Arno Pauly:
Projection operators in the Weihrauch lattice. 281-304 - Noam Greenberg, Rutger Kuyper, Dan Turetsky:

Cardinal invariants, non-lowness classes, and Weihrauch reducibility. 305-346 - Matthew Harrison-Trainor:

A first-order theory of Ulm type. 347-358 - Matthew Harrison-Trainor, Bakh Khoussainov, Daniel Turetsky:

Effective aspects of algorithmically random structures. 359-375 - Ulrich Kohlenbach:

On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. 377-387 - Iván Ongay-Valverde, Noah David Schweber:

Effective localization number: Building k-surviving degrees. 389-398 - Klaus Weihrauch:

Computable planar curves intersect in a computable point. 399-415

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














