Skip to main content Accessibility help
×
Home

Sacks forcing sometimes needs help to produce a minimal upper bound

  • Robert S. Lubarsky (a1)

Extract

Does every countable set of hyperdegrees have a minimal upper bound?

This question remains unanswered. In this paper, we extend the known results.

The standard way to construct minimal upper bounds for degrees is to force with pointed perfect trees. This works for hyperdegrees, in the right context. Sacks [Sa] showed that if an admissible set A satisfies Σ1 DC, then forcing with its uniformly hyperarithmetically pointed perfect trees yields a minimal upper bound for the degrees in A.

A next question is whether Σ1DC is necessary. Abramson [A] built an admissible set such that Sacks forcing, or anything like it, would not produce a minimal upper bound. He left open the question, though, whether there is such a bound for his set.

We answer this question affirmatively.

In §II we summarize the previous relevant results, including Steel forcing. In §III we give a construction different from Abramson's of an admissible set for which Sacks forcing does not produce the desired bound. We present this alternative because it is different (although still based on Steel forcing), simpler than the original, and fully illustrates the technique of finding the bound, which applies equally well to the earlier example. §IV describes the construction of the bound. §V closes with questions.

I thank Professor Sy Friedman for bringing this problem to my attention. This paper is dedicated to Professor Alexander Kechris on the occasion of his fortieth birthday, and to the Los Angeles VIGOL on its tenth anniversary.

Copyright

Corresponding author

Department of Mathematics, Franklin and Marshall College, Lancaster, Pennsylvania 17604

References

Hide All
[A]Abramson, Fred, Sacks forcing does not always produce a minimal upper Bound, Advances in Mathematics, vol. 31 (1979), pp. 110130.
[B]Barwise, Jon, Admissible sets and structures, Springer-Verlag, Berlin, 1975.
[G]Gandy, Robin, On a problem of Kleene's, Bulletin of the American Mathematical Society, vol. 66 (1960), pp. 501502.
[Sa]Sacks, Gerald, Countable admissible ordinals and hyperdegrees, Advances in Mathematics, vol. 20 (1976), pp. 213262.
[St]Steel, John, Forcing with tagged trees, Annals of Mathematical Logic, vol. 15 (1978), pp. 5574.

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed