LabCompass

Harvey Friedman

Computer Science · The Ohio State University

OpenAlex
Established · publishing since 1965
Computability, Logic, AI AlgorithmsAdvanced Topology and Set TheoryLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicMathematical and Theoretical Analysis

Publications

75

Citations

2,140

Est. group size

—

Recurring co-author estimate

Active years

61

Publishing since 1965

Research summary
AI-generated

Harvey Friedman works in mathematical logic, focusing on topics such as computability theory, set theory, and the foundations of mathematics, including how different mathematical structures relate to and can be translated into one another. His work also touches on connections between mathematics and theoretical computer science, such as decision procedures for real numbers and combinatorial structures like tree embeddings.

Mathematical logic and computabilitySet theory and foundations of mathematicsInterpretability and synonymy between theoriesCombinatorics (tree embeddings, Borel relations)Applications of logic to theoretical computer science

Publication output was low and sporadic over the last decade, with a small cluster of papers in 2017-2018, a multi-year gap, and one publication in 2025.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 0.2/year recently
2017: 2 publications2172018: 2 publications2181920212223242025: 1 publication2526
Recent publications
Publishes in
  • Cambridge University Press eBooks×2
  • The Review of Symbolic Logic×1
  • Research Showcase @ Carnegie Mellon University (Carnegie Mellon University)×1
Similar researchers
By research-topic overlap

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 19, 2026.

Claim or correct this profile