Edit Profile (opens in new tab) Awodey, Steve Co-Author Distance Author ID: awodey.steve Published as: Awodey, Steve; Awodey, S.; Awodey, Steven more...less Further Spellings: Awodey, Steven M. Homepage: http://www.andrew.cmu.edu/user/awodey/ External Links: MGP · Wikidata · Google Scholar · GND · IdRef · theses.fr Videos: carmin.tv Documents Indexed: 56 Publications since 1996, including 2 Books and 4 Additional arXiv Preprints 2 Contributions as Editor · 2 Further Contributions Reviewing Activity: 2 Reviews Co-Authors: 32 Co-Authors with 37 Joint Publications 560 Co-Co-Authors all top 5 Co-Authors 23 single-authored 6 Gambino, Nicola 6 Warren, Michael Alton 3 Bauer, Andrej 3 Birkedal, Lars 3 Butz, Carsten 3 Carus, A. W. 3 Kishida, Kohei 3 Reck, Erich H. 3 Scott, Dana Stewart 3 Sojakova, Kristina 2 Coquand, Thierry 2 Forssell, Henrik 2 Garner, Richard 2 Hofstra, Pieter J. W. 2 Lumsdaine, Peter LeFanu 2 Martin-Löf, Per 2 Palmgren, Erik 2 Pelayo, Alvaro 2 Rabe, Florian 2 Riehl, Emily 2 Simpson, Alex K. 2 Streicher, Thomas 2 Voevodskiĭ, Vladimir Aleksandrovich 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Barras, Bruno 1 Bertot, Yves 1 Bezem, Marc 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cavallo, Evan 1 Cohen, Cyril 1 Constable, Robert Lee 1 Curien, Pierre-Louis 1 Dybjer, Peter 1 Eliasson, Jonas 1 Finster, Eric 1 Frege, Gottlob 1 Frey, Jonas 1 Gabriel, Gottfried 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Hazratpour, Sina 1 Herbelin, Hugo 1 Hofmann, Martin 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Hughes, Jesse 1 Joyal, André 1 Kapulkin, Krzysztof 1 Kock, Joachim 1 Kotzsch, Hans-Christoph 1 Kraus, Nicolai 1 Li, Nuo 1 Licata, Dan 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Melikhov, Sergey Aleksandrovich 1 Nahas, Michael 1 Newstead, Clive 1 Polonsky, Andrew 1 Rijke, Egbert 1 Sattler, Christian 1 Scott, Philip J. 1 Shulman, Michael A. 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Speight, Sam 1 Spitters, Bas 1 Van den Berg, Benno 1 Zeilberger, Noam all top 5 Serials 5 Mathematical Structures in Computer Science 4 Annals of Pure and Applied Logic 3 The Bulletin of Symbolic Logic 2 Journal of Pure and Applied Algebra 2 The Journal of Symbolic Logic 2 Synthese 2 History and Philosophy of Logic 2 Theory and Applications of Categories 2 Philosophia Mathematica. Series III 2 Oxford Logic Guides 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Logique et Analyse. Nouvelle Série 1 Notre Dame Journal of Formal Logic 1 Journal of Logic and Computation 1 Notices of the American Mathematical Society 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Philosophia Mathematica. Series III 1 Selecta Mathematica. New Series 1 Journal of the ACM 1 Erkenntnis 1 Oberwolfach Reports 1 Logical Methods in Computer Science 1 The Review of Symbolic Logic all top 5 Fields 55 Mathematical logic and foundations (03-XX) 36 Category theory; homological algebra (18-XX) 18 Algebraic topology (55-XX) 8 History and biography (01-XX) 4 General and overarching topics; collections (00-XX) 2 Computer science (68-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 624 times in 488 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 272 2013 Category theory. 2nd ed. Zbl 1194.18001 Awodey, Steve 114 2010 Homotopy theoretic models of identity types. Zbl 1205.03065 Awodey, Steve; Warren, Michael A. 88 2009 Category theory. Zbl 1100.18001 Awodey, Steve 76 2006 Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002 Awodey, Steve; Reck, Erich H. 30 2002 Propositions as [types]. Zbl 1050.03016 Awodey, Steven; Bauer, Andrej 30 2004 Natural models of homotopy type theory. Zbl 1456.03023 Awodey, Steve 21 2018 Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Zbl 0988.03007 Awodey, S.; Carus, A. W. 18 2001 An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”. Zbl 1065.18002 Awodey, Steve 15 2004 Structure in mathematics and logic: A categorical perspective. Zbl 0874.00012 Awodey, S. 14 1996 Inductive types in homotopy type theory. Zbl 1364.03014 Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 14 2012 Structuralism, invariance, and univalence. Zbl 1310.03021 Awodey, Steve 14 2014 Type theory and homotopy. Zbl 1314.03013 Awodey, Steve 13 2012 First-order logical duality. Zbl 1275.03169 Awodey, Steve; Forssell, Henrik 13 2013 Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023 Awodey, Steve; Kishida, Kohei 12 2008 A cubical model of homotopy type theory. Zbl 1522.03038 Awodey, Steve 12 2018 Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073 Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 10 2014 Relating first-order set theories and elementary toposes. Zbl 1152.03043 Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 8 2007 Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003 Awodey, Steve; Reck, Erich H. 8 2002 Impredicative encodings of (higher) inductive types. Zbl 1452.03030 Awodey, Steve; Frey, Jonas; Speight, Sam 8 2018 Predicative algebraic set theory. Zbl 1072.18004 Awodey, Steve; Warren, Michael A. 7 2005 Modal operators and the formal dual of Birkhoff’s completeness theorem. Zbl 1040.18001 Awodey, Steve; Hughes, Jesse 7 2003 Topos semantics for higher-order modal logic. Zbl 1364.03092 Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 7 2014 Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014 Awodey, Steve; Pelayo, Álvaro; Warren, Michael A. 6 2013 Homotopy-initial algebras in type theory. Zbl 1426.03016 Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 6 2017 Local realizability toposes and a modal logic for computability. Zbl 1007.03057 Awodey, Steven; Birkedal, Lars; Scott, Dana S. 6 2002 Carnap’s dream: Gödel, Wittgenstein, and Logical Syntax. Zbl 1126.03004 Awodey, S.; Carus, A. W. 5 2007 Elementary axioms for local maps of toposes. Zbl 1011.18002 Awodey, Steven; Birkedal, Lars 5 2003 A brief introduction to algebraic set theory. Zbl 1222.03056 Awodey, Steve 5 2008 Ultrasheaves and double negation. Zbl 1093.03041 Awodey, Steve; Eliasson, Jonas 4 2004 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504 Awodey, Steven; Birkedal, Lars; Scott, Dana S. 4 1999 Topological completeness of first-order modal logic. Zbl 1291.03030 Awodey, Steve; Kishida, Kohei 4 2012 Gödel and Carnap. Zbl 1221.03002 Awodey, Steve; Carus, A. W. 3 2010 Continuity and logical completeness: an application of sheaf theory and topoi. Zbl 1129.03037 Awodey, Steve 3 2006 Topological completeness for higher-order logic. Zbl 0977.03010 Awodey, S.; Butz, C. 3 2000 Univalence as a principle of logic. Zbl 1437.03168 Awodey, Steve 3 2018 Algebraic models of intuitionistic theories of sets and classes. Zbl 1085.18004 Awodey, S.; Forssell, H. 3 2005 Topological representation of the \(\lambda\)-calculus. Zbl 0942.03015 Awodey, Steven 3 2000 Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037 3 2011 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007 Awodey, Steve; Rabe, Florian 3 2011 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022 Awodey, Steve; Rabe, Florian 2 2009 Martin-Löf complexes. Zbl 1323.03012 Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 Sheaf representation for topoi. Zbl 0944.18003 Awodey, S. 2 2000 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068 Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 Homotopy type theory. Zbl 1304.03043 Awodey, Steve 2 2015 Sheaf toposes for realizability. Zbl 1161.03036 Awodey, Steven; Bauer, Andrej 1 2008 Sheaf representations and duality in logic. Zbl 1529.18005 Awodey, Steve 1 2021 From sets to types, to categories, to sets. Zbl 1317.03016 Awodey, Steve 1 2011 Structuralism, invariance, and univalence. Zbl 1496.18002 Awodey, Steve 1 2017 Sheaf representations and duality in logic. Zbl 1529.18005 Awodey, Steve 1 2021 Natural models of homotopy type theory. Zbl 1456.03023 Awodey, Steve 21 2018 A cubical model of homotopy type theory. Zbl 1522.03038 Awodey, Steve 12 2018 Impredicative encodings of (higher) inductive types. Zbl 1452.03030 Awodey, Steve; Frey, Jonas; Speight, Sam 8 2018 Univalence as a principle of logic. Zbl 1437.03168 Awodey, Steve 3 2018 Homotopy-initial algebras in type theory. Zbl 1426.03016 Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 6 2017 Structuralism, invariance, and univalence. Zbl 1496.18002 Awodey, Steve 1 2017 Homotopy type theory. Zbl 1304.03043 Awodey, Steve 2 2015 Structuralism, invariance, and univalence. Zbl 1310.03021 Awodey, Steve 14 2014 Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073 Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 10 2014 Topos semantics for higher-order modal logic. Zbl 1364.03092 Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 7 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 272 2013 First-order logical duality. Zbl 1275.03169 Awodey, Steve; Forssell, Henrik 13 2013 Voevodsky’s univalence axiom in homotopy type theory. Zbl 1337.03014 Awodey, Steve; Pelayo, Álvaro; Warren, Michael A. 6 2013 Martin-Löf complexes. Zbl 1323.03012 Awodey, Steve; Hofstra, Pieter; Warren, Michael A. 2 2013 Inductive types in homotopy type theory. Zbl 1364.03014 Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 14 2012 Type theory and homotopy. Zbl 1314.03013 Awodey, Steve 13 2012 Topological completeness of first-order modal logic. Zbl 1291.03030 Awodey, Steve; Kishida, Kohei 4 2012 Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011. Zbl 1242.00037 3 2011 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007 Awodey, Steve; Rabe, Florian 3 2011 From sets to types, to categories, to sets. Zbl 1317.03016 Awodey, Steve 1 2011 Category theory. 2nd ed. Zbl 1194.18001 Awodey, Steve 114 2010 Gödel and Carnap. Zbl 1221.03002 Awodey, Steve; Carus, A. W. 3 2010 Homotopy theoretic models of identity types. Zbl 1205.03065 Awodey, Steve; Warren, Michael A. 88 2009 Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022 Awodey, Steve; Rabe, Florian 2 2009 Lawvere-Tierney sheaves in algebraic set theory. Zbl 1183.03068 Awodey, S.; Gambino, N.; Lumsdaine, P. L.; Warren, M. A. 2 2009 Topology and modality: the topological interpretation of first-order modal logic. Zbl 1204.03023 Awodey, Steve; Kishida, Kohei 12 2008 A brief introduction to algebraic set theory. Zbl 1222.03056 Awodey, Steve 5 2008 Sheaf toposes for realizability. Zbl 1161.03036 Awodey, Steven; Bauer, Andrej 1 2008 Relating first-order set theories and elementary toposes. Zbl 1152.03043 Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas 8 2007 Carnap’s dream: Gödel, Wittgenstein, and Logical Syntax. Zbl 1126.03004 Awodey, S.; Carus, A. W. 5 2007 Category theory. Zbl 1100.18001 Awodey, Steve 76 2006 Continuity and logical completeness: an application of sheaf theory and topoi. Zbl 1129.03037 Awodey, Steve 3 2006 Predicative algebraic set theory. Zbl 1072.18004 Awodey, Steve; Warren, Michael A. 7 2005 Algebraic models of intuitionistic theories of sets and classes. Zbl 1085.18004 Awodey, S.; Forssell, H. 3 2005 Propositions as [types]. Zbl 1050.03016 Awodey, Steven; Bauer, Andrej 30 2004 An answer to Hellman’s question: “Does category theory provide a framework for mathematical structuralism?”. Zbl 1065.18002 Awodey, Steve 15 2004 Ultrasheaves and double negation. Zbl 1093.03041 Awodey, Steve; Eliasson, Jonas 4 2004 Modal operators and the formal dual of Birkhoff’s completeness theorem. Zbl 1040.18001 Awodey, Steve; Hughes, Jesse 7 2003 Elementary axioms for local maps of toposes. Zbl 1011.18002 Awodey, Steven; Birkedal, Lars 5 2003 Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002 Awodey, Steve; Reck, Erich H. 30 2002 Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003 Awodey, Steve; Reck, Erich H. 8 2002 Local realizability toposes and a modal logic for computability. Zbl 1007.03057 Awodey, Steven; Birkedal, Lars; Scott, Dana S. 6 2002 Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928. Zbl 0988.03007 Awodey, S.; Carus, A. W. 18 2001 Topological completeness for higher-order logic. Zbl 0977.03010 Awodey, S.; Butz, C. 3 2000 Topological representation of the \(\lambda\)-calculus. Zbl 0942.03015 Awodey, Steven 3 2000 Sheaf representation for topoi. Zbl 0944.18003 Awodey, S. 2 2000 Local realizability toposes and a modal logic for computability. (Extended abstract). Zbl 0959.03504 Awodey, Steven; Birkedal, Lars; Scott, Dana S. 4 1999 Structure in mathematics and logic: A categorical perspective. Zbl 0874.00012 Awodey, S. 14 1996 all cited Publications top 5 cited Publications all top 5 Cited by 569 Authors 21 Awodey, Steve 10 Gambino, Nicola 9 Licata, Daniel R. 8 Birkedal, Lars 8 Coquand, Thierry 8 Harper, Robert 7 Angiuli, Carlo 7 Endrullis, Jörg 7 Gratzer, Daniel 7 Kraus, Nicolai 7 Shulman, Michael A. 6 Garner, Richard 6 Li, Qingguo 6 Lumsdaine, Peter LeFanu 6 Schiemer, Georg 6 Warren, Michael Alton 5 Ahrens, Benedikt 5 Jacobs, Bart 5 Kavvos, G. A. 5 Møgelberg, Rasmus Ejlers 5 Overbeek, Roy 5 Rijke, Egbert 5 Rosset, Aloïs 5 Van den Berg, Benno 5 van der Weide, Niels 5 Wang, Longchun 5 Wißmann, Thorsten 4 Buchholtz, Ulrik 4 Hofstra, Pieter J. W. 4 Kishida, Kohei 4 Kosiol, Jens 4 Mörtberg, Anders 4 Reck, Erich H. 4 Silva, Alexandra 4 Sojakova, Kristina 4 Taentzer, Gabriele 4 Uemura, Taichi 3 Abramsky, Samson 3 Altenkirch, Thorsten 3 Bauer, Andrej 3 Bimbó, Katalin 3 Bonsangue, Marcello Maria 3 Butz, Carsten 3 Corey, Daniel 3 Ellerman, David P. 3 Emmenegger, Jacopo 3 Feintzeig, Benjamin H. 3 Frumin, Dan 3 Goncharov, Sergeĭ Savost’yanovich 3 Hasuo, Ichiro 3 Hötzel Escardó, Martín 3 Hou (Favonia), Kuen-Bang 3 Huber, Simon 3 Kapulkin, Krzysztof 3 Karakostas, Vassilios 3 Kock, Joachim 3 Krídlo, Ondrej 3 Kudryavtseva, Ganna 3 Maggesi, Marco 3 Marquis, Jean-Pierre 3 Maruyama, Yoshihiro 3 Mémoli, Facundo 3 Milius, Stefan 3 Mio, Matteo 3 Moerdijk, Ieke 3 Ojeda-Aciego, Manuel 3 Palmgren, Erik 3 Petrakis, Iosif 3 Pitts, Andrew M. 3 Rosolini, Giuseppe 3 Salamanca, Julian 3 Sarkis, Ralph 3 Sattler, Christian 3 Schreiber, Urs 3 Schröder, Lutz 3 Spitters, Bas 3 Sterling, Jonathan 3 Streicher, Thomas 3 Swan, Andrew W. 3 Tsementzis, Dimitris 3 van Doorn, Floris 3 Veltri, Niccolò 3 Vignudelli, Valeria 3 von Raumer, Jakob 3 Zafiris, Elias 2 Adámek, Jiří 2 Ameri, Reza 2 Aranda, Víctor 2 Başkent, Can 2 Bezem, Marc 2 Bizjak, Aleš 2 Bourke, John 2 Brogi, Cosimo Perini 2 Brunerie, Guillaume 2 Buldt, Bernd 2 Carter, Jessica 2 Corfield, David 2 Danielsson, Nils Anders 2 Dougherty, John J. III 2 Dunn, Jon Michael ...and 469 more Authors all top 5 Cited in 111 Serials 31 Mathematical Structures in Computer Science 27 Synthese 27 Annals of Pure and Applied Logic 21 Logical Methods in Computer Science 15 The Review of Symbolic Logic 12 The Bulletin of Symbolic Logic 11 Journal of Pure and Applied Algebra 9 Theoretical Computer Science 9 Logica Universalis 8 Mathematical Logic Quarterly (MLQ) 7 The Journal of Symbolic Logic 7 Journal of Logical and Algebraic Methods in Programming 6 Journal of Functional Programming 5 Notre Dame Journal of Formal Logic 5 Studia Logica 5 History and Philosophy of Logic 5 Erkenntnis 5 Foundations of Physics 4 Communications in Mathematical Physics 4 Information and Computation 4 Bulletin of the American Mathematical Society. New Series 4 Theory and Applications of Categories 4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 3 Fortschritte der Physik 3 Algebra Universalis 3 Fuzzy Sets and Systems 3 Topology and its Applications 3 Journal of Automated Reasoning 3 International Journal of Approximate Reasoning 3 Archive for Mathematical Logic 3 Indagationes Mathematicae. New Series 3 Applied Categorical Structures 2 Information Processing Letters 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Journal of Geometry and Physics 2 The Mathematical Intelligencer 2 Advances in Mathematics 2 Journal of Philosophical Logic 2 Semigroup Forum 2 Bulletin of the Section of Logic 2 European Journal of Combinatorics 2 Journal of Applied Non-Classical Logics 2 Applied and Computational Harmonic Analysis 2 Selecta Mathematica. New Series 2 Annals of Mathematics and Artificial Intelligence 2 Logic and Logical Philosophy 2 Journal of Applied Logic 2 Journal of Mathematics and Music 2 Forum of Mathematics, Sigma 2 European Journal of Mathematics 2 Journal of Applied and Computational Topology 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Letters in Mathematical Physics 1 Mathematical Methods in the Applied Sciences 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys 1 Reviews in Mathematical Physics 1 Archivum Mathematicum 1 Bulletin of the London Mathematical Society 1 Colloquium Mathematicum 1 Information Sciences 1 Publications Mathématiques 1 Journal of Computer and System Sciences 1 Journal of the London Mathematical Society. Second Series 1 Mathematica Scandinavica 1 Mathematica Slovaca 1 Mathematische Zeitschrift 1 Pacific Journal of Mathematics 1 Quaestiones Mathematicae 1 Rendiconti del Circolo Matemàtico di Palermo. Serie II 1 Transactions of the American Mathematical Society 1 Mathematical Social Sciences 1 Order 1 Journal of Symbolic Computation 1 Discrete & Computational Geometry 1 SIAM Journal on Discrete Mathematics 1 Forum Mathematicum 1 Formal Aspects of Computing 1 Differential Geometry and its Applications 1 Games and Economic Behavior 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Filomat 1 Constraints 1 Topoi 1 Soft Computing 1 Journal of the European Mathematical Society (JEMS) 1 Journal of High Energy Physics 1 Algebraic & Geometric Topology 1 International Studies in the Philosophy of Science 1 Journal of the Australian Mathematical Society 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Journal of Algebra and its Applications 1 Thai Journal of Mathematics 1 International Journal of Quantum Information 1 Mediterranean Journal of Mathematics 1 The Journal of Prime Research in Mathematics 1 Journal of Homotopy and Related Structures 1 Operators and Matrices ...and 11 more Serials all top 5 Cited in 40 Fields 308 Mathematical logic and foundations (03-XX) 209 Category theory; homological algebra (18-XX) 117 Computer science (68-XX) 85 Algebraic topology (55-XX) 51 General and overarching topics; collections (00-XX) 33 History and biography (01-XX) 30 Order, lattices, ordered algebraic structures (06-XX) 25 Quantum theory (81-XX) 14 Group theory and generalizations (20-XX) 13 Combinatorics (05-XX) 13 General topology (54-XX) 12 Functional analysis (46-XX) 11 General algebraic systems (08-XX) 11 Algebraic geometry (14-XX) 8 Associative rings and algebras (16-XX) 7 Geometry (51-XX) 7 Relativity and gravitational theory (83-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Convex and discrete geometry (52-XX) 5 Differential geometry (53-XX) 3 Number theory (11-XX) 3 Real functions (26-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Probability theory and stochastic processes (60-XX) 3 Mechanics of particles and systems (70-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Operations research, mathematical programming (90-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Abstract harmonic analysis (43-XX) 1 Operator theory (47-XX) 1 Manifolds and cell complexes (57-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.