Edit Profile (opens in new tab) Makkai, Michael Co-Author Distance Author ID: makkai.michael Published as: Makkai, M.; Makkai, Michael; Makkai, Mihaly more...less Homepage: http://www.math.mcgill.ca/makkai/ External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 75 Publications since 1964, including 3 Books and 1 Additional arXiv Preprint 2 Further Contributions Biographic References: 2 Publications Co-Authors: 27 Co-Authors with 39 Joint Publications 1,362 Co-Co-Authors all top 5 Co-Authors 38 single-authored 7 Hermida, Claudio 6 Reyes, Gonzalo E. 5 Harnik, Victor 4 Harrington, Leo A. 4 Power, John 3 van Breugel, Franck 3 Worrell, James Benjamin 3 Zawadowski, Marek 2 Aczel, Peter 2 Barendregt, Hendrik Pieter 2 Barwise, Jon 2 Burgess, John P. 2 Cheng, Eugenia 2 Davis, Martin David 2 Devlin, Keith J. 2 Eklof, Paul C. 2 Enderton, Herbert B. 2 Feferman, Solomon 2 Fourman, Michael Paul 2 Jech, Thomas J. 2 Juhász, István 2 Kaufmann, Matt 2 Kechris, Alexander S. 2 Keisler, Howard Jerome 2 Kock, Anders Jungersen 2 Kunen, Kenneth 2 Macintyre, Angus John 2 Martin, Donald A. 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Paris, Jeffrey Bruce 2 Rabin, Michael O. 2 Rosický, Jiří 2 Rudin, Mary Ellen 2 Schwichtenberg, Helmut 2 Shelah, Saharon 2 Shönfield, Joseph R. 2 Shore, Richard Arnold 2 Simpson, Stephen G. 2 Smoryński, Craig 2 Statman, Richard 2 Stroyan, Keith D. 2 Troelstra, Anne Sjerp 1 Barr, Michael 1 Barwise, Kenneth Jon 1 Dömölki, Balint 1 Erdős, Pál 1 Grätzer, George 1 Hu, Hongde 1 Koh, Khee Meng 1 McNulty, George F. 1 Mycielski, Jan 1 Paré, Robert 1 Pitts, Andrew M. 1 Rosolini, Giuseppe 1 Ruzsa, Imre 1 Suranyi, Janos 1 Vokřínek, Lukáš all top 5 Serials 8 Journal of Pure and Applied Algebra 4 Annals of Mathematical Logic 4 The Journal of Symbolic Logic 4 Notre Dame Journal of Formal Logic 4 Annals of Pure and Applied Logic 3 Acta Mathematica Academiae Scientiarum Hungaricae 3 Israel Journal of Mathematics 3 Fundamenta Mathematicae 3 Proceedings of the American Mathematical Society 3 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 2 Advances in Mathematics 2 Algebra Universalis 2 Theoretical Computer Science 2 Transactions of the American Mathematical Society 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 A Magyar Tudomanyos Akademia. Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei 2 Publications of the Mathematical Institute of the Hungarian Academy of Sciences, Series A 2 Studies in Logic and the Foundations of Mathematics 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Canadian Journal of Mathematics 1 Matematikai Lapok 1 Memoirs of the American Mathematical Society 1 Studia Scientiarum Mathematicarum Hungarica 1 Theory and Applications of Categories 1 Bulletin of the American Mathematical Society 1 Contemporary Mathematics 1 Lecture Notes in Mathematics all top 5 Fields 54 Mathematical logic and foundations (03-XX) 33 Category theory; homological algebra (18-XX) 6 Computer science (68-XX) 4 General topology (54-XX) 3 General algebraic systems (08-XX) 3 Associative rings and algebras (16-XX) 3 Group theory and generalizations (20-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Algebraic topology (55-XX) 1 Algebraic geometry (14-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 66 Publications have been cited 961 times in 738 Documents Cited by ▼ Year ▼ Accessible categories: The foundations of categorical model theory. Zbl 0703.03042 Makkai, Michael; Paré, Robert 168 1989 First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. Zbl 0357.18002 Makkai, Michael; Reyes, Gonzalo E. 110 1977 A survey of basic stability theory, with particular emphasis on orthogonality and regular types. Zbl 0583.03021 Makkai, M. 73 1984 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036 Makkai, M.; Reyes, G. E. 61 1995 A proof of Vaught’s conjecture for \(\omega\)-stable theories. Zbl 0584.03021 Shelah, S.; Harrington, L.; Makkai, M. 37 1984 Stationary logic. Zbl 0372.02031 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 33 1978 Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal. Zbl 0704.03015 Shelah, Saharon; Makkai, Michael 29 1990 Stone duality for first order logic. Zbl 0649.03050 Makkai, M. 20 1987 An exposition of Shelah’s ’main gap’: counting uncountable models of \(\omega\)-stable and superstable theories. Zbl 0589.03015 Harrington, L.; Makkai, M. 18 1985 Some results on locally finitely presentable categories. Zbl 0615.18002 Makkai, M.; Pitts, A. M. 17 1987 Avoiding the axiom of choice in general category theory. Zbl 0859.18001 Makkai, M. 17 1996 An example concerning Scott heights. Zbl 0501.03018 Makkai, M. 17 1981 Cellular categories. Zbl 1285.18007 Makkai, M.; Rosický, J. 16 2014 A theorem on Barr-exact categories, with an infinitary generalization. Zbl 0711.03030 Makkai, Michael 16 1990 On the model theory of denumerably long formulas with finite strings of quantifiers. Zbl 0235.02050 Makkai, M. 16 1969 Recursively defined metric spaces without contraction. Zbl 1118.68085 van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 16 2007 On weak higher-dimensional categories. I. 2. Zbl 0985.18006 Hermida, Claudio; Makkai, Michael; Power, John 15 2001 Generalized sketches as a framework for completeness theorems. I-III. Zbl 0871.03045 Makkai, M. 15 1997 Ultraproducts and categorical logic. Zbl 0582.03052 Makkai, M. 15 1985 Strong conceptual completeness for first-order logic. Zbl 0669.03037 Makkai, Michael 14 1988 Duality for simple \(\omega\)-categories and disks. Zbl 1002.18006 Makkai, Mihaly; Zawadowski, Marek 14 2001 On weak higher dimensional categories. I: Part 1. Zbl 0971.18005 Hermida, Claudio; Makkai, Michael; Power, John 14 2000 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 Duality and definability in first order logic. Zbl 0783.03038 Makkai, Michael 13 1993 Universal Horn axiom systems for lattices of submodules. Zbl 0375.06003 Makkai, M.; McNulty, G. 12 1977 A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties. Zbl 0288.08007 Makkai, M. 11 1973 On a fat small object argument. Zbl 1295.55019 Makkai, M.; Rosický, J.; Vokřínek, L. 11 2014 Applications of Vaught sentences and the covering theorem. Zbl 0333.02013 Harnik, Victor; Makkai, Michael 10 1976 Towards a categorical foundation of mathematics. Zbl 0896.03051 Makkai, M. 9 1998 Lambek’s categorical proof theory and Läuchli’s abstract realizability. Zbl 0765.03027 Harnik, Victor; Makkai, Michael 9 1992 The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1. Zbl 0808.03049 Makkai, M. 8 1993 Full continuous embeddings of toposes. Zbl 0487.18004 Makkai, M. 8 1982 A correction to ”Stationary logic”. Zbl 0457.03034 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 8 1981 The topos of types. Zbl 0527.03042 Makkai, M. 8 1981 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Solution of a problem of G. Grätzer concerning endomorphism semigroups. Zbl 0201.34505 Makkai, M. 7 1964 On a generalization of a theorem of E. W. Beth. Zbl 0202.30104 Makkai, M. 7 1964 On the lattice of subalgebras of a Boolean algebra. Zbl 0265.06011 Grätzer, G.; Koh, K. M.; Makkai, M. 6 1972 An accessible approach to behavioural pseudometrics. Zbl 1085.68101 van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 6 2005 On full embeddings. I. Zbl 0449.18001 Makkai, M. 6 1980 On weak higher-dimensional categories. I: Part 3. Zbl 0992.18005 Hermida, Claudio; Makkai, Michael; Power, John 5 2002 The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2. Zbl 0808.03050 Makkai, M. 5 1993 An application of a method of Smullyan to logics on admissible sets. Zbl 0191.29702 Makkai, M. 5 1969 An ”admissible” generalization of a theorem on countable \(|Sigma^1_1\) sets of reals with applications. Zbl 0376.02031 Makkai, M. 5 1977 A tree argument in infinitary model theory. Zbl 0384.03019 Harnik, V.; Makkai, M. 5 1978 On representations of Grothendieck toposes. Zbl 0619.18002 Barr, Michael; Makkai, Michael 4 1987 Generalizing Vaught sentences from \(\omega\) to strong cofinality \(\omega\). Zbl 0301.02051 Makkai, M. 4 1974 Higher-dimensional multigraphs. Zbl 0945.03552 Hermida, Claudio; Makkai, Michael; Power, John 4 1998 Stone duality for first order logic. Zbl 0522.03006 Makkai, M. 4 1982 The category of 3-computads is not cartesian closed. Zbl 1155.18008 Makkai, Mihaly; Zawadowski, Marek 4 2008 Global definability theory in L\(_{\omega_1, \omega}\). Zbl 0281.02053 Makkai, M. 3 1973 A compactness result concerning direct products of models. Zbl 0133.24502 Makkai, M. 3 1965 On Gabbay’s proof of the Craig interpolation theorem for intuitionistic predicate logic. Zbl 0835.03030 Makkai, Michael 2 1995 A Stone-type representation theory for first order logic. Zbl 0561.03034 Makkai, M. 2 1984 A note on the Penon definition of \(n\)-category. Zbl 1209.18006 Cheng, Eugenia; Makkai, Michael 2 2009 Some remarks on set theory. X. Zbl 0199.02303 Erdős, Pál; Makkai, M. 2 1966 Model-theoretical methods in the theory of topoi and related categories. I. Zbl 0337.18004 Makkai, M.; Reyes, G. E. 2 1976 Model-theoretical methods in the theory of topoi and related categories. II. Zbl 0337.18005 Makkai, M.; Reyes, G. E. 2 1976 Addendum to “Recursively defined metric spaces without contraction”. Zbl 1294.68108 van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 1 2013 Vaught sentences and Lindström’s regular relations. Zbl 0268.02009 Makkai, M. 1 1973 Studying repleteness in the category of cops. Zbl 0911.68127 Makkai, Michael; Rosolini, Giuseppe 1 1997 Svenonius sentences and Lindström’s theory on preservation theorems. Zbl 0248.02021 Makkai, M. 1 1972 The scientific works of R. Peter. Zbl 0143.00503 Dömölki, B.; Makkai, M.; Ruzsa, Imre; Suranyi, J. 1 1965 Structures elementarily equivalent relative to infinitary languages to models of higher power. Zbl 0235.02051 Makkai, M. 1 1970 On \(PC_ \Delta\)-classes in the theory of models. Zbl 0133.24503 Makkai, M. 1 1964 New axiomatizations for logics with generalized quantifiers. Zbl 0404.03023 Harnik, Victor; Makkai, Michael 1 1979 Cellular categories. Zbl 1285.18007 Makkai, M.; Rosický, J. 16 2014 On a fat small object argument. Zbl 1295.55019 Makkai, M.; Rosický, J.; Vokřínek, L. 11 2014 Addendum to “Recursively defined metric spaces without contraction”. Zbl 1294.68108 van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 1 2013 A note on the Penon definition of \(n\)-category. Zbl 1209.18006 Cheng, Eugenia; Makkai, Michael 2 2009 The category of 3-computads is not cartesian closed. Zbl 1155.18008 Makkai, Mihaly; Zawadowski, Marek 4 2008 Recursively defined metric spaces without contraction. Zbl 1118.68085 van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 16 2007 An accessible approach to behavioural pseudometrics. Zbl 1085.68101 van Breugel, Franck; Hermida, Claudio; Makkai, Michael; Worrell, James 6 2005 On weak higher-dimensional categories. I: Part 3. Zbl 0992.18005 Hermida, Claudio; Makkai, Michael; Power, John 5 2002 On weak higher-dimensional categories. I. 2. Zbl 0985.18006 Hermida, Claudio; Makkai, Michael; Power, John 15 2001 Duality for simple \(\omega\)-categories and disks. Zbl 1002.18006 Makkai, Mihaly; Zawadowski, Marek 14 2001 On weak higher dimensional categories. I: Part 1. Zbl 0971.18005 Hermida, Claudio; Makkai, Michael; Power, John 14 2000 Towards a categorical foundation of mathematics. Zbl 0896.03051 Makkai, M. 9 1998 Higher-dimensional multigraphs. Zbl 0945.03552 Hermida, Claudio; Makkai, Michael; Power, John 4 1998 Generalized sketches as a framework for completeness theorems. I-III. Zbl 0871.03045 Makkai, M. 15 1997 Studying repleteness in the category of cops. Zbl 0911.68127 Makkai, Michael; Rosolini, Giuseppe 1 1997 Avoiding the axiom of choice in general category theory. Zbl 0859.18001 Makkai, M. 17 1996 Completeness results for intuitionistic and modal logic in a categorical setting. Zbl 0830.03036 Makkai, M.; Reyes, G. E. 61 1995 On Gabbay’s proof of the Craig interpolation theorem for intuitionistic predicate logic. Zbl 0835.03030 Makkai, Michael 2 1995 Duality and definability in first order logic. Zbl 0783.03038 Makkai, Michael 13 1993 The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1. Zbl 0808.03049 Makkai, M. 8 1993 The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2. Zbl 0808.03050 Makkai, M. 5 1993 Lambek’s categorical proof theory and Läuchli’s abstract realizability. Zbl 0765.03027 Harnik, Victor; Makkai, Michael 9 1992 Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal. Zbl 0704.03015 Shelah, Saharon; Makkai, Michael 29 1990 A theorem on Barr-exact categories, with an infinitary generalization. Zbl 0711.03030 Makkai, Michael 16 1990 Accessible categories: The foundations of categorical model theory. Zbl 0703.03042 Makkai, Michael; Paré, Robert 168 1989 Strong conceptual completeness for first-order logic. Zbl 0669.03037 Makkai, Michael 14 1988 Stone duality for first order logic. Zbl 0649.03050 Makkai, M. 20 1987 Some results on locally finitely presentable categories. Zbl 0615.18002 Makkai, M.; Pitts, A. M. 17 1987 On representations of Grothendieck toposes. Zbl 0619.18002 Barr, Michael; Makkai, Michael 4 1987 An exposition of Shelah’s ’main gap’: counting uncountable models of \(\omega\)-stable and superstable theories. Zbl 0589.03015 Harrington, L.; Makkai, M. 18 1985 Ultraproducts and categorical logic. Zbl 0582.03052 Makkai, M. 15 1985 A survey of basic stability theory, with particular emphasis on orthogonality and regular types. Zbl 0583.03021 Makkai, M. 73 1984 A proof of Vaught’s conjecture for \(\omega\)-stable theories. Zbl 0584.03021 Shelah, S.; Harrington, L.; Makkai, M. 37 1984 A Stone-type representation theory for first order logic. Zbl 0561.03034 Makkai, M. 2 1984 Full continuous embeddings of toposes. Zbl 0487.18004 Makkai, M. 8 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 7 1982 Stone duality for first order logic. Zbl 0522.03006 Makkai, M. 4 1982 An example concerning Scott heights. Zbl 0501.03018 Makkai, M. 17 1981 A correction to ”Stationary logic”. Zbl 0457.03034 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 8 1981 The topos of types. Zbl 0527.03042 Makkai, M. 8 1981 On full embeddings. I. Zbl 0449.18001 Makkai, M. 6 1980 New axiomatizations for logics with generalized quantifiers. Zbl 0404.03023 Harnik, Victor; Makkai, Michael 1 1979 Stationary logic. Zbl 0372.02031 Barwise, Jon; Kaufmann, Matt; Makkai, Michael 33 1978 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 14 1978 A tree argument in infinitary model theory. Zbl 0384.03019 Harnik, V.; Makkai, M. 5 1978 First order categorical logic. Model-theoretical methods in the theory of topoi and related categories. Zbl 0357.18002 Makkai, Michael; Reyes, Gonzalo E. 110 1977 Universal Horn axiom systems for lattices of submodules. Zbl 0375.06003 Makkai, M.; McNulty, G. 12 1977 An ”admissible” generalization of a theorem on countable \(|Sigma^1_1\) sets of reals with applications. Zbl 0376.02031 Makkai, M. 5 1977 Applications of Vaught sentences and the covering theorem. Zbl 0333.02013 Harnik, Victor; Makkai, Michael 10 1976 Model-theoretical methods in the theory of topoi and related categories. I. Zbl 0337.18004 Makkai, M.; Reyes, G. E. 2 1976 Model-theoretical methods in the theory of topoi and related categories. II. Zbl 0337.18005 Makkai, M.; Reyes, G. E. 2 1976 Generalizing Vaught sentences from \(\omega\) to strong cofinality \(\omega\). Zbl 0301.02051 Makkai, M. 4 1974 A proof of Baker’s finite-base theorem on equational classes generated by finite elements of congruence distributive varieties. Zbl 0288.08007 Makkai, M. 11 1973 Global definability theory in L\(_{\omega_1, \omega}\). Zbl 0281.02053 Makkai, M. 3 1973 Vaught sentences and Lindström’s regular relations. Zbl 0268.02009 Makkai, M. 1 1973 On the lattice of subalgebras of a Boolean algebra. Zbl 0265.06011 Grätzer, G.; Koh, K. M.; Makkai, M. 6 1972 Svenonius sentences and Lindström’s theory on preservation theorems. Zbl 0248.02021 Makkai, M. 1 1972 Structures elementarily equivalent relative to infinitary languages to models of higher power. Zbl 0235.02051 Makkai, M. 1 1970 On the model theory of denumerably long formulas with finite strings of quantifiers. Zbl 0235.02050 Makkai, M. 16 1969 An application of a method of Smullyan to logics on admissible sets. Zbl 0191.29702 Makkai, M. 5 1969 Some remarks on set theory. X. Zbl 0199.02303 Erdős, Pál; Makkai, M. 2 1966 A compactness result concerning direct products of models. Zbl 0133.24502 Makkai, M. 3 1965 The scientific works of R. Peter. Zbl 0143.00503 Dömölki, B.; Makkai, M.; Ruzsa, Imre; Suranyi, J. 1 1965 Solution of a problem of G. Grätzer concerning endomorphism semigroups. Zbl 0201.34505 Makkai, M. 7 1964 On a generalization of a theorem of E. W. Beth. Zbl 0202.30104 Makkai, M. 7 1964 On \(PC_ \Delta\)-classes in the theory of models. Zbl 0133.24503 Makkai, M. 1 1964 all cited Publications top 5 cited Publications all top 5 Cited by 579 Authors 50 Rosický, Jiří 24 Makkai, Michael 23 Vasey, Sebastien 20 Adámek, Jiří 18 Shelah, Saharon 15 Lieberman, Michael Joseph 11 Boney, Will 11 Pillay, Anand 10 Buechler, Steven 10 Zawadowski, Marek 9 Newelski, Ludomir 8 Baldwin, John T. 8 Bourke, John 8 Hermida, Claudio 8 Reyes, Gonzalo E. 7 Beke, Tibor 7 Garner, Richard 7 Hrushovski, Ehud 7 Jacobs, Bart 7 Lack, Stephen 7 Power, John 7 Prest, Mike 7 Tholen, Walter 6 Di Liberti, Ivan 6 Harrison-Trainor, Matthew 6 Milius, Stefan 6 Moerdijk, Ieke 6 Schröder, Lutz 6 Väänänen, Jouko Antero 5 Caramello, Olivia 5 Harnik, Victor 5 Harrington, Leo A. 5 Hébert, Michel 5 Heunen, Chris 5 Hu, Hongde 5 Johnstone, Peter T. 5 Karazeris, Panagis 5 Knight, Julia F. 5 Pitts, Andrew M. 5 Tanović, Predrag 5 Tendas, Giacomo 5 van Breugel, Franck 5 Velebil, Jiří 5 Worrell, James Benjamin 4 Bouscaren, Elisabeth 4 Carboni, Aurelio 4 Chen, Ruiyuan 4 Cheng, Eugenia 4 Chorny, Boris 4 Chowdhury, Ambar 4 Grossberg, Rami P. 4 Gutiérrez, Javier J. 4 Hyttinen, Tapani 4 Jacqmin, Pierre-Alain 4 Kennison, John F. 4 Lampe, William A. 4 Laskowski, Michael Chris 4 Marquis, Jean-Pierre 4 Marra, Vincenzo 4 Poizat, Bruno Petrovich 4 Positselski, Leonid Efimovich 4 Rosolini, Giuseppe 4 Scott, Philip J. 4 Wolter, Uwe E. 3 Ara, Dimitri 3 Awodey, Steve 3 Barr, Michael 3 Berger, Clemens 3 Blute, Richard F. 3 Borceux, Francis 3 Butz, Carsten 3 Cottrell, Thomas 3 Crans, Sjoerd E. 3 Czédli, Gábor 3 Diaconescu, Răzvan 3 Džamonja, Mirna 3 Fiore, Marcelo P. 3 Ghilardi, Silvio 3 Grandis, Marco 3 Hart, Bradd T. 3 Hasuo, Ichiro 3 Henry, Simon 3 Hofmann, Dirk 3 Hyland, J. Martin E. 3 Ivanov, Aleksander A. 3 Joyal, André 3 Kaufmann, Matt 3 Kudaĭbergenov, Kanat Zhanzakovich 3 Lamo, Yngve 3 Lipton, James B. 3 López Franco, Ignacio L. 3 Loveys, James G. 3 Maietti, Maria Emilia 3 Maltsiniotis, Georges 3 Menni, Matías 3 Palmgren, Erik 3 Pasquali, Fabio 3 Porst, Hans-Eberhard 3 Reggio, Luca 3 Ščedrov, Andrej ...and 479 more Authors all top 5 Cited in 102 Serials 103 Journal of Pure and Applied Algebra 90 Annals of Pure and Applied Logic 68 The Journal of Symbolic Logic 33 Advances in Mathematics 32 Applied Categorical Structures 24 Algebra Universalis 22 Cahiers de Topologie et Géométrie Différentielle Catégoriques 18 Theoretical Computer Science 15 Israel Journal of Mathematics 15 Proceedings of the American Mathematical Society 15 Archive for Mathematical Logic 14 Mathematical Structures in Computer Science 13 Theory and Applications of Categories 12 Journal of Algebra 11 Transactions of the American Mathematical Society 9 Studia Logica 8 Mathematical Logic Quarterly (MLQ) 8 The Bulletin of Symbolic Logic 8 Journal of Mathematical Logic 7 Algebra and Logic 7 Notre Dame Journal of Formal Logic 5 Mathematical Proceedings of the Cambridge Philosophical Society 5 Fuzzy Sets and Systems 5 Synthese 5 Information and Computation 5 Logica Universalis 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Journal of Philosophical Logic 4 Mathematische Zeitschrift 4 Siberian Mathematical Journal 4 Algebraic & Geometric Topology 4 Logical Methods in Computer Science 4 Journal of Topology 3 Communications in Algebra 3 International Journal of Theoretical Physics 3 Fundamenta Mathematicae 3 Mathematische Annalen 3 Topology and its Applications 3 Order 3 Journal of the American Mathematical Society 3 Selecta Mathematica. New Series 3 The Review of Symbolic Logic 3 Categories and General Algebraic Structures with Applications 2 Mathematical Notes 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Bulletin of the London Mathematical Society 2 Compositio Mathematica 2 Czechoslovak Mathematical Journal 2 Journal of Soviet Mathematics 2 History and Philosophy of Logic 2 Formal Aspects of Computing 2 Bulletin of the American Mathematical Society. New Series 2 Journal of Applied Non-Classical Logics 2 The Journal of Logic and Algebraic Programming 2 Bulletin of the American Mathematical Society 2 Science China. Mathematics 2 Higher Structures 1 Acta Informatica 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Information Processing Letters 1 Journal of Mathematical Analysis and Applications 1 Periodica Mathematica Hungarica 1 The Mathematical Intelligencer 1 Archiv der Mathematik 1 Journal of Computer and System Sciences 1 Manuscripta Mathematica 1 Memoirs of the American Mathematical Society 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Proceedings of the London Mathematical Society. Third Series 1 Quaestiones Mathematicae 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Rendiconti del Seminario Matematico della Università di Padova 1 Bulletin of the Section of Logic 1 Acta Mathematica Hungarica 1 \(K\)-Theory 1 International Journal of Approximate Reasoning 1 Discrete Event Dynamic Systems 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Acta Mathematica Sinica. New Series 1 Journal of Algebraic Combinatorics 1 Journal of Mathematical Sciences (New York) 1 Diagrammes 1 Annals of Mathematics and Artificial Intelligence 1 Documenta Mathematica 1 Geometry & Topology 1 Algebras and Representation Theory 1 Matematicheskie Trudy 1 Journal of the European Mathematical Society (JEMS) 1 RAIRO. Theoretical Informatics and Applications 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Central European Journal of Mathematics 1 Journal of Applied Logic 1 Mediterranean Journal of Mathematics 1 Iranian Journal of Fuzzy Systems 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Sarajevo Journal of Mathematics 1 Proceedings of the Japan Academy 1 Journal of Homotopy and Related Structures 1 Tbilisi Mathematical Journal 1 São Paulo Journal of Mathematical Sciences ...and 2 more Serials all top 5 Cited in 34 Fields 453 Mathematical logic and foundations (03-XX) 369 Category theory; homological algebra (18-XX) 73 Computer science (68-XX) 59 Algebraic topology (55-XX) 58 General algebraic systems (08-XX) 52 Order, lattices, ordered algebraic structures (06-XX) 34 Associative rings and algebras (16-XX) 32 General topology (54-XX) 23 Group theory and generalizations (20-XX) 12 Commutative algebra (13-XX) 11 History and biography (01-XX) 10 General and overarching topics; collections (00-XX) 10 Field theory and polynomials (12-XX) 10 Functional analysis (46-XX) 7 Combinatorics (05-XX) 7 Algebraic geometry (14-XX) 6 Quantum theory (81-XX) 5 Geometry (51-XX) 5 Probability theory and stochastic processes (60-XX) 3 \(K\)-theory (19-XX) 3 Measure and integration (28-XX) 3 Convex and discrete geometry (52-XX) 3 Manifolds and cell complexes (57-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Number theory (11-XX) 2 Nonassociative rings and algebras (17-XX) 2 Real functions (26-XX) 2 Differential geometry (53-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-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.