A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
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?" |