12,448 research outputs found

    A note on the consistency operator

    Full text link
    It is a well known empirical observation that natural axiomatic theories are pre-well-ordered by consistency strength. For any natural theory TT, the next strongest natural theory is T+ConTT+\mathsf{Con}_T. We formulate and prove a statement to the effect that the consistency operator is the weakest natural way to uniformly extend axiomatic theories

    Ugo da Lucca

    Get PDF

    How Old the New

    Get PDF

    Horatio Storer, M.D.

    Get PDF

    Medieval Science and Surgery

    Get PDF

    St. Luke the Physician*

    Get PDF

    Surgery Old and New

    Get PDF
    • …
    corecore