Παρακολούθηση
Steve Awodey
Steve Awodey
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cmu.edu
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Category theory
S Awodey
OUP Oxford, 2010
15732010
Homotopy theoretic models of identity types
S Awodey, MA Warren
Mathematical proceedings of the cambridge philosophical society 146 (1), 45-55, 2009
3672009
Structure in mathematics and logic: A categorical perspective
S Awodey
Philosophia Mathematica 4 (3), 209-237, 1996
1701996
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
1542002
An Answer to G. Hellman's Question" Does Category Theory Provide a Framework for Mathematical Structuralism?"
S Awodey
Carnegie Mellon University, 2004
1482004
Natural models of homotopy type theory
S Awodey
Mathematical Structures in Computer Science 28 (2), 241-286, 2018
1162018
Propositions as [types]
S Awodey, A Bauer
Journal of logic and computation 14 (4), 447-471, 2004
1102004
Structuralism, invariance, and univalence
S Awodey
Philosophia Mathematica 22 (1), 1-11, 2014
1012014
Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
S Awodey, AW Carus
Erkenntnis 54 (2), 145-172, 2001
932001
Type theory and homotopy
S Awodey
Epistemology versus Ontology: Essays on the Philosophy and Foundations of …, 2012
792012
Carnap brought home: The view from Jena
S Awodey, C Klein
Open Court Publishing, 2004
732004
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
662012
Carnap’s dream: Gödel, Wittgenstein, and Logical, Syntax
S Awodey, AW Carus
Synthese 159, 23-45, 2007
652007
First-order logical duality
S Awodey, H Forssell
Annals of Pure and Applied Logic 164 (3), 319-348, 2013
602013
Homotopy type theory: Univalent foundations of mathematics
V Voevodsky
Institute for Advanced Study (Princeton), The Univalent Foundations Program …, 2013
562013
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
562008
Frege’s Lectures on Logic: Carnap’s Jena Notes 1910-1914
E Reck, S Awodey
Open Court Publishing, 2004
512004
Voevodsky’s univalence axiom in homotopy type theory
S Awodey, Á Pelayo, MA Warren
Notices of the AMS 60 (9), 1164-1167, 2013
502013
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
492009
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
462002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20