Sciweavers

28 search results - page 1 / 6
» cie 2009
Sort
View
82
Voted
CIE
2009
Springer
15 years 4 months ago
Computability of Continuous Solutions of Higher-Type Equations
Martín Hötzel Escardó
61
Voted
CIE
2009
Springer
14 years 7 months ago
Immunity for Closed Sets
Douglas Cenzer, Rebecca Weber, Guohua Wu
75
Voted
CIE
2009
Springer
15 years 4 months ago
Lowness for Demuth Randomness
We show that every real low for Demuth randomness is of hyperimmune-free degree.
Rod Downey, Keng Meng Ng
65
Voted
CIE
2009
Springer
15 years 4 months ago
Notes on the Jump of a Structure
We introduce the notions of a complete set of computably infinitary Π0 n relations on a structure, of the jump of a structure, and of admitting nth jump inversion.
Antonio Montalbán