Edit Profile (opens in new tab) Avigad, Jeremy Co-Author Distance Author ID: avigad.jeremy Published as: Avigad, Jeremy; Avigad, J. Further Spellings: Avigad, Jeremy David Homepage: http://www.andrew.cmu.edu/user/avigad/ External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · dblp Documents Indexed: 65 Publications since 1996, including 1 Book 4 Contributions as Editor · 3 Further Contributions Co-Authors: 51 Co-Authors with 35 Joint Publications 698 Co-Co-Authors all top 5 Co-Authors 35 single-authored 4 Mahboubi, Assia 3 Dean, Edward T. 3 Donnelly, Kevin P. 3 Rute, Jason 3 Towsner, Henry 2 Asperti, Andrea 2 Bertot, Yves 2 Clarke, Edmund Melson jun. 2 Cohen, Cyril 2 Detlefsen, Michael E. 2 Gao, Sicun 2 Giaquinto, Marcus 2 Gonthier, Georges 2 Hafner, Johannes 2 Hallett, Michael T. 2 Kapulkin, Krzysztof 2 Lewis, Robert Y. 2 Lumsdaine, Peter LeFanu 2 Mancosu, Paolo 2 Manders, Kenneth Lawrence 2 McLarty, Colin 2 Morris, Rebecca Lea 2 Roux, Cody 2 Sommer, Richard 2 Tappenden, Jamie 2 Urquhart, Alasdair 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Awodey, Steve 1 Baek, Seulkee 1 Barras, Bruno 1 Bauer, Andrej 1 Bentkamp, Alexander 1 Bezem, Marc 1 Blanchette, Jasmin Christian 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 de Moura, Leonardo 1 Dybjer, Peter 1 Feferman, Solomon 1 Finster, Eric 1 Friedman, Harvey M. 1 Gambino, Nicola 1 Garillot, François 1 Garner, Richard 1 Gerhardy, Philipp 1 Grayson, Daniel Richard 1 Hales, Thomas Callister 1 Harper, Robert 1 Helzner, Jeffrey 1 Herbelin, Hugo 1 Heule, Marijn J. H. 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hölzl, Johannes 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Hudon, Simon 1 Iovino, José N. 1 Joyal, André 1 Klein, Gerwin 1 Kock, Joachim 1 Kong, Soonho 1 Kraus, Nicolai 1 Leroux, Stéphane 1 Li, Nuo 1 Licata, Dan 1 Luo, Zhaohui 1 Martin-Löf, Per 1 Melikhov, Sergey Aleksandrovich 1 Mumma, John 1 Nahas, Michael 1 Nawrocki, Wojciech 1 O’Connor, Russell 1 Ould Biha, Sidi 1 Palmgren, Erik 1 Paşca, Ioana 1 Paulson, Lawrence Charles 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Popescu, Andrei 1 Raff, Paul 1 Rideau, Laurence 1 Riehl, Emily 1 Rijke, Egbert 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Serafin, Luke 1 Shulman, Michael A. 1 Simic, Ksenija 1 Snelting, Gregor 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Solovyev, Alexey 1 Sozeau, Matthieu ...and 11 more Co-Authors all top 5 Serials 6 Annals of Pure and Applied Logic 5 The Journal of Symbolic Logic 5 Journal of Automated Reasoning 4 The Bulletin of Symbolic Logic 3 Notices of the American Mathematical Society 3 The Review of Symbolic Logic 2 Synthese 2 MSCS. Mathematical Structures in Computer Science 2 Archive for Mathematical Logic 2 ACM Transactions on Computational Logic 1 American Mathematical Monthly 1 Archive for History of Exact Sciences 1 Fundamenta Mathematicae 1 Notre Dame Journal of Formal Logic 1 Theoretical Computer Science 1 Transactions of the American Mathematical Society 1 Ergodic Theory and Dynamical Systems 1 Bulletin of the American Mathematical Society. New Series 1 Mathematical Logic Quarterly (MLQ) 1 The New York Journal of Mathematics 1 Discrete and Continuous Dynamical Systems 1 Philosophia Mathematica. Series III 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Mathematical Logic 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 Journal of Logic and Analysis all top 5 Fields 57 Mathematical logic and foundations (03-XX) 23 Computer science (68-XX) 18 General and overarching topics; collections (00-XX) 11 History and biography (01-XX) 7 Dynamical systems and ergodic theory (37-XX) 4 Number theory (11-XX) 4 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 3 Geometry (51-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 2 Algebraic topology (55-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 60 Publications have been cited 606 times in 478 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053Avigad, Jeremy; Feferman, Solomon 76 1998 The Lean theorem prover (system description). Zbl 1465.68279de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob 62 2015 A machine-checked proof of the odd order theorem. Zbl 1317.68211Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O’Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent 58 2013 The philosophy of mathematical practice. Zbl 1163.03001 47 2008 A formal system for Euclid’s Elements. Zbl 1188.03008Avigad, Jeremy; Dean, Edward; Mumma, John 43 2009 Local stability of ergodic averages. Zbl 1187.37010Avigad, Jeremy; Gerhardy, Philipp; Towsner, Henry 31 2010 \(\delta \)-complete decision procedures for satisfiability over the reals. Zbl 1358.03028Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M. 20 2012 Formalizing forcing arguments in subsystems of second-order arithmetic. Zbl 0860.03040Avigad, Jeremy 19 1996 A formally verified proof of the prime number theorem. Zbl 1367.68244Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul 17 2007 Interpreting classical theories in constructive ones. Zbl 0981.03061Avigad, Jeremy 16 2000 Mathematical method and proof. Zbl 1116.03012Avigad, Jeremy 14 2006 On the relationship between \(ATR_ 0\) and \(\widehat {ID}_{<\omega}\). Zbl 0858.03052Avigad, Jeremy 14 1996 Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Zbl 1259.03021Avigad, Jeremy; Dean, Edward T.; Rute, Jason 13 2012 Forcing in proof theory. Zbl 1064.03034Avigad, Jeremy 13 2004 Homotopy limits in type theory. Zbl 1362.18004Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu 13 2015 Saturated models of universal theories. Zbl 1015.03040Avigad, Jeremy 10 2002 Number theory and elementary arithmetic. Zbl 1050.03005Avigad, Jeremy 9 2003 Update procedures and the 1-consistency of arithmetic. Zbl 0988.03087Avigad, Jeremy 9 2002 The metamathematics of ergodic theory. Zbl 1168.03047Avigad, Jeremy 9 2009 An effective proof that open sets are Ramsey. Zbl 0909.03040Avigad, Jeremy 9 1998 Methodology and metaphysics in the development of Dedekind’s theory of ideals. Zbl 1164.00001Avigad, Jeremy 9 2006 Eliminating definitions and Skolem functions in first-order logic. Zbl 1365.03038Avigad, Jeremy 9 2003 A formally verified proof of the central limit theorem. Zbl 1425.68369Avigad, Jeremy; Hölzl, Johannes; Serafin, Luke 9 2017 The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004 9 2011 The mechanization of mathematics. Zbl 1398.68478Avigad, Jeremy 9 2018 Weak theories of nonstandard arithmetic and analysis. Zbl 1087.03038Avigad, Jeremy 8 2005 Ultraproducts and metastability. Zbl 1321.46015Avigad, Jeremy; Iovino, José 7 2013 Formalizing \(O\) notation in Isabelle/HOL. Zbl 1126.68557Avigad, Jeremy; Donnelly, Kevin 7 2004 Fundamental notions of analysis in subsystems of second-order arithmetic. Zbl 1109.03069Avigad, Jeremy; Simic, Ksenija 7 2006 \(\delta\)-decidability over the reals. Zbl 1364.03065Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M. 7 2012 Oscillation and the mean ergodic theorem for uniformly convex Banach spaces. Zbl 1355.37009Avigad, Jeremy; Rute, Jason 6 2015 Functional interpretation and inductive definitions. Zbl 1193.03082Avigad, Jeremy; Towsner, Henry 5 2009 A model-theoretic approach to ordinal analysis. Zbl 0874.03068Avigad, Jeremy; Sommer, Richard 5 1997 Transfer principles in nonstandard intuitionistic arithmetic. Zbl 1024.03068Avigad, J.; Helzner, J. 5 2002 The model-theoretic ordinal analysis of theories of predicative strength. Zbl 0939.03066Avigad, Jeremy; Sommer, Richard 4 1999 Uniform distribution and algorithmic randomness. Zbl 1275.03133Avigad, Jeremy 4 2013 The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression. Zbl 1296.01010Avigad, Jeremy; Morris, Rebecca 4 2014 Character and object. Zbl 1427.01005Avigad, Jeremy; Morris, Rebecca 4 2016 Algebraic proofs of cut elimination. Zbl 1015.68174Avigad, Jeremy 3 2001 Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\). Zbl 0945.03084Avigad, Jeremy 3 1998 Metastability in the Furstenberg-Zimmer tower. Zbl 1230.37004Avigad, Jeremy; Towsner, Henry 3 2010 Combining decision procedures for the reals. Zbl 1127.03006Avigad, Jeremy; Friedman, Harvey 3 2006 Plausibly hard combinatorial tautologies. Zbl 0891.03024Avigad, Jeremy 3 1998 Data types as quotients of polynomial functors. Zbl 07649955Avigad, Jeremy; Carneiro, Mario; Hudon, Simon 3 2019 Uncomputably noisy ergodic limits. Zbl 1258.03084Avigad, Jeremy 2 2012 A metastable dominated convergence theorem. Zbl 1277.28003Avigad, Jeremy; Dean, Edward T.; Rute, Jason 2 2012 A realizability interpretation for classical arithmetic. Zbl 0946.03071Avigad, Jeremy 2 2000 A heuristic prover for real inequalities. Zbl 1416.68149Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2014 Zen and the art of formalisation. Zbl 1276.03002Asperti, Andrea; Avigad, Jeremy 2 2011 A heuristic prover for real inequalities. Zbl 1356.68174Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2016 The computational content of classical arithmetic. Zbl 1244.03153Avigad, Jeremy 2 2010 Quantifier elimination for the reals with a predicate for the powers of two. Zbl 1113.03027Avigad, Jeremy; Yin, Yimu 2 2007 Modularity in mathematics. Zbl 1439.00026Avigad, Jeremy 2 2020 An ordinal analysis of admissible set theory using recursion on ordinal notations. Zbl 1016.03060Avigad, Jeremy 1 2002 Ordinal analysis without proofs. Zbl 1008.03038Avigad, Jeremy 1 2002 Inverting the Furstenberg correspondence. Zbl 1257.37009Avigad, Jeremy 1 2012 A decision procedure for linear “big O” equations. Zbl 1122.03004Avigad, Jeremy; Donnelly, Kevin 1 2007 Reliability of mathematical inference. Zbl 1507.00016Avigad, Jeremy 1 2021 Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1391.68001 1 2018 Reliability of mathematical inference. Zbl 1507.00016Avigad, Jeremy 1 2021 Modularity in mathematics. Zbl 1439.00026Avigad, Jeremy 2 2020 Data types as quotients of polynomial functors. Zbl 07649955Avigad, Jeremy; Carneiro, Mario; Hudon, Simon 3 2019 The mechanization of mathematics. Zbl 1398.68478Avigad, Jeremy 9 2018 Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Zbl 1391.68001 1 2018 A formally verified proof of the central limit theorem. Zbl 1425.68369Avigad, Jeremy; Hölzl, Johannes; Serafin, Luke 9 2017 Character and object. Zbl 1427.01005Avigad, Jeremy; Morris, Rebecca 4 2016 A heuristic prover for real inequalities. Zbl 1356.68174Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2016 The Lean theorem prover (system description). Zbl 1465.68279de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob 62 2015 Homotopy limits in type theory. Zbl 1362.18004Avigad, Jeremy; Kapulkin, Krzysztof; Lumsdaine, Peter LeFanu 13 2015 Oscillation and the mean ergodic theorem for uniformly convex Banach spaces. Zbl 1355.37009Avigad, Jeremy; Rute, Jason 6 2015 The concept of “character” in Dirichlet’s theorem on primes in an arithmetic progression. Zbl 1296.01010Avigad, Jeremy; Morris, Rebecca 4 2014 A heuristic prover for real inequalities. Zbl 1416.68149Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody 2 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 128 2013 A machine-checked proof of the odd order theorem. Zbl 1317.68211Gonthier, Georges; Asperti, Andrea; Avigad, Jeremy; Bertot, Yves; Cohen, Cyril; Garillot, François; Le Roux, Stéphane; Mahboubi, Assia; O’Connor, Russell; Ould Biha, Sidi; Pasca, Ioana; Rideau, Laurence; Solovyev, Alexey; Tassi, Enrico; Théry, Laurent 58 2013 Ultraproducts and metastability. Zbl 1321.46015Avigad, Jeremy; Iovino, José 7 2013 Uniform distribution and algorithmic randomness. Zbl 1275.03133Avigad, Jeremy 4 2013 \(\delta \)-complete decision procedures for satisfiability over the reals. Zbl 1358.03028Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M. 20 2012 Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. Zbl 1259.03021Avigad, Jeremy; Dean, Edward T.; Rute, Jason 13 2012 \(\delta\)-decidability over the reals. Zbl 1364.03065Gao, Sicun; Avigad, Jeremy; Clarke, Edmund M. 7 2012 Uncomputably noisy ergodic limits. Zbl 1258.03084Avigad, Jeremy 2 2012 A metastable dominated convergence theorem. Zbl 1277.28003Avigad, Jeremy; Dean, Edward T.; Rute, Jason 2 2012 Inverting the Furstenberg correspondence. Zbl 1257.37009Avigad, Jeremy 1 2012 The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004 9 2011 Zen and the art of formalisation. Zbl 1276.03002Asperti, Andrea; Avigad, Jeremy 2 2011 Local stability of ergodic averages. Zbl 1187.37010Avigad, Jeremy; Gerhardy, Philipp; Towsner, Henry 31 2010 Metastability in the Furstenberg-Zimmer tower. Zbl 1230.37004Avigad, Jeremy; Towsner, Henry 3 2010 The computational content of classical arithmetic. Zbl 1244.03153Avigad, Jeremy 2 2010 A formal system for Euclid’s Elements. Zbl 1188.03008Avigad, Jeremy; Dean, Edward; Mumma, John 43 2009 The metamathematics of ergodic theory. Zbl 1168.03047Avigad, Jeremy 9 2009 Functional interpretation and inductive definitions. Zbl 1193.03082Avigad, Jeremy; Towsner, Henry 5 2009 The philosophy of mathematical practice. Zbl 1163.03001 47 2008 A formally verified proof of the prime number theorem. Zbl 1367.68244Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul 17 2007 Quantifier elimination for the reals with a predicate for the powers of two. Zbl 1113.03027Avigad, Jeremy; Yin, Yimu 2 2007 A decision procedure for linear “big O” equations. Zbl 1122.03004Avigad, Jeremy; Donnelly, Kevin 1 2007 Mathematical method and proof. Zbl 1116.03012Avigad, Jeremy 14 2006 Methodology and metaphysics in the development of Dedekind’s theory of ideals. Zbl 1164.00001Avigad, Jeremy 9 2006 Fundamental notions of analysis in subsystems of second-order arithmetic. Zbl 1109.03069Avigad, Jeremy; Simic, Ksenija 7 2006 Combining decision procedures for the reals. Zbl 1127.03006Avigad, Jeremy; Friedman, Harvey 3 2006 Weak theories of nonstandard arithmetic and analysis. Zbl 1087.03038Avigad, Jeremy 8 2005 Forcing in proof theory. Zbl 1064.03034Avigad, Jeremy 13 2004 Formalizing \(O\) notation in Isabelle/HOL. Zbl 1126.68557Avigad, Jeremy; Donnelly, Kevin 7 2004 Number theory and elementary arithmetic. Zbl 1050.03005Avigad, Jeremy 9 2003 Eliminating definitions and Skolem functions in first-order logic. Zbl 1365.03038Avigad, Jeremy 9 2003 Saturated models of universal theories. Zbl 1015.03040Avigad, Jeremy 10 2002 Update procedures and the 1-consistency of arithmetic. Zbl 0988.03087Avigad, Jeremy 9 2002 Transfer principles in nonstandard intuitionistic arithmetic. Zbl 1024.03068Avigad, J.; Helzner, J. 5 2002 An ordinal analysis of admissible set theory using recursion on ordinal notations. Zbl 1016.03060Avigad, Jeremy 1 2002 Ordinal analysis without proofs. Zbl 1008.03038Avigad, Jeremy 1 2002 Algebraic proofs of cut elimination. Zbl 1015.68174Avigad, Jeremy 3 2001 Interpreting classical theories in constructive ones. Zbl 0981.03061Avigad, Jeremy 16 2000 A realizability interpretation for classical arithmetic. Zbl 0946.03071Avigad, Jeremy 2 2000 The model-theoretic ordinal analysis of theories of predicative strength. Zbl 0939.03066Avigad, Jeremy; Sommer, Richard 4 1999 Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053Avigad, Jeremy; Feferman, Solomon 76 1998 An effective proof that open sets are Ramsey. Zbl 0909.03040Avigad, Jeremy 9 1998 Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\). Zbl 0945.03084Avigad, Jeremy 3 1998 Plausibly hard combinatorial tautologies. Zbl 0891.03024Avigad, Jeremy 3 1998 A model-theoretic approach to ordinal analysis. Zbl 0874.03068Avigad, Jeremy; Sommer, Richard 5 1997 Formalizing forcing arguments in subsystems of second-order arithmetic. Zbl 0860.03040Avigad, Jeremy 19 1996 On the relationship between \(ATR_ 0\) and \(\widehat {ID}_{<\omega}\). Zbl 0858.03052Avigad, Jeremy 14 1996 all cited Publications top 5 cited Publications all top 5 Cited by 634 Authors 24 Avigad, Jeremy 19 Sanders, Sam 17 Kohlenbach, Ulrich Wilhelm 11 Paulson, Lawrence Charles 10 Oliva, Paulo 7 Ferreira, Fernando 7 Kaliszyk, Cezary 7 Sato, Kentaro 7 Towsner, Henry 6 Asperti, Andrea 6 Kapulkin, Krzysztof 6 Normann, Dag 6 Van den Berg, Benno 5 Aschieri, Federico 5 Cohen, Cyril 5 Dinis, Bruno 5 Janičić, Predrag 5 Kreuzer, Alexander P. 5 Narboux, Julien 5 Rute, Jason 5 Safarik, Pavol 4 Abate, Alessandro 4 Affeldt, Reynald 4 Beeson, Michael J. 4 Hamami, Yacin 4 Hernest, Mircea-Dan 4 Hoyrup, Mathieu 4 Kentaro, Sato 4 Leuştean, Laurenţiu 4 Morris, Rebecca Lea 4 Mumma, John 4 Rabe, Florian 4 Rojas, Cristobal 3 Arai, Toshiyasu 3 Brauße, Franz 3 Buss, Samuel R. 3 Chan, Hing-Lun 3 Coquand, Thierry 3 Cordón-Franco, Andrés 3 Ferreira, Gilda 3 Gaspar, Jaime 3 Hetzl, Stefan 3 Kahle, Reinhard 3 Koutsoukou-Argyraki, Angeliki 3 Kristiansen, Lars 3 Lara-Martín, Francisco Felix 3 Li, Wenda 3 Lochbihler, Andreas 3 Lumsdaine, Peter LeFanu 3 Negri, Sara 3 Nipkow, Tobias 3 Norrish, Michael 3 Pąk, Karol 3 Patey, Ludovic 3 Platzer, André 3 Rouhling, Damien 3 Shafer, Paul 3 Szumiło, Karol 3 Traytel, Dmitry 3 Wenzel, Makarius 3 Wong, Tin Lok 2 Abel, Andreas M. 2 Aransay, Jesús 2 Baanen, Anne 2 Bauer, Andrej 2 Benedikt, Michael A. 2 Bickford, Mark 2 Bienvenu, Laurent 2 Boldo, Sylvie 2 Briseid, Eyvind Martol 2 Buchholtz, Ulrik 2 Cattaruzza, Dario 2 Chong, Chi Tat 2 Clément, François 2 Cockx, Jesper 2 Cohen, Liron 2 de Moura, Leonardo 2 de Paiva, Valeria 2 Downey, Rodney Graham 2 Dumbrava, Stefania 2 Eberl, Manuel 2 Enayat, Ali 2 Farmer, William M. 2 Feferman, Solomon 2 Franklin, Johanna N. Y. 2 Fujiwara, Makoto 2 Fürer, Basil 2 Grosu, Radu 2 Gunther, Emmanuel 2 Heras, Jónathan 2 Hölzl, Johannes 2 Ilik, Danko 2 Isaev, Valery 2 Islam, Md. Ariful 2 Kawai, Tatsuji 2 Koepke, Peter 2 Kohlhase, Michael 2 Korovin, Konstantin 2 Korovina, Margarita Vladimirovna 2 Kotlarski, Henryk ...and 534 more Authors all top 5 Cited in 88 Serials 51 Annals of Pure and Applied Logic 31 Journal of Automated Reasoning 24 The Journal of Symbolic Logic 22 Archive for Mathematical Logic 16 Synthese 13 MSCS. Mathematical Structures in Computer Science 13 Mathematical Logic Quarterly (MLQ) 10 The Bulletin of Symbolic Logic 10 The Review of Symbolic Logic 8 Notre Dame Journal of Formal Logic 7 Theoretical Computer Science 7 Logical Methods in Computer Science 6 Advances in Mathematics 6 Information and Computation 6 Annals of Mathematics and Artificial Intelligence 6 Journal of Mathematical Logic 5 Studia Logica 5 Ergodic Theory and Dynamical Systems 5 Journal of Functional Programming 5 Journal of Logic and Analysis 5 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 4 Automatica 4 Proceedings of the American Mathematical Society 4 Transactions of the American Mathematical Society 4 Indagationes Mathematicae. New Series 4 Experimental Mathematics 4 Theory of Computing Systems 4 Foundations of Science 4 Journal of Logical and Algebraic Methods in Programming 3 Artificial Intelligence 2 Archive for History of Exact Sciences 2 Journal of Mathematical Analysis and Applications 2 The Mathematical Intelligencer 2 Bulletin of the London Mathematical Society 2 Journal of Pure and Applied Algebra 2 Programming and Computer Software 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 2 Historia Mathematica 2 Bulletin of the American Mathematical Society. New Series 2 Communications in Contemporary Mathematics 2 The Journal of Logic and Algebraic Programming 2 Portugaliae Mathematica. Nova Série 2 JP Journal of Algebra, Number Theory and Applications 2 ACM Transactions on Computational Logic 2 Fixed Point Theory and Applications 2 Mathematics in Computer Science 2 Journal of Formalized Reasoning 2 Computability 2 Higher Structures 2 British Journal for the History of Mathematics 1 American Mathematical Monthly 1 Israel Journal of Mathematics 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal d’Analyse Mathématique 1 Mathematische Semesterberichte 1 Chaos, Solitons and Fractals 1 Fuzzy Sets and Systems 1 Journal of Functional Analysis 1 Journal of Mathematical Economics 1 Pacific Journal of Mathematics 1 Topology and its Applications 1 AI Communications 1 Applicable Algebra in Engineering, Communication and Computing 1 SIAM Journal on Optimization 1 Computational Optimization and Applications 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Applied Categorical Structures 1 Advances in Applied Clifford Algebras 1 Selecta Mathematica. New Series 1 Topoi 1 Journal for Geometry and Graphics 1 Chaos 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Annals of Mathematics. Second Series 1 Foundations of Computational Mathematics 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Oberwolfach Reports 1 Proceedings of the Steklov Institute of Mathematics 1 Journal of Homotopy and Related Structures 1 Nonlinear Analysis. Hybrid Systems 1 Philosophy Compass 1 Forum of Mathematics, Pi 1 Transactions of the London Mathematical Society 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 1 Journal of Membrane Computing all top 5 Cited in 42 Fields 319 Mathematical logic and foundations (03-XX) 186 Computer science (68-XX) 43 General and overarching topics; collections (00-XX) 26 History and biography (01-XX) 24 Category theory; homological algebra (18-XX) 20 Number theory (11-XX) 20 Operator theory (47-XX) 18 Geometry (51-XX) 18 Algebraic topology (55-XX) 15 Dynamical systems and ergodic theory (37-XX) 13 Combinatorics (05-XX) 10 Real functions (26-XX) 9 Group theory and generalizations (20-XX) 8 General topology (54-XX) 8 Systems theory; control (93-XX) 7 Measure and integration (28-XX) 7 Functional analysis (46-XX) 6 Commutative algebra (13-XX) 6 Operations research, mathematical programming (90-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Field theory and polynomials (12-XX) 4 Algebraic geometry (14-XX) 4 Probability theory and stochastic processes (60-XX) 3 Sequences, series, summability (40-XX) 3 Information and communication theory, circuits (94-XX) 3 Mathematics education (97-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Functions of a complex variable (30-XX) 2 Ordinary differential equations (34-XX) 2 Convex and discrete geometry (52-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Differential geometry (53-XX) 1 Numerical analysis (65-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-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.