Harvey M. Friedman (friedman-hm)

Contributions to Philosophie.ch

Bibliography

Feferman, Solomon, Friedman, Harvey M., Maddy, Penelope and Steel, John R. 2000. “Does Mathematics Need New Axioms?” The Bulletin of Symbolic Logic 6(4): 401–446.
Friedman, Harvey M. 1970. “Iterated Inductive Definitions and \(\Sigma^1_2\)-AC.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 435–442. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Friedman, Harvey M. 1971. “A More Explicit Set Theory.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 49–66. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Friedman, Harvey M. 1973. “The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic.” The Journal of Symbolic Logic 38.
Friedman, Harvey M. 1975. “One Hundred and Two Problems in Mathematical Logic.” The Journal of Symbolic Logic 40: 113–129.
Friedman, Harvey M. 1977. “Set Theoretic Foundations for Constructive Analysis.” Annals of Mathematics 2: 105.
Friedman, Harvey M. 1980. “A Strong Conservative Extension of Peano Arithmetic.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 113–122. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Friedman, Harvey M. 1981. “On the necessary uses of abstract set theory.” Advances in Mathematics 41: 209–280.
Friedman, Harvey M. 2002. “Internal Finite Tree Embeddings.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 60–91. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
Friedman, Harvey M. 2004. “A Way Out.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 49–84. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
Friedman, Harvey M. 2008. “Remarks on Gödel Phenomena and the Field of Reals.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 68–71. Amsterdam: IOS Press.
Friedman, Harvey M. 2018. “Concrete Mathematical Incompleteness: Basic Emulation Theory.” in Hilary Putnam on Logic and Mathematics, edited by Geoffrey Hellman and Roy T. Cook, pp. 179–234. Outstanding Contributions to Logic n. 9. Cham: Springer, doi:10.1007/978-3-319-96274-0.