Steve Awodey

1.8k total citations
42 papers, 712 citations indexed

About

Steve Awodey is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Steve Awodey has authored 42 papers receiving a total of 712 indexed citations (citations by other indexed papers that have themselves been cited), including 20 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 16 papers in Mathematical Physics. Recurrent topics in Steve Awodey's work include Logic, Reasoning, and Knowledge (16 papers), Homotopy and Cohomology in Algebraic Topology (15 papers) and Advanced Algebra and Logic (14 papers). Steve Awodey is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Homotopy and Cohomology in Algebraic Topology (15 papers) and Advanced Algebra and Logic (14 papers). Steve Awodey collaborates with scholars based in United States, United Kingdom and Denmark. Steve Awodey's co-authors include Michael A. Warren, Erich H. Reck, A. W. Carus, Henrik Forssell, Nicola Gambino, Thomas Streicher, Alex Simpson, Rudolf Carnap, Gottfried Gabriel and Gottlob Frege and has published in prestigious journals such as SHILAP Revista de lepidopterología, Synthese and Journal of Pure and Applied Algebra.

In The Last Decade

Steve Awodey

40 papers receiving 597 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Steve Awodey United States 13 309 257 205 159 143 42 712
Jeremy Avigad United States 16 300 1.0× 387 1.5× 134 0.7× 76 0.5× 56 0.4× 75 660
Michael Beeson United States 13 475 1.5× 562 2.2× 121 0.6× 40 0.3× 60 0.4× 50 899
J. B. Paris United Kingdom 19 911 2.9× 744 2.9× 164 0.8× 132 0.8× 68 0.5× 90 1.4k
Dirk van Dalen Netherlands 12 292 0.9× 252 1.0× 39 0.2× 99 0.6× 89 0.6× 35 515
Wilfrid Hodges United Kingdom 15 677 2.2× 846 3.3× 271 1.3× 119 0.7× 144 1.0× 79 1.6k
Jouko Väänánen Finland 16 710 2.3× 656 2.6× 83 0.4× 46 0.3× 91 0.6× 108 1.0k
Azriel Lévy Israel 10 157 0.5× 314 1.2× 119 0.6× 66 0.4× 94 0.7× 33 661
Jan von Plato Finland 15 673 2.2× 513 2.0× 33 0.2× 132 0.8× 98 0.7× 66 990
Douglas Bridges New Zealand 16 534 1.7× 1.1k 4.1× 419 2.0× 53 0.3× 48 0.3× 144 1.6k
Per Martin-Löf Sweden 10 1.2k 4.0× 1.2k 4.6× 176 0.9× 68 0.4× 115 0.8× 18 1.8k

Countries citing papers authored by Steve Awodey

Since Specialization
Citations

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

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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-authorship network of co-authors of Steve Awodey

This figure shows the co-authorship network connecting the top 25 collaborators of Steve Awodey. A scholar is included among the top collaborators of Steve Awodey based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Steve Awodey. Steve Awodey is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Awodey, Steve. (2024). On Hofmann–Streicher universes. Mathematical Structures in Computer Science. 34(9). 894–910.
2.
Awodey, Steve & Michał P. Heller. (2020). The homunculus brain and categorical logic. SHILAP Revista de lepidopterología. 69(69). 253–280. 1 indexed citations
3.
Awodey, Steve, et al.. (2018). Relating Topos Theory and Set Theory Via Categories of Classes. Figshare. 1 indexed citations
4.
Awodey, Steve & Erich H. Reck. (2018). Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics. Figshare. 1 indexed citations
5.
Awodey, Steve & A. W. Carus. (2018). How Carnap Could Have Replied to Gödel. Figshare. 2 indexed citations
6.
Awodey, Steve, Henrik Forssell, & Michael A. Warren. (2018). Algebraic Models of Sets and Classes in Categories of Ideals. Figshare. 1 indexed citations
7.
Awodey, Steve, Nicola Gambino, Peter LeFanu Lumsdaine, & M.A. Warren. (2018). Lawvere-Tierney Sheaves in Algebraic Set Theory. Figshare. 1 indexed citations
8.
Awodey, Steve & Robert Harper. (2015). Homotopy type theory. 2(1). 37–44. 1 indexed citations
9.
Awodey, Steve, et al.. (2013). Relating first-order set theories, toposes and categories of classes. Annals of Pure and Applied Logic. 165(2). 428–502. 4 indexed citations
10.
Awodey, Steve, et al.. (2013). Martin-Löf complexes. Annals of Pure and Applied Logic. 164(10). 928–956. 2 indexed citations
11.
Awodey, Steve & Henrik Forssell. (2012). First-order logical duality. Annals of Pure and Applied Logic. 164(3). 319–348. 20 indexed citations
12.
Awodey, Steve, et al.. (2012). Inductive Types in Homotopy Type Theory. Research Explorer (The University of Manchester). 95–104. 15 indexed citations
13.
Awodey, Steve & Florian Rabe. (2011). Kripke Semantics for Martin-L\"of's Extensional Type Theory. Logical Methods in Computer Science. Volume 7, Issue 3. 3 indexed citations
14.
Awodey, Steve & Michael A. Warren. (2009). Homotopy Theoretic Models of Identity Types. Figshare. 98 indexed citations
15.
Awodey, Steve. (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic. 14(3). 281–298. 9 indexed citations
16.
Awodey, Steve, et al.. (2007). Relating First-Order Set Theories and Elementary Toposes. Bulletin of Symbolic Logic. 13(3). 340–358. 9 indexed citations
17.
Awodey, Steve & Henrik Forssell. (2005). Algebraic Models of Intuitionistic Theories of Sets and Classes. Theory and applications of categories. 15. 147–163. 4 indexed citations
18.
Awodey, Steve. (2004). An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†. Philosophia Mathematica. 12(1). 54–64. 48 indexed citations
19.
Awodey, Steve & Erich H. Reck. (2002). Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic. History and Philosophy of Logic. 23(1). 1–30. 58 indexed citations
20.
Awodey, Steve. (2000). Sheaf representation for topoi. Journal of Pure and Applied Algebra. 145(2). 107–121. 4 indexed citations

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.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Jeremy Avigad Breakdown of academic impact, for papers by Michael Beeson Breakdown of academic impact, for papers by J. B. Paris Breakdown of academic impact, for papers by Dirk van Dalen Breakdown of academic impact, for papers by Wilfrid Hodges Breakdown of academic impact, for papers by Jouko Väänánen Breakdown of academic impact, for papers by Azriel Lévy Breakdown of academic impact, for papers by Jan von Plato Breakdown of academic impact, for papers by Douglas Bridges Breakdown of academic impact, for papers by Per Martin-Löf
Rankless by CCL
2026