The Canon · Mathematics

The most-cited papers in Logic math.LO

Ranked by citation count from Semantic Scholar; papers count in their primary category only. The top 250, fifty to a page. For papers whose citations only just took off, see the sleepers.

Provisional: built from 480,031 of about 3.2 million arXiv papers with fresh Semantic Scholar citation counts so far (most-cited first), so some classics are still missing. Counts as of 15 November 2026.

More archives

Retired archives

Mathematics by category

10 more categories

Showing 1–50 of the top 250 · 1,548 papers in math.LO counted so far

The most-cited papers in math.LO, ranked by Semantic Scholar citations
Rank#	Paper	Year	Citations	Influential	Per year
1	Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program 2013511 citations, 36 a year	2013	511	99	36
2	Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups A. S. Kechris, V. G. Pestov, S. Todorcevic 2003492 citations, 20 a year	2003	492	58	20
3	The monadic theory of order Saharon Shelah 2023353 citations, 88 a year	2023	353	48	88
4	Turbulence, amalgamation and generic automorphisms of homogeneous structures Alexander S. Kechris, Christian Rosendal 2004346 citations, 15 a year	2004	346	48	15
5	Infinite Time Turing Machines Joel David Hamkins, Andy Lewis 1998324 citations, 11 a year	1998	324	47	11
6	Homotopy theoretic models of identity types Steve Awodey, Michael A. Warren 2007279 citations, 14 a year	2007	279	18	14
7	The Simplicial Model of Univalent Foundations (after Voevodsky) Chris Kapulkin, Peter LeFanu Lumsdaine 2012246 citations, 16 a year	2012	246	24	16
8	Groups, measures, and the NIP Ehud Hrushovski, Ya'acov Peterzil, Anand Pillay 2006239 citations, 11 a year	2006	239	37	11
9	Stable group theory and approximate subgroups Ehud Hrushovski 2009229 citations, 13 a year	2009	229	55	13
10	Continuous first order logic and local stability Itaï Ben Yaacov, Alexander Usvyatsov 2008215 citations, 11 a year	2008	215	17	11
11	On NIP and invariant measures Ehud Hrushovski, Anand Pillay 2007213 citations, 11 a year	2007	213	34	11
12	A formal system for Euclid's Elements Jeremy Avigad, Edward Dean, John Mumma 2008161 citations, 8 a year	2008	161	10	8
13	On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice Felix Bou, Francesc Esteva, Lluis Godo +1 more 2008160 citations, 8 a year	2008	160	9	8
14	Types are weak omega-groupoids Benno van den Berg, Richard Garner 2008158 citations, 8 a year	2008	158	15	8
15	The Elementary Theory of the Frobenius Automorphisms Ehud Hrushovski 2004149 citations, 6 a year	2004	149	23	6
16	The wonderland of reflections Libor Barto, Jakub Opršal, Michael Pinsker 2015148 citations, 12 a year	2015	148	32	12
17	Strongly dependent theories Saharon Shelah 2005146 citations, 7 a year	2005	146	22	7
18	Weihrauch Degrees, Omniscience Principles and Weak Computability Vasco Brattka, Guido Gherardi 2009141 citations, 8 a year	2009	141	15	8
19	Effective Choice and Boundedness Principles in Computable Analysis Vasco Brattka, Guido Gherardi 2009133 citations, 7 a year	2009	133	11	7
20	Galois-stability for Tame Abstract Elementary Classes Rami Grossberg, Monica VanDieren 2005131 citations, 6 a year	2005	131	22	6
21	Extensions with the approximation and cover properties have no new large cardinals Joel David Hamkins 2003126 citations, 5 a year	2003	126	20	5
22	Weak omega-categories from intensional type theory Peter LeFanu Lumsdaine 2008117 citations, 6 a year	2008	117	7	6
23	The Lottery Preparation Joel David Hamkins 1998116 citations, 4 a year	1998	116	13	4
24	Decidability of definability Manuel Bodirsky, Michael Pinsker, Todor Tsankov 2010116 citations, 7 a year	2010	116	14	7
25	Regularity lemmas for stable graphs M. Malliaris, S. Shelah 2011116 citations, 7 a year	2011	116	24	7
26	Norms on possibilities I: forcing with trees and creatures Andrzej Roslanowski, Saharon Shelah 1998111 citations, 4 a year	1998	111	6	4
27	On what I do not understand (and have something to say), model theory Saharon Shelah 1999110 citations, 4 a year	1999	110	13	4
28	On uniform relationships between combinatorial problems François G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst +2 more 2012107 citations, 7 a year	2012	107	13	7
29	Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors Edward Grefenstette 2013106 citations, 8 a year	2013	106	4	8
30	Invariant measures in free MV-algebras Giovanni Panti 2005104 citations, 5 a year	2005	104	10	5
31	Kolmogorov complexity and the Recursion Theorem Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan 2009104 citations, 6 a year	2009	104	15	6
32	A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points Noson S. Yanofsky 2003102 citations, 4 a year	2003	102	8	4
33	Stable domination and independence in algebraically closed valued fields Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson 2005101 citations, 5 a year	2005	101	15	5
34	New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic Bart Jacobs 2012101 citations, 7 a year	2012	101	7	7
35	On dp-minimal ordered structures P. Simon 2009100 citations, 6 a year	2009	100	25	6
36	Gap Forcing Joel David Hamkins 199899 citations, 3 a year	1998	99	27	3
37	Semantics of higher inductive types Peter LeFanu Lumsdaine, Mike Shulman 201798 citations, 10 a year	2017	98	7	10
38	Turing Computations on Ordinals Peter Koepke 200597 citations, 4 a year	2005	97	12	4
39	The modal logic of forcing Joel David Hamkins, Benedikt Loewe 200597 citations, 4 a year	2005	97	15	4
40	Logics preserving degrees of truth from varieties of residuated lattices F. Bou, F. Esteva, J. M. Font +4 more 200894 citations, 5 a year	2008	94	7	5
41	Categoricity from one successor cardinal in Tame Abstract Elementary Classes Rami Grossberg, Monica VanDieren 200593 citations, 4 a year	2005	93	17	4
42	Cofinality spectrum theorems in model theory, set theory and general topology M. Malliaris, S. Shelah 201293 citations, 6 a year	2012	93	8	6
43	Computability and analysis: the legacy of Alan Turing Jeremy Avigad, Vasco Brattka 201293 citations, 6 a year	2012	93	5	6
44	Topological and simplicial models of identity types Benno van den Berg, Richard Garner 201092 citations, 5 a year	2010	92	17	5
45	Automatic continuity of homomorphisms and fixed points on metric compacta Christian Rosendal, Slawomir Solecki 200691 citations, 4 a year	2006	91	14	4
46	The Ground Axiom Jonas Reitz 200690 citations, 4 a year	2006	90	19	4
47	The Ground Axiom (GA) Jonas Reitz 200690 citations, 4 a year	2006	90	19	4
48	Fields with Analytic Structure Raf Cluckers, Leonard Lipshitz 200990 citations, 5 a year	2009	90	22	5
49	Set mapping reflection Justin Tatch Moore 200590 citations, 4 a year	2005	90	14	4
50	A simple maximality principle Joel David Hamkins 200086 citations, 3 a year	2000	86	18	3

Citation data from Semantic Scholar, via the Semantic Scholar Academic Graph API.