External Links

    Journal: Annals of Pure and Applied Logic

    Volume 87, Issue 1

    1 -- 100Mitch Rudominer. Mouse Sets
    runs on