Many-one reductions and the category of multivalued functions (Q2973252): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3151
@@ Property / arXiv ID: 1102.3151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3778006
@@ Property / cites work: Q3778006 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative complexity of NP search problems
@@ Property / cites work: The relative complexity of NP search problems / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Decision Versus Search
@@ Property / cites work: The Complexity of Decision Versus Search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842968
@@ Property / cites work: Q4842968 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed choice and a uniform low basis theorem
@@ Property / cites work: Closed choice and a uniform low basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Choice and Boundedness Principles in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Weihrauch degrees, omniscience principles and weak computability
+Normal rank
@@ Property / cites work @@
+Probabilistic computability and choice
@@ Property / cites work: Probabilistic computability and choice / rank @@
+Normal rank
@@ Property / cites work @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+On the Computational Content of the Brouwer Fixed Point Theorem
+Normal rank
@@ Property / cites work @@
+On the algebraic structure of Weihrauch degrees
@@ Property / cites work: On the algebraic structure of Weihrauch degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5150974
@@ Property / cites work: Q5150974 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Turing categories
@@ Property / cites work: Introduction to Turing categories / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+Restriction categories as enriched categories
@@ Property / cites work: Restriction categories as enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Restriction categories III: colimits, partial limits and extensivity
+Normal rank
@@ Property / cites work @@
+A dialectica-like model of linear logic
@@ Property / cites work: A dialectica-like model of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365081
@@ Property / cites work: Q5365081 / rank @@
+Normal rank
@@ Property / cites work @@
+Dominical categories: recursion theory without elements
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of pure Nash equilibria
@@ Property / cites work: The complexity of pure Nash equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+How incomputable is the separable Hahn-Banach theorem?
+Normal rank
@@ Property / cites work @@
+The degree structure of Weihrauch-reducibility
@@ Property / cites work: The degree structure of Weihrauch-reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of the Radon-Nikodym Derivative
@@ Property / cites work: Computability of the Radon-Nikodym Derivative / rank @@
+Normal rank
@@ Property / cites work @@
+How easy is local search?
@@ Property / cites work: How easy is local search? / rank @@
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Theory for Operators in Analysis
@@ Property / cites work: Complexity Theory for Operators in Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Function Spaces for Second-Order Polynomial Time
@@ Property / cites work: Function Spaces for Second-Order Polynomial Time / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677755
@@ Property / cites work: Q3677755 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the parity argument and other inefficient proofs of existence
+Normal rank
@@ Property / cites work @@
+Q3075220
@@ Property / cites work: Q3075220 / rank @@
+Normal rank
@@ Property / cites work @@
+On the (semi)lattices induced by continuous reducibilities
+Normal rank
@@ Property / cites work @@
+Multi-valued Functions in Computability Theory
@@ Property / cites work: Multi-valued Functions in Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the topological aspects of the theory of represented spaces
+Normal rank
@@ Property / cites work @@
+Relative computability and uniform continuity of relations
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal pair of recursively enumerable degrees
@@ Property / cites work: A minimal pair of recursively enumerable degrees / rank @@
+Normal rank