Harvey Friedman
- Theoretical Computer Science top 5%
- Geometry and Topology top 2%
- Advanced Topology and Set Theory 15
-
- Computability, Logic, AI Algorithms 18
- Advanced Algebra and Logic 7
- Advanced Graph Theory Research 4
- semigroups and automata theory 3
- Mathematical Physics top 10%
- Mathematical and Theoretical Analysis 7
-
- Logic, Reasoning, and Knowledge 15
- Logic, programming, and type systems 5
- Co-authors
- Andre ScedrovPenelope MaddySolomon FefermanJohn R. SteelChris MillerH. B. EndertonÁkos SeressRichard Mansfield
- Journals
- Proceedings of the National Academy of Sciences (1 paper)Journal of Clinical Investigation (1 paper)Annals of Mathematics (2 papers)
- Partner nations
- United StatesNetherlandsChina
In The Last Decade
Harvey Friedman
39 papers receiving 492 citations
Peers
Comparison fields: 5 of 42
- Theoretical Computer Science 43
- Geometry and Topology 248
- Computational Theory and Mathematics 450
- Mathematical Physics 117
- Algebra and Number Theory 44
Countries citing papers authored by Harvey Friedman
This map shows the geographic impact of Harvey Friedman's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Harvey Friedman with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Harvey Friedman more than expected).
Fields of papers citing papers by Harvey Friedman
This network shows the impact of papers produced by Harvey Friedman. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Harvey Friedman. The network helps show where Harvey Friedman may publish in the future.
Co-authorship network
The 11 scholars most cited alongside Harvey Friedman, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2025 | 0 | |
| 2 | 2000 | 54 | |
| 3 | 1992 | 1 | |
| 4 | 1992 | 6 | |
| 5 | 1986 | 5 | |
| 6 | 1985 | 27 | |
| 7 | 1984 | 1 | |
| 8 | 1977 | 1 | |
| 9 | 1976 | 1 | |
| 10 | 1976 | 19 | |
| 11 | 1976 | 3 | |
| 12 | 1975 | 2 | |
| 13 | 1975 | 15 | |
| 14 | 1975 | 131 | |
| 15 | 1975 | 39 | |
| 16 | 1974 | 9 | |
| 17 | 1974 | 1 | |
| 18 | 1973 | 53 | |
| 19 | 1973 | 18 | |
| 20 | 1971 | 64 |
About Harvey Friedman
Harvey Friedman is a scholar working on Geometry and Topology, Theoretical Computer Science and Computational Theory and Mathematics, having authored 43 papers that have together received 625 indexed citations. Recurring topics across this work include Computability, Logic, AI Algorithms (18 papers), Advanced Topology and Set Theory (15 papers), Logic, Reasoning, and Knowledge (15 papers), Advanced Algebra and Logic (7 papers), Mathematical and Theoretical Analysis (7 papers), Logic, programming, and type systems (5 papers), Advanced Graph Theory Research (4 papers) and semigroups and automata theory (3 papers). The work is most often cited by research in Theoretical Computer Science (43 citations), Geometry and Topology (248 citations) and Computational Theory and Mathematics (450 citations). Harvey Friedman has collaborated with scholars based in United States, Netherlands and China. Frequent co-authors include Andre Scedrov, Penelope Maddy, Solomon Feferman, John R. Steel, Chris Miller, H. B. Enderton, Ákos Seress, Richard Mansfield, Philip Friedman and Albert Visser. Their work appears in journals such as Proceedings of the National Academy of Sciences, Journal of Clinical Investigation and Annals of Mathematics.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.