Harvey M Friedman

Biographic Data

ID8307074
NAMEHarvey M Friedman
GIVEN NAMESHarvey M
FAMILY NAMEFriedman
SIGNATUREFRIEDMAN H M
AFFILIATIONSThe Ohio State University
ORCID0000-0002-0765-9460
VERIFIEDYes
TOTAL WORKS2
TOTAL CITATIONS0
WORKS AS AUTHOR2
WORKS AS EDITOR0
FIRST PUBLICATION YEAR2010
LATEST PUBLICATION YEAR2025
H-INDEX0

  • Adventures in Gödel Incompleteness

    Open AccessHarvey M FriedmanARTICLEHistory and Philosophy of Logic2025

    Begin discussing various forms of G1 put into the form: If a first order theory satisfies one or more adequacy conditions then it has one or more wildness properties. We continue with the new ‘no interpretation’ forms of G2, which are fundamentally model theoretic formulations. We also give corresponding model theoretic characterizations of the consistency statement Con(T) for finitely axiomatized T. We present the known proof of the 1-Con form b…

  • Sustainable International Partnership Building for Academic Medical Centers

    Open AccessJennifer Cohn, Harvey M FriedmanARTICLEThe AMA Journal of Ethic2010

    The world faces a global health workforce shortage of almost 4 million professionals, with the most severe gaps in sub-Saharan Africa Improvements in health, including meeting the health-related Millennium Development Goals, are linked with the density of skilled health workers In the U.S., the reauthorizing bill for the President's Emergency Plan for AIDS Relief (PEPFAR) requires the U.S. to support training of 140,000 new health workers in PEPF…