Phase transition thresholds for some Friedman-style independence results (2007)

by A Weiermann
Venue:Math. Logic Q