Steve Awodey | Academic Influence

Steve Awodey's AcademicInfluence.com Rankings

Steve Awodey

Philosophy

#1404

World Rank

#2569

Historical Rank

#566

USA Rank

Logic

#611

World Rank

#1088

Historical Rank

#233

USA Rank

philosophy Degrees

Download Badge

Philosophy

Steve Awodey's Degrees

PhD Philosophy Columbia University
Bachelors Mathematics Princeton University

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Steve Awodey Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Steven M. Awodey is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University. Biography Awodey studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.

(See a Problem?)

Steve Awodey's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

REVIEWS-Sketches of an elephant: A topos theory compendium (2003) (358)
Category Theory (2006) (307)
Homotopy theoretic models of identity types (2007) (262)
An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’† (2004) (105)
Structure in Mathematics and Logic: A Categorical Perspective (1996) (101)
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (2002) (101)
Type Theory and Homotopy (2010) (70)
Natural models of homotopy type theory (2014) (69)
First-order logical duality (2010) (62)
Structuralism, Invariance, and Univalence (2014) (60)
Carnap, Completeness, And Categoricity:The Gabelbarkeitssatz OF 1928 (2001) (55)
Carnap Brought Home: The View from Jena (2004) (50)
Inductive Types in Homotopy Type Theory (2012) (47)
Propositions as Types (2004) (36)
Local realizability toposes and a modal logic for computability (2002) (35)
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (2008) (35)
A cubical model of homotopy type theory (2016) (32)
Homotopy Type Theory (2015) (30)
Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax (2007) (29)
Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 (2004) (26)
Voevodsky's Univalence Axiom in homotopy type theory (2013) (25)
PREDICATIVE ALGEBRAIC SET THEORY (2004) (25)
Topological completeness for higher-order logic (1997) (24)
Homotopy Type Theory: Univalent Foundations of Mathematics (2013) (23)
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (2002) (23)
From Wittgenstein’s Prison to the Boundless Ocean: Carnap’s Dream of Logical Syntax (2009) (21)
Carnap, the Left Vienna Circle and Neopositivist Critique of Metaphysics (2004) (20)
Impredicative Encodings of (Higher) Inductive Types (2018) (20)
Relating first-order set theories, toposes and categories of classes (2014) (20)
The Coalgebraic Dual Of Birkhoff's Variety Theorem (2000) (18)
How Carnap Could Have Replied to Gödel (2001) (18)
Relating Topos Theory and Set Theory Via Categories of Classes (2003) (16)
Logic in topoi: functorial semantics for high-order logic (1997) (16)
Algebraic models of intuitionistic theories of sets and classes. (2004) (16)
Higher categories from type theories (2010) (15)
Scheme representation for first-order logic (2014) (15)
Modal operators and the formal dual of Birkhoff's completeness theorem (2003) (14)
A Brief Introduction to Algebraic Set Theory (2008) (14)
Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory (2011) (13)
Elementary axioms for local maps of toposes (2003) (13)
Carnap’s quest for analyticity: the Studies in Semantics (2007) (13)
Relating First-Order Set Theories and Elementary Toposes (2007) (12)
Lawvere–Tierney sheaves in Algebraic Set Theory (2007) (12)
MODEL STRUCTURES FROM HIGHER INDUCTIVE TYPES (2011) (12)
Sheaf Representation for Topoi (2000) (11)
Topos Semantics for Higher-Order Modal Logic (2014) (11)
Homotopy-Initial Algebras in Type Theory (2015) (11)
Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic (2002) (11)
From Sets to Types, to Categories, to Sets (2011) (10)
Identity Types - Topological and Categorical Structure (9)
Gödel and Carnap (2010) (8)
Topological representation of the λ-calculus (2000) (8)
Kripke-Joyal forcing for type theory and uniform fibrations (2021) (7)
Kripke Semantics for Martin-Löf's Extensional Type Theory (2009) (6)
Univalence as a principle of logic (2018) (6)
Topological Completeness of First-Order Modal Logic (2012) (6)
Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)
Polynomial pseudomonads and dependent type theory (2018) (5)
Homotopy type theory: unified foundations of mathematics and computation (2015) (5)
Axiom of Choice and Excluded Middle in Categorical Logic (1995) (5)
Ultrasheaves and Double Negation (2004) (5)
Topological representation of the lambda-calculus (2000) (5)
Philosophy and Foundations of Mathematics: Epistemological and Ontological Aspects (2009) (5)
An Outline of Algebraic Set Theory Steve Awodey (2006) (4)
Martin-Löf complexes (2009) (4)
Continuity and logical completeness: an application of sheaf theory and topoi (2006) (4)
Algebraic Models of Sets and Classes in Categories of Ideals (2006) (4)
Sheaf Representations and Duality in Logic (2020) (4)
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics (2001) (4)
Carnap versus Gödel on Syntax and Tolerance (2003) (4)
The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus on Logical Syllogism (2005) (4)
Review: Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism, edited by Jan Woleński and Eckehart Köhler (2004) (3)
In Memoriam: Saunders Mac Lane 1909–2005 (2007) (2)
Natural Models of Homotopy Type Theory (Abstract) (2013) (2)
Martin-L\"of Complexes (2009) (2)
Sheaf toposes for realizability (2008) (2)
Johnstone Peter T.. Sketches of an elephant: a topos theory compendium . Oxford Logic Guides, vols. 43, 44. Oxford University Press, Oxford, 2002, xxii + 1160 pp. (2005) (2)
Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics (2002) (2)
THE ADDITIVE GROUPS OF Z AND Q WITH PREDICATES FOR BEING SQUARE-FREE (2022) (1)
Functorial Semantics for Higher-order Logic Dissertation Abstract (2007) (1)
Notes on Algebraic Set Theory (2005) (1)
A general construction of internal sheaves in algebraic set theory (2007) (1)
A proposition is the (homotopy) type of its proofs (2017) (1)
Carnap and the invariance of logical truth (2015) (1)
A ug 2 01 0 First-Order Logical Duality (2010) (0)
Introduction – from type theory and homotopy theory to univalent foundations (2015) (0)
New Mathematics of Information: Homotopical and Higher Categorical Foundations of Information and Computation (2014) (0)
Solutions to Problem Set 5 : Category theory (2016) (0)
ASSOCIATION FOR SYMBOLIC LOGIC (2023) (0)
Stanford University, Stanford, CA March 19–22, 2005 (2006) (0)
Axiom in homotopy type theory (2013) (0)
Mathesis Universalis and Homotopy Type Theory (2019) (0)
General Topos Semantics for Higher-Order Modal Logic (2014) (0)
LIMITS AND COLIMITS (2006) (0)
JSL volume 86 issue 1 Cover and Front matter (2021) (0)
2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Marriott Philadelphia Downtown Philadelphia, Pennsylvania December 28–30, 2014 (2015) (0)
MONADS AND ALGEBRAS (2006) (0)
JSL volume 86 issue 2 Cover and Front matter (2021) (0)
2010 Category Theory Octoberfest (2010) (0)
Higher Inductive Types in Homotopy Type Theory (2013) (0)
On the Limitations of Birkhoff ’ s ( Co ) Variety Theorem (0)
GROUPS AND CATEGORIES (2006) (0)
FUNCTORS AND NATURALITY (2006) (0)
Developments in Mac Lane Set Theory (2002) (0)
JSL volume 87 issue 1 Cover and Front matter (2022) (0)
Steve Awodey & Carsten Klein (eds (2010) (0)
Book Review: Sketches of an Elephant (2004) (0)
2001 european summer meeting of the association for symbolic logic logic colloquium'01 (2002) (0)
Relating the Effective Topos to HoTT (2019) (0)
Cartesian cubical model categories (2023) (0)
Association for Symbolic Logic (2013) (0)
REVIEWS-Category theory (2007) (0)
Carnap and the invariance of logical truth (2015) (0)
Biographical Memoirs: Saunders Mac Lane (2007) (0)
Union College Category Theory: Celebrating Bill Lawvere & 50 Years of Functorial Semantics Abstracts: Contributed Talks Natural Models of Homotopy Type Theory (2013) (0)
HOMOTOPY AND TYPE THEORY (PROJECT DESCRIPTION) (2009) (0)
Association for Symbolic Logic (2008) (0)
REVIEWS-Frege's lectures on logic (2005) (0)
Association for Symbolic Logic (2010) (0)
CATEGORIES OF DIAGRAMS (2006) (0)
A Thesis Proposal on Final Coalgebras (1998) (0)
Topological Completeness of First-Order Modal Logics (2012) (0)
JSL volume 87 issue 3 Cover and Front matter (2022) (0)
The Palmer House Hilton Hotel, Chicago, Illinois April 19–21, 2007 (2007) (0)

This paper list is powered by the following services:

Other Resources About Steve Awodey

en.wikipedia.org

What Schools Are Affiliated With Steve Awodey?

Steve Awodey is affiliated with the following schools:

Image Attributions

Image Source for Steve Awodey