Related papers: A Survey of Muchnik and Medvedev degrees
It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial $\Pi^0_1$ subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to learnability and piecewise…
The Medvedev degree of a subshift is a dynamical invariant of computable origin that can be used to compare the complexity of subshifts that contain only uncomputable configurations. We develop theory to describe how these degrees can be…
We introduce a hierarchy of degree structures between the Medvedev and Muchnik lattices which allow varying amounts of non-uniformity. We use these structures to introduce the notion of the uniformity of a Muchnik reduction, which expresses…
We study Medvedev reducibility in the context of set theory -- specifically, forcing and large cardinal hypotheses. Answering a question of Hamkins and Li \cite{HaLi}, we show that the Medvedev degrees of countable ordinals are far from…
We compare the degrees of enumerability and the closed Medvedev degrees and find that many situations occur. There are nonzero closed degrees that do not bound nonzero degrees of enumerability, there are nonzero degrees of enumerability…
The notion of the weighted degree of a polynomial is a basic tool in Affine Algebraic Geometry. In this paper, we study the properties of the weighted multidegrees of polynomial automorphisms by a new approach which focuses on stable…
We include here some material that did not make its way into the published version (Bull. Symb. Log 18-2, June 2012, pp. 161-229, arXiv:1007.2376), in particular a proof of Theorem K to the effect that there is an initial segment of the…
Our aim is to investigate spaces with sigma-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of…
We show that the (truth-table) Medvedev degree KLR of Kolmogorov--Loveland randomness coincides with that of Martin L\"of randomness, MLR, answering a question of Miyabe. Next, an analogue of complex packing dimension is studied which gives…
Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…
In this article, we give a full description of the Wadge degrees of Borel functions from $\omega^\omega$ to a better quasi ordering $\mathcal{Q}$. More precisely, for any countable ordinal $\xi$, we show that the Wadge degrees of…
In a complete metric space that is equipped with a doubling measure and supports a Poincar\'e inequality, we study strict subsets, i.e. sets whose variational capacity with respect to a larger reference set is finite, in the case $p=1$.…
We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…
We introduce the concept of degree to classify the periods in the sense of Kontsevich. Using this notion we give some new understanding of some problems in transcendental number theory.
The main result of this article is that all but finitely many points of small enough degree on a curve can be written as a pullback of a smaller degree point. The main theorem has several corollaries that yield improvements on results of…
In this note we investigate the problem of determining elements of the Selberg class from their Dirichlet series coefficients at the primes. We show that this is possible when the degree is one, but in general need an additional weak…
We consider irreducible lowest-weight representations of Cherednik algebras associated to certain classes of complex reflection groups in characteristic p. In particular, we study maximal graded submodules of Verma modules associated to…
For $n\geq 2$, $p\in(1,n)$, the "best $p$-Sobolev inequality" on an open set $\Omega\subset\mathbb{R}^n$ is identified with a family $\Phi_\Omega$ of variational problems with critical volume and trace constraints. When $\Omega$ is bounded…
In this study, we introduce graded pseudo weakly prime submodules of G-graded R-modules, which are an extension of graded weakly prime ideals over G-graded rings. On the graded spectrum of graded pseudo weakly prime submodules, we…
We construct a family of graded isomorphisms between certain subquotients of diagrammatic Cherednik algebras as the quantum characteristic, multicharge, level, degree, and weighting are allowed to vary; this provides new structural…