6 research outputs found

    Coding with ladders a well ordering of the reals

    No full text
    corecore