Arithmetical Sacks Forcing

13 years 4 months ago

Download math.nju.edu.cn

Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical Sacks forcing. Some other applications are presented.

Rod Downey, Liang Yu

Real-time Traffic

AML 2006 | Hyperimmunefree Minimal Degree |

claim paper

» Forcing with Random Variables and Proof Complexity

» Computing LennardJones Potentials and Forces with Reconfigurable Hardware

» A power function with a fixed finite gap everywhere

» Searching Large Lexicons for Partially Specified Terms using Compressed Inverted Files

» Harringtons conservation theorem redone

» Affine Arithmetic Based Estimation of Cue Distributions in Deformable Model Tracking

» The Hydra Battle Revisited

» Performance Comparison of Graphics Processors to Reconfigurable Logic A Case Study

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	AML
Authors	Rod Downey, Liang Yu

Comments (0)

Sciweavers

Arithmetical Sacks Forcing

AML 2006 | Hyperimmunefree Minimal Degree |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers