© 1979 by London Mathematical Society
An Independence Result for Pinning for Ordinals
Department of Mathematics, University of Florida Gainesville, Florida 32611, U.S.A.
For ordinals
less than
1
+2, the pinning relation of
to ordinals ß holds no surprises. But the statement
1
+2 can be pinned to
2 is independent of the axioms of set theory. The proof uses facts about eventual domination of functions to show that the relation holds under one set of assumptions and fails under another set.