Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Rebecca Weber is active.

Publication


Featured researches published by Rebecca Weber.


Journal of Logic and Computation | 2007

Algorithmic Randomness of Closed Sets

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

Totally ω-computably enumerable degrees and bounding critical triples

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

Algorithmic randomness of continuous functions

George Barmpalias; Paul Brodhead; Douglas Cenzer; Jeffrey B. Remmel; Rebecca Weber

We investigate notions of randomness in the space


Computability | 2012

Finite Self-Information

Denis R. Hirschfeldt; Rebecca Weber


Journal of Logic and Computation | 2009

K-Triviality of Closed Sets and Continuous Functions

George Barmpalias; Douglas Cenzer; Jeffrey B. Remmel; Rebecca Weber

{{\mathcal C}(2^{\mathbb N})}


conference on computability in europe | 2007

K-Trivial Closed Sets and Continuous Functions

George Barmpalias; Douglas Cenzer; Jeffrey B. Remmel; Rebecca Weber


Theory of Computing Systems \/ Mathematical Systems Theory | 2013

Effective Randomness of Unions and Intersections

Douglas Cenzer; Rebecca Weber

of continuous functions on


Archive | 2008

PROMPT SIMPLICITY, ARRAY COMPUTABILITY AND CUPPING

Rod Downey; Noam Greenberg; Joseph S. Miller; Rebecca Weber


Journal of Mathematical Logic | 2014

Lowness for effective Hausdorff dimension

Steffen Lempp; Joseph S. Miller; Keng Meng Ng; Daniel Turetsky; Rebecca Weber

{2^{\mathbb N}}


conference on computability in europe | 2009

Immunity for Closed Sets

Douglas Cenzer; Rebecca Weber; Guohua Wu

Collaboration


Dive into the Rebecca Weber's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

George Barmpalias

Chinese Academy of Sciences

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Rod Downey

Victoria University of Wellington

View shared research outputs
Top Co-Authors

Avatar

Joseph S. Miller

University of Wisconsin-Madison

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

André Nies

University of Auckland

View shared research outputs
Top Co-Authors

Avatar

Noam Greenberg

Victoria University of Wellington

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge