Steve Awodey
Impact in
- Theoretical Computer Science top 0.5%
- History and Theory of Mathematics
-
- Philosophy and History of Science
- Philosophy, Science, and History
Papers in
-
- Logic, Reasoning, and Knowledge 17
- Logic, programming, and type systems 13
-
- Homotopy and Cohomology in Algebraic Topology 16
- Co-authors
- Michael A. Warren (5 shared papers)Erich H. Reck (5 shared papers)A. W. Carus (3 shared papers)Henrik Forssell (3 shared papers)Nicola Gambino (4 shared papers)Thomas Streicher (3 shared papers)Alex Simpson (3 shared papers)Gottlob Frege (1 shared paper)
- Journals
- Bulletin of Symbolic Logic (3 papers)Annals of Pure and Applied Logic (3 papers)History and Philosophy of Logic (2 papers)Mathematical Structures in Computer Science (2 papers)Philosophia Mathematica (2 papers)
- Partner nations
- United StatesUnited KingdomDenmark
In The Last Decade
Steve Awodey
40 papers receiving 616 citations
Peers
Comparison fields: 5 of 67
- Theoretical Computer Science 126
- History and Philosophy of Science 159
- Mathematical Physics 209
- Computational Theory and Mathematics 264
- Geometry and Topology 143
Countries citing papers authored by Steve Awodey
This map shows the geographic impact of Steve Awodey'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 Steve Awodey with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Steve Awodey more than expected).
Fields of papers citing papers by Steve Awodey
This network shows the impact of papers produced by Steve Awodey. 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 Steve Awodey. The network helps show where Steve Awodey may publish in the future.
Co-authors
The 22 scholars most cited alongside Steve Awodey, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 43 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Category Theory | 2006 | 174 |
| 2 | 2009 | 101 | |
| 3 | 2006 | 77 | |
| 4 | 2002 | 60 | |
| 5 | 2004 | 48 | |
| 6 | 1996 | 46 | |
| 7 | 2001 | 30 | |
| 8 | 2012 | 21 | |
| 9 | 2012 | 15 | |
| 10 | Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 | 2004 | 15 |
| 11 | 2002 | 14 | |
| 12 | 2006 | 12 | |
| 13 | 2005 | 12 | |
| 14 | 1997 | 10 | |
| 15 | 2007 | 9 | |
| 16 | 2008 | 9 | |
| 17 | 2008 | 9 | |
| 18 | 2018 | 8 | |
| 19 | 2011 | 5 | |
| 20 | Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic | 2002 | 5 |
About Steve Awodey
Steve Awodey is a scholar working on Artificial Intelligence, Mathematical Physics, Computational Theory and Mathematics, Geometry and Topology and Experimental and Cognitive Psychology, having authored 43 papers that have together received 723 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (17 papers), Homotopy and Cohomology in Algebraic Topology (16 papers), Advanced Algebra and Logic (14 papers), Logic, programming, and type systems (13 papers), Advanced Topology and Set Theory (8 papers), Philosophy and Theoretical Science (7 papers), Algebraic structures and combinatorial models (6 papers) and History and Theory of Mathematics (6 papers). The work is most often cited by research in Theoretical Computer Science (126 citations), History and Philosophy of Science (159 citations), Mathematical Physics (209 citations), Computational Theory and Mathematics (264 citations) and Geometry and Topology (143 citations). Steve Awodey has collaborated with scholars based in United States, United Kingdom and Denmark. Frequent co-authors include Michael A. Warren, Erich H. Reck, A. W. Carus, Henrik Forssell, Nicola Gambino, Thomas Streicher, Alex Simpson, Gottlob Frege, Rudolf Carnap and Gottfried Gabriel. Their work appears in journals such as Bulletin of Symbolic Logic, Annals of Pure and Applied Logic, History and Philosophy of Logic, Mathematical Structures in Computer Science and Philosophia Mathematica.
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.