Sciweavers

28 search results - page 1 / 6

» cie 2009

10

CIE
2009
Springer

95views Applied Computing» more CIE 2009»

Computability of Continuous Solutions of Higher-Type Equations

13 years 11 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 »

11

CIE
2009
Springer

81views Applied Computing» more CIE 2009»

A Divergence Formula for Randomness and Dimension

13 years 11 months ago

A Divergence Formula for Randomness and Dimension

Download www.cs.iastate.edu

Jack H. Lutz

claim paper

Read More »

9

CIE
2009
Springer

90views Applied Computing» more CIE 2009»

Immunity for Closed Sets

13 years 2 months ago

Immunity for Closed Sets

Download www.math.ufl.edu

Douglas Cenzer, Rebecca Weber, Guohua Wu

claim paper

Read More »

15

CIE
2009
Springer

97views Applied Computing» more CIE 2009»

Lowness for Demuth Randomness

13 years 11 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 »

10

CIE
2009
Springer

88views Applied Computing» more CIE 2009»

Notes on the Jump of a Structure

13 years 11 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 »