The following pages link to Steven Awodey (Q938240):
Displayed 50 items.
- Item:Q938240 (redirect page) (← links)
- Item:Q938240 (redirect page) (← links)
- Martin-Löf complexes (Q385803) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- Carnap and the invariance of logical truth (Q1708751) (← links)
- Univalence as a principle of logic (Q1788330) (← links)
- A cubical model of homotopy type theory (Q1799035) (← links)
- Elementary axioms for local maps of toposes (Q1861481) (← links)
- First-order logical duality (Q1935870) (← links)
- Sheaf representation for topoi (Q1963980) (← links)
- Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax} (Q2460190) (← links)
- Homotopy Type Theory (Q2937385) (← links)
- Topos Semantics for Higher-Order Modal Logic (Q2974975) (← links)
- Inductive Types in Homotopy Type Theory (Q2986785) (← links)
- (Q3079627) (← links)
- Natural models of homotopy type theory (Q3130300) (← links)
- Local realizability toposes and a modal logic for computability (Q3146245) (← links)
- Homotopy-Initial Algebras in Type Theory (Q3177878) (← links)
- Voevodsky’s Univalence Axiom in Homotopy Type Theory (Q3193040) (← links)
- Kripke Semantics for Martin-L\"of's Extensional Type Theory (Q3224684) (← links)
- Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
- (Q3575369) (← links)
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC (Q3580665) (← links)
- In Memoriam: Saunders Mac Lane 1909–2005 (Q3594487) (← links)
- Homotopy theoretic models of identity types (Q3598111) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- Structure in Mathematics and Logic: A Categorical Perspective (Q4344177) (← links)
- 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. (Q4408806) (← links)
- An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’† (Q4470296) (← links)
- (Q4499150) (← links)
- Topological completeness for higher-order logic (Q4527916) (← links)
- (Q4680361) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (Q4706123) (← links)
- Propositions as [Types] (Q4823804) (← links)
- Topological representation of the λ-calculus (Q4946631) (← links)
- Sheaf Representations and Duality in Logic (Q5014593) (← links)
- (Q5040167) (← links)
- Impredicative Encodings of (Higher) Inductive Types (Q5145279) (← links)
- A proposition is the (homotopy) type of its proofs (Q5236407) (← links)
- Structuralism, Invariance, and Univalence (Q5245979) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- From Sets to Types, to Categories, to Sets (Q5260986) (← links)
- (Q5419867) (← links)
- Category Theory (Q5472797) (← links)