Электронный каталог: Friedman, Sy-David - Large cardinals and lightface definable well-orders, without the GCH