منابع مشابه
s-Degrees within e-Degrees
For any enumeration degree a let D a be the set of s-degrees contained in a. We answer an open question of Watson by showing that if a is a nontrivial Σ2-enumeration degree, then D a has no least element. We also show that every countable partial order embeds into D a.
متن کاملWorking with Strong Reducibilities above Totally Ω-c.e. Degrees
We investigate the connections between the complexity of a c.e. set, as calibrated by its strength as an oracle for Turing computations of functions in the Ershov hierarchy, and how strong reducibilities allows us to compute such sets. For example, we prove that a c.e. degree is totally ω-c.e. iff every set in it is weak truth-table reducible to a hypersimple, or ranked, set. We also show that ...
متن کاملThe K-Degrees, Low for K Degrees, and Weakly Low for K Sets
We call A weakly low for K if there is a c such that KA(σ) ≥ K(σ)−c for infinitely many σ; in other words, there are infinitely many strings that A does not help compress. We prove that A is weakly low for K iff Chaitin’s Ω is A-random. This has consequences in the K-degrees and the low for K (i.e., low for random) degrees. Furthermore, we prove that the initial segment prefix-free complexity o...
متن کاملNon-branching degrees in the Medvedev lattice of Π01 classes
Special thanks to my advisor Steffen Lempp for his guidance and conversation. Abstract Always Sometimes 2 In this talk I will present the necessary background and then describe and characterize the non-branching degrees. Significantly, I will show three distinct classes of non-branching degrees. The Medvedev lattice of Π 0 1 classes is a lattice of certain subsets of 2 ω under a natural reducti...
متن کاملMixed Characteristic Homological Theorems in Low Degrees
Let R be a locally finitely generated algebra over a discrete valuation ring V of mixed characteristic. For any of the homological properties, the Direct Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem, the Vanishing of Maps of Tors and the Hochster-Roberts Theorem, we show that it holds for R and possibly some other data defined over R, provided the residual charac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1982
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1982-0664035-x