David Asperó Sy D. Friedman Large cardinals and locally defined well-orders of the universe. 1-15 2009 157 Ann. Pure Appl. Logic 1 http://dx.doi.org/10.1016/j.apal.2008.07.006 db/journals/apal/apal157.html#AsperoF09