Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708): Difference between revisions

@@ Property / OpenAlex ID @@
+W2963924115
@@ Property / OpenAlex ID: W2963924115 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0697
@@ Property / arXiv ID: 1210.0697 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-branching degrees in the Medvedev lattice of Π<sub>1</sub><sup>0</sup> classes
+Normal rank
@@ Property / cites work @@
+More on Wadge determinacy
@@ Property / cites work: More on Wadge determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Some intuitionistic equivalents of classical principles for degree 2 formulas
+Normal rank
@@ Property / cites work @@
+Games with 1-backtracking
@@ Property / cites work: Games with 1-backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for limit computable mathematics
+Normal rank
@@ Property / cites work @@
+A splitting theorem for the Medvedev and Muchnik lattices
+Normal rank
@@ Property / cites work @@
+Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+Toward a mathematical theory of inductive inference
+Normal rank
@@ Property / cites work @@
+Effective Borel measurability and reducibility of functions
+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 @@
+Q5150974
@@ Property / cites work: Q5150974 / 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 @@
+The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
+Normal rank
@@ Property / cites work @@
+Q4300060
@@ Property / cites work: Q4300060 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning to win process-control games watching game-masters
+Normal rank
@@ Property / cites work @@
+Density of the Medvedev lattice of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+Q4249723
@@ Property / cites work: Q4249723 / rank @@
+Normal rank
@@ Property / cites work @@
+Immunity and non-cupping for closed sets
@@ Property / cites work: Immunity and non-cupping for closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Analytic machines
@@ Property / cites work: Analytic machines / rank @@
+Normal rank
@@ Property / cites work @@
+The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable
+Normal rank
@@ Property / cites work @@
+Topological properties of concept spaces (full version)
+Normal rank
@@ Property / cites work @@
+Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
+Normal rank
@@ Property / cites work @@
+Q5619076
@@ Property / cites work: Q5619076 / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of procrastination in machine learning
+Normal rank
@@ Property / cites work @@
+Limiting recursion
@@ Property / cites work: Limiting recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4420735
@@ Property / cites work: Q4420735 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics based on incremental learning -- excluded middle and inductive inference
+Normal rank
@@ Property / cites work @@
+Hierarchies of function classes defined by the first-value operator
+Normal rank
@@ Property / cites work @@
+Topological complexity with continuous operations
@@ Property / cites work: Topological complexity with continuous operations / rank @@
+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 @@
+A Survey of Mučnik and Medvedev Degrees
@@ Property / cites work: A Survey of Mučnik and Medvedev Degrees / rank @@
+Normal rank
@@ Property / cites work @@
+An Application of Martin-Löf Randomness to Effective Probability Theory
+Normal rank
@@ Property / cites work @@
+Introduction to computability logic
@@ Property / cites work: Introduction to computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential operators in computability logic
@@ Property / cites work: Sequential operators in computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+Toggling operators in computability logic
@@ Property / cites work: Toggling operators in computability logic / rank @@
+Normal rank
@@ Property / cites work @@
+The space of class $\alpha$ Baire functions
@@ Property / cites work: The space of class $\alpha$ Baire functions / rank @@
+Normal rank
@@ Property / cites work @@
+Borel isomorphisms at the first level, II
@@ Property / cites work: Borel isomorphisms at the first level, II / rank @@
+Normal rank
@@ Property / cites work @@
+First level Borel functions and isomorphisms
@@ Property / cites work: First level Borel functions and isomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864470
@@ Property / cites work: Q4864470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Borel functions using the Shore–Slaman join theorem
+Normal rank
@@ Property / cites work @@
+Closed Choice for Finite and for Convex Sets
@@ Property / cites work: Closed Choice for Finite and for Convex Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Mind change efficient learning
@@ Property / cites work: Mind change efficient learning / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of Baire one star functions
@@ Property / cites work: A classification of Baire one star functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848894
@@ Property / cites work: Q5848894 / rank @@
+Normal rank
@@ Property / cites work @@
+Game representations of classes of piecewise definable functions
+Normal rank
@@ Property / cites work @@
+On the Structure of Finite Level and <i>ω</i>-Decomposable Borel Functions
+Normal rank
@@ Property / cites work @@
+Q5537381
@@ Property / cites work: Q5537381 / rank @@
+Normal rank
@@ Property / cites work @@
+Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
+Normal rank
@@ Property / cites work @@
+Q4546091
@@ Property / cites work: Q4546091 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately differentiable functions: The r-topology
+Normal rank
@@ Property / cites work @@
+Structural measures for games and process control in the branch learning model
+Normal rank
@@ Property / cites work @@
+On the (semi)lattices induced by continuous reducibilities
+Normal rank
@@ Property / cites work @@
+Q2774507
@@ Property / cites work: Q2774507 / rank @@
+Normal rank
@@ Property / cites work @@
+Trial and error predicates and the solution to a problem of Mostowski
+Normal rank
@@ Property / cites work @@
+Q3574471
@@ Property / cites work: Q3574471 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding true arithmetic in the Medvedev and Muchnik degrees
+Normal rank
@@ Property / cites work @@
+On degrees of unsolvability
@@ Property / cites work: On degrees of unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Mass Problems and Randomness
@@ Property / cites work: Mass Problems and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the recursively enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+Q3530405
@@ Property / cites work: Q3530405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Mass problems associated with effectively closed sets
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing Borel sets and functions and the structure of Baire class 1 functions
+Normal rank
@@ Property / cites work @@
+Some remarks on the algebraic structure of the Medvedev Lattice
+Normal rank
@@ Property / cites work @@
+Intermediate logics and factors of the Medvedev lattice
+Normal rank
@@ Property / cites work @@
+Q3567853
@@ Property / cites work: Q3567853 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Commutative Infinitary Peano Arithmetic
@@ Property / cites work: Non-Commutative Infinitary Peano Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of a function with jumps: Effective uniformity and limiting recursion
+Normal rank
@@ Property / cites work @@
+The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis
+Normal rank
@@ Property / cites work @@
+Real hypercomputation and continuity
@@ Property / cites work: Real hypercomputation and continuity / rank @@
+Normal rank
@@ Property / cites work @@
+Revising Type-2 Computation and Degrees of Discontinuity
+Normal rank
@@ Property / cites work @@
+(Short) Survey of Real Hypercomputation
@@ Property / cites work: (Short) Survey of Real Hypercomputation / rank @@
+Normal rank
@@ Property / cites work @@
+Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra
+Normal rank