Rebecca Weber
Dartmouth College
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Rebecca Weber.
Journal of Logic and Computation | 2007
George Barmpalias; Paul Brodhead; Douglas Cenzer; Seyyed Dashti; Rebecca Weber
We investigate notions of randomness in the space C[2N] of non-empty closed subsets of {0,1}N. A probability measure is given and a version of the Martin-Lof test for randomness is defined. Π20 random closed sets exist but there are no random Π10 closed sets. It is shown that any random closed set is perfect, has measure 0, and has box dimension log2(4/3). A random closed set has no n-c.e. elements. A closed subset of 2N may be defined as the set of infinite paths through a tree and so the problem of compressibility of trees is explored. If Tn = T∩{0,1}n, then for any random closed set [T] where T has no dead ends, K(Tn)≥n-O(1) but for any k, K(Tn) ≤ 2n − k + O(1), where K(σ) is the prefix-free complexity of σ∈{0,1}*.
Journal of Mathematical Logic | 2007
Rod Downey; Noam Greenberg; Rebecca Weber
We characterize the class of c.e. degrees that bound a critical triple (equivalently, a weak critical triple) as those degrees that compute a function that has no ω-c.e. approximation.
Archive for Mathematical Logic | 2008
George Barmpalias; Paul Brodhead; Douglas Cenzer; Jeffrey B. Remmel; Rebecca Weber
We investigate notions of randomness in the space
Computability | 2012
Denis R. Hirschfeldt; Rebecca Weber
Journal of Logic and Computation | 2009
George Barmpalias; Douglas Cenzer; Jeffrey B. Remmel; Rebecca Weber
{{\mathcal C}(2^{\mathbb N})}
conference on computability in europe | 2007
George Barmpalias; Douglas Cenzer; Jeffrey B. Remmel; Rebecca Weber
Theory of Computing Systems \/ Mathematical Systems Theory | 2013
Douglas Cenzer; Rebecca Weber
of continuous functions on
Archive | 2008
Rod Downey; Noam Greenberg; Joseph S. Miller; Rebecca Weber
Journal of Mathematical Logic | 2014
Steffen Lempp; Joseph S. Miller; Keng Meng Ng; Daniel Turetsky; Rebecca Weber
{2^{\mathbb N}}
conference on computability in europe | 2009
Douglas Cenzer; Rebecca Weber; Guohua Wu