Available identifiers
zbMath Open awodey.steveWikidataQ7611834 ScholiaQ7611834MaRDI QIDQ938240
List of research outcomes
| Publication | Date of Publication | Type |
|---|
| Cartesian cubical model categories | 2023-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5040167 | 2022-10-11 | Paper |
| On Hofmann-Streicher universes | 2022-05-22 | Paper |
| Sheaf Representations and Duality in Logic | 2021-12-08 | Paper |
| Kripke-Joyal forcing for type theory and uniform fibrations | 2021-10-27 | Paper |
| Impredicative Encodings of (Higher) Inductive Types | 2021-01-20 | Paper |
| Mathesis Universalis and Homotopy Type Theory | 2020-08-10 | Paper |
| A proposition is the (homotopy) type of its proofs | 2019-10-15 | Paper |
| A cubical model of homotopy type theory | 2018-10-18 | Paper |
| Univalence as a principle of logic | 2018-10-08 | Paper |
| Homotopy-Initial Algebras in Type Theory | 2018-08-02 | Paper |
| Carnap and the invariance of logical truth | 2018-03-27 | Paper |
| Polynomial pseudomonads and dependent type theory | 2018-02-03 | Paper |
| Natural models of homotopy type theory | 2018-01-11 | Paper |
| Inductive Types in Homotopy Type Theory | 2017-05-16 | Paper |
| Topos Semantics for Higher-Order Modal Logic | 2017-04-11 | Paper |
| A cubical model of homotopy type theory | 2016-07-21 | Paper |
| Voevodsky’s Univalence Axiom in Homotopy Type Theory | 2015-10-14 | Paper |
| From Sets to Types, to Categories, to Sets | 2015-07-01 | Paper |
| Type Theory and Homotopy | 2015-06-05 | Paper |
| Structuralism, Invariance, and Univalence | 2015-04-17 | Paper |
| Homotopy Type Theory | 2015-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419867 | 2014-06-11 | Paper |
| Martin-Löf complexes | 2013-12-11 | Paper |
| Relating first-order set theories, toposes and categories of classes | 2013-12-10 | Paper |
| First-order logical duality | 2013-02-19 | Paper |
| Kripke Semantics for Martin-L\"of's Extensional Type Theory | 2012-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079627 | 2011-03-02 | Paper |
| TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC | 2010-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3575369 | 2010-07-27 | Paper |
| Lawvere–Tierney sheaves in Algebraic Set Theory | 2009-09-29 | Paper |
| Kripke Semantics for Martin-Löf’s Extensional Type Theory | 2009-07-07 | Paper |
| A Brief Introduction to Algebraic Set Theory | 2009-03-25 | Paper |
| Homotopy theoretic models of identity types | 2009-01-30 | Paper |
| Relating First-Order Set Theories and Elementary Toposes | 2008-10-23 | Paper |
| Sheaf toposes for realizability | 2008-08-18 | Paper |
| Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax} | 2007-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5755187 | 2007-08-20 | Paper |
| In Memoriam: Saunders Mac Lane 1909–2005 | 2007-08-08 | Paper |
| Category Theory | 2006-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701016 | 2005-11-02 | Paper |
| Ultrasheaves and double negation | 2005-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680361 | 2005-06-01 | Paper |
| Propositions as [Types] | 2004-10-28 | Paper |
| An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’† | 2004-06-22 | Paper |
| Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics | 2003-10-28 | Paper |
| Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic | 2003-10-13 | Paper |
| Elementary axioms for local maps of toposes | 2003-03-09 | Paper |
| Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. | 2003-01-01 | Paper |
| Local realizability toposes and a modal logic for computability | 2002-10-31 | Paper |
| Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928 | 2002-07-05 | Paper |
| Topological completeness for higher-order logic | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499150 | 2001-03-06 | Paper |
| Sheaf representation for topoi | 2000-09-17 | Paper |
| Topological representation of the λ-calculus | 2000-04-13 | Paper |
| Structure in Mathematics and Logic: A Categorical Perspective | 1997-10-14 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Steven Awodey
