Order types of free subsets Original Research Article

We give for ordinals α a lower bound for the least ordinal α(β) such that Frordℵξ(α(β),β) and show that given enough measurable cardinals there are forcing extensions where the given bounds are sharp.