Friedman, Harvey, Bibliography of Harvey Friedman (1975) Friedman, Harvey, The Logical Strength of Mathematical Statements (1975) Friedman, Harvey, Higher Set Theory and Existential Statements (1976) Friedman, Harvey, Philosophical Letters II: An Approach to Extensional Predication (1976) Friedman, Harvey, Philosophical Letters IV: Notes on Satisfaction in the Universal Domain, Semantics for the $\lambda$-Calculus, and Intuitionistic Validity (1976) Friedman, Harvey, Philosophical Letters V: Analytic Definitions of Recursion Theoretic Notions and Miscellaneous ; Automorphisms Preserving Ordinals ; Analytic Definitions of Not (1976) Friedman, Harvey, Russell's Paradox I (1976) Friedman, Harvey, The Arithmetic Theory of Sets and Functions I (1976) Friedman, Harvey, The Logical Strength of Mathematical Statements (1976) Friedman, Harvey, Translatability and Relative Consistency (1976)