Friedman, Harvey, Translatability and Relative Consistency (1976) Friedman, Harvey, A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions (1977) Friedman, Harvey, A Theorem About Continuous Functions which is of Substantial Logical Strength (1977) Friedman, Harvey, Classically and Intuitionistically Provably Recursive Functions ; A Proof of Foundation from Axioms of Cumulation ; Categroicity with Respect to Ordinals (1977) Friedman, Harvey, Conservation of Set Theories Without Power Set Over HA (1977) Friedman, Harvey, The Intuitionistic Completeness of Intuitionistic Logic Under Tarskian Semantics (1977) Friedman, Harvey, The Syntax and Semantics of Mathematical Text (1977) Friedman, Harvey, Transfinite Induction in Intuitionistic Arithmetic (1977) Friedman, Harvey, On the Logic of Measure and Category I (1978) Friedman, Harvey, Conceptual Guide to "Why First-Order Logic?"