Category theory S Awodey OUP Oxford, 2010 | 1584 | 2010 |

Homotopy theoretic models of identity types S Awodey, MA Warren Mathematical proceedings of the cambridge philosophical society 146 (1), 45-55, 2009 | 374 | 2009 |

Structure in mathematics and logic: A categorical perspective S Awodey Philosophia Mathematica 4 (3), 209-237, 1996 | 170 | 1996 |

Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic S Awodey, EH Reck History and Philosophy of Logic 23 (1), 1-30, 2002 | 156 | 2002 |

An Answer to G. Hellman's Question" Does Category Theory Provide a Framework for Mathematical Structuralism?" S Awodey Carnegie Mellon University, 2004 | 149 | 2004 |

Natural models of homotopy type theory S Awodey Mathematical Structures in Computer Science 28 (2), 241-286, 2018 | 117 | 2018 |

Propositions as [types] S Awodey, A Bauer Journal of logic and computation 14 (4), 447-471, 2004 | 111 | 2004 |

Structuralism, invariance, and univalence S Awodey Philosophia Mathematica 22 (1), 1-11, 2014 | 102 | 2014 |

Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928 S Awodey, AW Carus Erkenntnis 54 (2), 145-172, 2001 | 93 | 2001 |

Type theory and homotopy S Awodey Epistemology versus Ontology: Essays on the Philosophy and Foundations of …, 2012 | 81 | 2012 |

Carnap brought home: The view from Jena S Awodey, C Klein Open Court Publishing, 2004 | 73 | 2004 |

Inductive types in homotopy type theory S Awodey, N Gambino, K Sojakova 2012 27th Annual IEEE Symposium on Logic in Computer Science, 95-104, 2012 | 66 | 2012 |

Carnap’s dream: Gödel, Wittgenstein, and *Logical, Syntax*S Awodey, AW Carus Synthese 159, 23-45, 2007 | 65 | 2007 |

First-order logical duality S Awodey, H Forssell Annals of Pure and Applied Logic 164 (3), 319-348, 2013 | 60 | 2013 |

Topology and modality: The topological interpretation of first-order modal logic S Awodey, K Kishida The Review of Symbolic Logic 1 (2), 146-166, 2008 | 58 | 2008 |

Homotopy type theory: Univalent foundations of mathematics V Voevodsky Institute for Advanced Study (Princeton), The Univalent Foundations Program …, 2013 | 56 | 2013 |

Frege’s Lectures on Logic: Carnap’s Jena Notes 1910-1914 E Reck, S Awodey Open Court Publishing, 2004 | 51 | 2004 |

Voevodsky’s univalence axiom in homotopy type theory S Awodey, Á Pelayo, MA Warren Notices of the AMS 60 (9), 1164-1167, 2013 | 50 | 2013 |

From Wittgenstein’s prison to the boundless ocean: Carnap’s dream of logical syntax AW Carus, S Awodey Carnap’s logical syntax of language, 79-106, 2009 | 49 | 2009 |

Completeness and categoricity, Part II: Twentieth-century metalogic to twenty-first-century semantics S Awodey, EH Reck History and Philosophy of Logic 23 (2), 77-94, 2002 | 46 | 2002 |