Sciweavers

28 search results - page 1 / 6

» cie 2009

25

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

14 years 2 months ago

Computability of Continuous Solutions of Higher-Type Equations

Download www.cs.bham.ac.uk

Martín Hötzel Escardó

claim paper

Read More »

18

CIE
2009
Springer

81views Applied Computing» more CIE 2009»

A Divergence Formula for Randomness and Dimension

14 years 2 months ago

A Divergence Formula for Randomness and Dimension

Download www.cs.iastate.edu

Jack H. Lutz

claim paper

Read More »

18

CIE
2009
Springer

90views Applied Computing» more CIE 2009»

Immunity for Closed Sets

13 years 5 months ago

Immunity for Closed Sets

Download www.math.ufl.edu

Douglas Cenzer, Rebecca Weber, Guohua Wu

claim paper

Read More »

23

CIE
2009
Springer

97views Applied Computing» more CIE 2009»

Lowness for Demuth Randomness

14 years 2 months ago

Lowness for Demuth Randomness

Download www.math.wisc.edu

We show that every real low for Demuth randomness is of hyperimmune-free degree.

Rod Downey, Keng Meng Ng

claim paper

Read More »

17

CIE
2009
Springer

88views Applied Computing» more CIE 2009»

Notes on the Jump of a Structure

14 years 2 months ago

Notes on the Jump of a Structure

Download www.math.uchicago.edu

We introduce the notions of a complete set of computably inﬁnitary Π0 n relations on a structure, of the jump of a structure, and of admitting nth jump inversion.

Antonio Montalbán

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »