[Degrees and Employment History] [Distinctions]
[Publications] [Others about Friedman]
[Downloadable Manuscripts] [Comments and Ideas]
[Back to Home Page]

Publications

Model Theory
  1. Beth's Theorem in Cardinality Logics, Israel J. Math., Vol. 14, No. 2, (1973), pp. 205-212.
  2. Countable Models of Set Theories, Lecture Notes in Mathematics, Vol. 337, Springer-Verlag, (1973), pp. 539-573.
  3. On Existence Proofs of Hanf Numbers, J. of Symbolic Logic, Vol. 39, No. 2, (1974), pp. 318-324.
  4. Adding Propositional Connectives to Countable Infinitary Logic, Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 77, No. 1, (1975), pp. 1-6.
  5. On Decidability of Equational Theories, J. of Pure and Applied Algebra, Vol. 7, (1976), pp. 1-3.
  6. The Complexity of Explicit Definitions, Advances in Mathematics, Vol. 20, No. 1, (1976), pp. 18-29.
  7. On the Naturalness of Definable Operations, Houston J. Math., Vol. 5, No. 3, (1979), pp. 325-330.
  8. (with L. Stanley), A Borel Reducibility Theory for Classes of Countable Structures, J. of Symbolic Logic, Vol. 54, No. 3, September 1989, pp. 894-914.
  9. (with Akos Seress), Decidability in Elementary Analysis I, Advances in Math., Vol. 76, No. 1, July 1989, pp. 94-115.
  10. (with Akos Seress), Decidability in Elementary Analysis II, Advances in Math., Vol. 79, No. 1, January 1990, pp. 1-17.
  11. (with Chris Miller), Expansions of o-minimal structures by sparse sets, Fundamenta Mathematicae, 167 (2001), 55-64.
  12. (with Chris Miller), Expansions of o-minimal structures by fast sequences, Journal of Symbolic Logic, J. Symbolic Logic, 70, June, 2005, pp. 410-418.
  13. What is o-minimality?, Logic Colloquium '06, Special issue of Annals of Pure and Applied Logic, to appear, 2008. 19 pages.

Proof Theory and Intuitionism

14. Bar Induction and Pi-1-1-CA, J. of Symbolic Logic, Vol. 34, No. 3, (1969), pp. 353-362.

15. Iterated Inductive Definitions and Sigma-1-2-AC, Intuitionism and Proof Theory, North-Holland, (1970), pp. 435-442.

16. The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic, J. of Symbolic Logic, Vol. 38, No. 2, (1973), pp. 315-319.

17. Some Applications of Kleene's Methods for Intuitionistic Systems, Lecture Notes in Matheamtics, Vol. 337, Springer-Verlag, (1973), pp. 113-170.

18. The Disjunction Property Implies the Numerical Existence Property, Proc. Natl. Acad. Sci., Communicated by K. Goedel, Vol. 72, No. 8, (August 1975), pp. 2877-2878.

19. Some Systems of Second Order Arithmetic and Their Use, Proceedings of the 1974 International Congress of Mathematicians, Vol. 1, (1975), pp. 235-242.

20. Subsystems of Second Order Arithmetic with Restricted Induction I, II, abstracts, J. of Symbolic Logic, Vol. 41, No. 2, (1976), pp. 557-559.

21. Set Theoretic Foundations for Constructive Analysis, Annals of Mathematics, Vol. 105, (1977), pp. 1-28.

22. On the Derivability of Instantiation Properties, J. of Symbolic Logic, Vol. 42, No. 4, (1977), pp. 506-514.

23. Classically and Intuitionistically Provably Recursive Functions, Higher Set Theory, Springer Lecture Notes, Vol. 669, (1978), pp. 21-27.

24. A Strong Conservative Extension of Peano Arithmetic, Proceedings of the 1978 Kleene Symposium, North Holland, (1980), pp. 113-122.

25. (with K. McAloon and S. Simpson ), A Finite Combinatorial Principle Equivalent to the 1-consistency of Predicative Analysis, Patras Logic Symposion, ed. G. Metakides, North-Holland, (1982), pp. 197-230.

26. (with S. Simpson and R. L. Smith), Countable Algebra and Set Existence Axioms, Annals of Pure and Applied Logic, 25 (1983), pp. 141-181.

27. (with A. Scedrov), Set Existence Property for Intuitionistic Theories with Dependent Choice, Annals of Pure and Applied Logic, 25, (1983), pp. 129-140, and corrigendum, 26, (1984), p. 101.

28. (with A. Scedrov), Large Sets in Intuitionistic Set Theory, Annals of Pure and Applied Logic 27 (1984), pp. 1-24.

29. (with A. Scedrov), Arithmetic Transfinite Induction and Recursive Well Orderings, Advances in Math., Vol. 56, No. 3, June 1985, pp. 283-294.

30. (with A. Scedrov), Intuitionistically Provable Recursive Well Orderings, Annals of Pure and Applied Logic, Vol. 30, 1986, pp. 165-171.

31. (with A. Scedrov), The Lack of Definable Witnesses and Provably Recursive Functions in Intuitionistic Set Theories, Advances in Math., Vol. 57, No. 1, July 1985, pp. 1-13.

32. (with A. Scedrov), On the Quantificational Logic of Intuitionistic Set Theory, Math. Proc. of the Cambridge Philosophical Society, Vol. 99, No. 5, 1986, pp. 5-10.

33. (with R. Flagg) Epistemic and Intuitionistic Formal Systems, Annals of Pure and Applied Logic, Vol. 32, 1986, pp. 53-60.

34. (with M. Sheard) An Axiomatic Approach to Self-referential Truth, Annals of Pure and Applied Logic, vol. 33, 1987, 1-21.

35. (with P. Freyd and A. Scedrov), Lindenbaum Algebras of Intuitionistic Theories and Free Categories, Annals of Pure and Applied Logic, vol. 35, 1987, 167-172.

36. (with R. Flagg), Maximality in Modal Logic, Annals of Pure and Applied Logic, vol. 34, 1987, 99-118.

37. (with N. Robertson and P. Seymour), The Metamathematics of the Graph Minor Theorem, Logic and Combinatorics, ed. S. Simpson, AMS Contemporary Mathematics Series, vol. 65, 1987, 229-261.

38. (with M. Sheard), The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic, Journal of Symbolic Logic, Vol. 54, No. 4, December 1989, pp. 1456-1459.

39. (with M. Sheard), The Disjunction and Existence Properties for Axiomatic Systems of Truth, Annals of Pure and Applied Logic 40 (1988), pp. 1-10.

40. (with J. Hirst), Weak comparability of well orderings and reverse mathematics, Annals of Pure and Applied Logic 47 (1990), pp. 11-29.

41. (with J. Hirst), Reverse Mathematics of Homeomorphic Embeddings, Annals of Pure and Applied Logic 54 (1991), pp. 229-253.

42. (with R. K. Meyer), Wither Relevance Arithmetic?, Journal of Symbolic Logic, Vol. 57, No. 3, September 1992, pp. 824-831.

43. (with S. Simpson and X. Yu), Periodic points and subsystems of second order arithmetic, Annals Of Pure and Applied Logic 62 (1993), pp. 51-64.

44. (with M. Sheard), Elementary descent recursion and proof theory, Annals of Pure and Applied Logic 71 (1995), pp. 1-45.

45. (with S. Simpson), Issues and Problems in Reverse Mathematics, in: Computability Theory and its Applications, Contemporary Mathematics, volume 257, 2000, 127-144.

46. Internal finite tree embeddings, Reflections on the Foundations of Mathematics: Essays in honor of Solomon Feferman, ed. Sieg, Sommer, Talcott, Lecture Notes in Logic, volume 15, 62-93, 2002, ASL.

47. Metamathematics of comparability, in: Reverse Mathematics, ed. S. Simpson, Lecture Notes in Logic, vol. 21, ASL, 201-218, 2005.

48. Maximal nonfinitely generated subalgebras, in: Reverse Mathematics, ed. S. Simpson, Lecture Notes in Logic, vol. 21, ASL, 189-200, 2005.

49. The Inevitability of Logical Strength: strict reverse mathematics. Logic Colloquium '06, ASL. To appear, 2008.

50. My Forty Years on His Shoulders. Horizons of Truth, Proceedings of the Goedel Centenary, Cambridge University Press. To appear, 2008.

51. Remarks on Goedel Phenomena and the Field of Reals in: Seventy Years of Foundational Studies: A Tribute to Andrzej Mostowski. To appear, 2008.

Recursion Theory

52. (with R. Jensen), Note on Admissible Ordinals, The Syntax and Semantics of Infinitary Languages, Springer-Verlag Lecture Notes in Mathematics, Vol. 72, (1968), pp. 77-79.

53. Axiomatic Recursive Function Theory, Logic Colloquium '69, North-Holland, (1971), pp. 113-137.

54. Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory, Logic Colloquium '69, North-Holland, (1971), pp. 361-389.

55. (with H. Enderton), Approximating the Standard Model of Analysis, Fundamenta Mathematicae, LXXII, (1971), pp. 175-188.

56. Borel Sets and Hyperdegrees, J. of Symbolic Logic,Vol. 38, No. 3, (1973), pp. 405-409.

57. Minimality in the Delta-1-2-degrees, Fundamenta Mathematicae, LXXXI, (1974), pp. 183-192.

58. Equality Between Functionals, Logic Colloquium, Springer Lecture Notes, Vol. 453, (1975), pp. 22-37.

59. Recursiveness in Pi-1-1-Paths Through O, Proceedings of the AMS, Vol. 54, (January 1976), pp. 311-315.

60. Provable Equality in Primitive Recursive Arithmetic with and without Induction, Pacific J. of Math., Vol. 57, No. 2, (1975), pp. 379-392.

61. Uniformly Defined Descending Sequences of Degrees, J. of Symbolic Logic. Vol. 41, No. 2, (1976), pp. 363-367.

62. (with R. Mansfield), Algorithmic procedures, Transactions of the AMS, vol. 332 (1992), no. 1, pp. 297-312.

63. (with T. Erdelyi), The Number of Certain Integral Polynomials and Nonrecursive Sets of Integers, Part I, Transactions of the AMS, 357 (2005), 999-1011.

64. The Number of Certain Integral Polynomials and Nonrecursive Sets of Integers, Part II, Transactions of the AMS, 357 (2005), 1013-1023.

Set Theory

65. A More Explicit Set Theory, Axiomatic Set Theory, AMS Symposium Pure Mathematics, Vol. XIII, Part I, (1971), pp. 49-65.

66. Higher Set Theory and Mathematical Practice, Annals of Math. Logic, Vol. 2, No. 3, (1971), pp. 325-357.

67. Determinateness in the Low Projective Hierarchy, Fundamenta Mathematicae, LXXII, (1971), pp. 79-95.

68. On Closed Sets of Ordinals, Proceedings of the AMS, (1974), pp. 190-192.

69. PCA Well-orderings of the Line, J. of Symbolic Logic, Vol. 39, No. 1, (1974), pp. 79-80.

70. Large Models of Countable Height, Transactions of the AMS , Vol. 201, (1975), pp. 227-239.

71. A Definable Non-separable Invariant Extension of Lebesgue Measure, Illinois J. Math., Vol. 21, No. 1, (1977), pp. 140-147.

72. Categoricity with Respect to Ordinals, Higher Set Theory, Springer Lecture Notes, Vol. 669, (1978), pp. 17-20.

73. A Proof of Foundation from the Axioms of Cumulation, Higher Set Theory, Springer Lecture Notes, Vol. 669, (1978), pp. 15-16.

74. A Consistent Fubini-Tonelli Theorem for Nonmeasureable Functions, Illinois J. Math., Vol. 24, No. 3, (1980), pp. 390-395.

75. On Definability of Nonmeasurable Sets, Canadian J. Math., Vol. XXXII, No. 3, (1980), pp. 653-656.

76. (with M. Talagrand), Un Ensemble Singulier, Bull. Sci. Math. 104, (1980), pp. 337-340.

77. On the Necessary Use of Abstract Set Theory, Advances in Math., Vol. 41, No. 3, September 1981, pp. 209-280.

78. Unary Borel Functions and Second Order Arithemtic, Advances in Math., Vol. 50, No. 2, November 1983, pp. 155-159.

79. Necessary Uses of Abstract Theory in Finite Mathematics, Advances in Math., Vol. 60, No. 1, 1986, 92-122.

80. Finite Functions and the Necessary Use of Large Cardinals, Annals of Math., Vol. 148, No. 3, 1998, pp. 803-893.

81. Borel and Baire Reducibility, Fundamenta Mathematicae, 164 (2000), 61-69.

82. Subtle Cardinals and Linear Orderings, Annals of Pure and Applied Logic 107 (2001), 1-34.

83. Selection for Borel relations, in: Logic Colloquium 01, ed. J. Krajicek, Lecture Notes in Logic, volume 20, ASL, 2005, 151-169.

84. Primitive Independence Results, Journal of Mathematical Logic, Volume 3, Number 1, May 2003, 67-83.

85. Three quantifier sentences, Fundamenta Mathematicae, 177 (2003), 213-240.

86. A Way Out, in: One Hundred Years of Russell’s Paradox, ed. Godehard Link, de Gruyter, 49-86, 2004.

87. Working with Nonstandard Models, in: Nonstandard Models of Arithmetic and Set Theory, American Mathematical Society, ed. Enayat and Kossak, 71-86, 2004.

Computer Science

88. (with Ker-I Ko), Computational Complexity of Real Functions, J. of Theoretical Comp. Science, 20, (1982), pp. 323-352.

89. The Computational Complexity of Maximization and Integration, Advances in Math., Vol. 53, No. 1, 1984, pp. 80-98.

90. On the Spectra of Universal Relational Sentences, Information and Control, Vol. 62, No. 23, August/September 1984, pp. 204-209.

91. (with Ker-I Ko), Computing Power Series in Polynomial Time, Advances in Applied Mathematics, 9, 40-50 (1988).

92. Applications of Mathematics to Computer Science, in: Emerging syntheses in science, ed. by David Pines, Proceedings of the Founding Workshops of the Santa Fe Institute, volume 1, 1988, pp. 205 - 210.

93. (with R. Flagg), A Framework for Measuring the Complexity of Mathematical Concepts, Advances in Applied Mathematics, volume 11, no. 1, March, 1990, pp. 1-34.

94. Some Decision Problems of Enormous Complexity, Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy, pp. 2-12.

95. (with J. Avigad), Combining decision procedures for the reals, Logical Methods in Computer Science 2(4:4), 2006.

Miscellaneous

96. One Hundred and Two Problems in Mathematical Logic, J. of Symbolic Logic, Vol. 40, No. 2, (1975), pp. 113-129.

97. A Cumulative Hierarchy of Predicates, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Bd. 21, (1975), pp. 309-314.

98. The Incompleteness Phenomena, Proceedings of the AMS Centennial Celebration, AMS Centennial Publications, Volume II, Mathematics into the Twenty-first Century, 1992, pp. 49-84.

99. Long Finite Sequences, Journal of Combinatorial Theory, Series A 95, 102-144 (2001).

100. (with S. Feferman, P. Maddy, J. Steel), Does mathematics need new axioms?, The Bulletin of Symbolic Logic, volume 6, Number 4, December 2000, 401-446


[Degrees and Employment History] [Distinctions]
[Publications] [Others about Friedman]
[Downloadable Manuscripts] [Comments and Ideas]
[Back to Home Page]