@phdthesis{DeMeo2012,
  author = {DeMeo, William J.},
  title = {Congruence Lattices of Finite Algebras},
  school = {University of Hawaii at M{\=a}noa},
  year = {2012},
  month = may,
  url = {https://arxiv.org/abs/1204.4305v3},
  note = {arXiv:1204.4305v3}
}

@article{PalfyPudlak1980,
  author = {P{\'a}lfy, P{\'e}ter P{\'a}l and Pudl{\'a}k, Pavel},
  title = {Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups},
  journal = {Algebra Universalis},
  volume = {11},
  year = {1980},
  pages = {22--27},
  doi = {10.1007/BF02483080},
  url = {https://math.hawaii.edu/~ralph/Classes/619/PalfyPudlak.pdf}
}

@article{PudlakTuma1980,
  author = {Pudl{\'a}k, Pavel and T{\r u}ma, Ji{\v r}{\'i}},
  title = {Every finite lattice can be embedded in a finite partition lattice},
  journal = {Algebra Universalis},
  volume = {10},
  year = {1980},
  pages = {74--95},
  doi = {10.1007/BF02482893},
  url = {https://math.hawaii.edu/~ralph/Classes/619/PudlakTuma.pdf}
}

@article{LarsenPink2011,
  author = {Larsen, Michael J. and Pink, Richard},
  title = {Finite subgroups of algebraic groups},
  journal = {Journal of the American Mathematical Society},
  volume = {24},
  number = {4},
  year = {2011},
  pages = {1105--1158},
  doi = {10.1090/S0894-0347-2011-00695-4},
  url = {https://people.math.ethz.ch/~pink/ftp/LP5.pdf}
}

@article{Steinberg1963,
  author = {Steinberg, Robert},
  title = {Representations of algebraic groups},
  journal = {Nagoya Mathematical Journal},
  volume = {22},
  year = {1963},
  pages = {33--56},
  doi = {10.1017/S0027763000011016},
  url = {https://doi.org/10.1017/S0027763000011016}
}

@book{Steinberg1968,
  author = {Steinberg, Robert},
  title = {Endomorphisms of Linear Algebraic Groups},
  series = {Memoirs of the American Mathematical Society},
  number = {80},
  publisher = {American Mathematical Society},
  address = {Providence, RI},
  year = {1968},
  doi = {10.1090/memo/0080},
  url = {https://doi.org/10.1090/memo/0080}
}

@book{Jantzen2003,
  author = {Jantzen, Jens Carsten},
  title = {Representations of Algebraic Groups},
  edition = {Second},
  series = {Mathematical Surveys and Monographs},
  volume = {107},
  publisher = {American Mathematical Society},
  address = {Providence, RI},
  year = {2003},
  doi = {10.1090/surv/107},
  url = {https://doi.org/10.1090/surv/107}
}

@article{BendelNakanoPillen2011,
  author = {Bendel, Christopher P. and Nakano, Daniel K. and Pillen, Cornelius},
  title = {On the vanishing ranges for the cohomology of finite groups of {Lie} type},
  journal = {International Mathematics Research Notices},
  volume = {2012},
  number = {12},
  year = {2012},
  pages = {2817--2866},
  doi = {10.1093/imrn/rnr130},
  url = {https://arxiv.org/abs/0906.0026},
  note = {Published online in 2011}
}

@book{Humphreys2006,
  author = {Humphreys, James E.},
  title = {Modular Representations of Finite Groups of {Lie} Type},
  series = {London Mathematical Society Lecture Note Series},
  volume = {326},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {2006},
  doi = {10.1017/CBO9780511525940},
  url = {https://doi.org/10.1017/CBO9780511525940}
}

@book{Taylor1992,
  author = {Taylor, Donald E.},
  title = {The Geometry of the Classical Groups},
  series = {Sigma Series in Pure Mathematics},
  volume = {9},
  publisher = {Heldermann Verlag},
  address = {Berlin},
  year = {1992},
  url = {https://www.maths.usyd.edu.au/u/don/papers/gcg.pdf},
  note = {Author's corrected version, April 2021}
}

@book{KleidmanLiebeck1990,
  author = {Kleidman, Peter B. and Liebeck, Martin W.},
  title = {The Subgroup Structure of the Finite Classical Groups},
  series = {London Mathematical Society Lecture Note Series},
  volume = {129},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {1990},
  doi = {10.1017/CBO9780511629235},
  url = {https://doi.org/10.1017/CBO9780511629235}
}

@book{GLS1994,
  author = {Gorenstein, Daniel and Lyons, Richard and Solomon, Ronald},
  title = {The Classification of the Finite Simple Groups, Number 3:
           Part {I}, Chapter {A}. Almost Simple {$K$}-Groups},
  series = {Mathematical Surveys and Monographs},
  volume = {40.3},
  publisher = {American Mathematical Society},
  address = {Providence, RI},
  year = {1998},
  url = {https://bookstore.ams.org/surv-40-3/}
}

@book{DixonMortimer1996,
  author = {Dixon, John D. and Mortimer, Brian},
  title = {Permutation Groups},
  series = {Graduate Texts in Mathematics},
  volume = {163},
  publisher = {Springer},
  address = {New York},
  year = {1996},
  doi = {10.1007/978-1-4612-0731-3},
  url = {https://doi.org/10.1007/978-1-4612-0731-3}
}

@article{Maroti2002,
  author = {Mar{\'o}ti, Attila},
  title = {On the orders of primitive groups},
  journal = {Journal of Algebra},
  volume = {258},
  number = {2},
  year = {2002},
  pages = {631--640},
  doi = {10.1016/S0021-8693(02)00646-4},
  url = {https://users.renyi.hu/~maroti/primitive.pdf}
}

@article{Lang1956,
  author = {Lang, Serge},
  title = {Algebraic groups over finite fields},
  journal = {American Journal of Mathematics},
  volume = {78},
  number = {3},
  year = {1956},
  pages = {555--563},
  doi = {10.2307/2372673},
  url = {https://www.jstor.org/stable/2372673}
}

@misc{Giudici2007,
  author = {Giudici, Michael},
  title = {Maximal subgroups of almost simple groups with socle {$\operatorname{PSL}(2,q)$}},
  year = {2007},
  eprint = {math/0703685},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/math/0703685v1},
  note = {arXiv:math/0703685v1}
}

@article{Jones2014,
  author = {Jones, Gareth A.},
  title = {Primitive permutation groups containing a cycle},
  journal = {Bulletin of the Australian Mathematical Society},
  volume = {89},
  number = {1},
  year = {2014},
  pages = {159--165},
  doi = {10.1017/S000497271300049X},
  url = {https://doi.org/10.1017/S000497271300049X}
}

@article{Muller2005,
  author = {M{\"u}ller, Peter},
  title = {Permutation groups of prime degree, a quick proof of {Burnside}'s theorem},
  journal = {Archiv der Mathematik},
  volume = {85},
  year = {2005},
  pages = {15--17},
  doi = {10.1007/s00013-005-1421-z},
  url = {https://arxiv.org/abs/math/0310200}
}

@article{MeagherSpigaTiep2016,
  author = {Meagher, Karen and Spiga, Pablo and Tiep, Pham Huu},
  title = {An {Erd{\H{o}}s--Ko--Rado} theorem for finite {$2$}-transitive groups},
  journal = {European Journal of Combinatorics},
  volume = {55},
  year = {2016},
  pages = {100--118},
  doi = {10.1016/j.ejc.2016.02.005},
  url = {https://arxiv.org/abs/1507.06450v1},
  note = {Preprint locators refer to arXiv:1507.06450v1}
}


@article{Ramsey1930,
  author  = {Ramsey, F. P.},
  title   = {On a Problem of Formal Logic},
  journal = {Proceedings of the London Mathematical Society},
  series  = {2},
  volume  = {30},
  pages   = {264--286},
  year    = {1930},
  doi     = {10.1112/plms/s2-30.1.264},
  url     = {https://www.cs.umd.edu/~gasarch/TOPICS/ramsey/ramseyorig.pdf}
}

@article{HalesJewett1963,
  author  = {Hales, A. W. and Jewett, R. I.},
  title   = {Regularity and Positional Games},
  journal = {Transactions of the American Mathematical Society},
  volume  = {106},
  number  = {2},
  pages   = {222--229},
  year    = {1963},
  doi     = {10.1090/S0002-9947-1963-0143712-1},
  url     = {https://www.jstor.org/stable/1993764}
}

@article{GrahamLeebRothschild1972,
  author  = {Graham, R. L. and Leeb, K. and Rothschild, B. L.},
  title   = {Ramsey's Theorem for a Class of Categories},
  journal = {Advances in Mathematics},
  volume  = {8},
  pages   = {417--433},
  year    = {1972},
  doi     = {10.1016/0001-8708(72)90005-9},
  url     = {https://fanchung.ucsd.edu/ron/papers/72_09_ramsey_categories.pdf}
}

@article{GrahamLeebRothschild1973,
  author  = {Graham, R. L. and Leeb, K. and Rothschild, B. L.},
  title   = {Ramsey's Theorem for a Class of Categories (Errata)},
  journal = {Advances in Mathematics},
  volume  = {10},
  pages   = {326--327},
  year    = {1973},
  note    = {Erratum to the 1972 article}
}

@article{Matiyasevich1970,
  author  = {Matiyasevich, Yu. V.},
  title   = {Diofantovost' perechislimykh mnozhestv},
  journal = {Doklady Akademii Nauk SSSR},
  volume  = {191},
  number  = {2},
  pages   = {279--282},
  year    = {1970},
  note    = {In Russian; English title: Enumerable sets are Diophantine}
}

@inproceedings{Presburger1929,
  author    = {Presburger, Moj{\.z}esz},
  title     = {{{\"U}ber die Vollst{\"a}ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt}},
  booktitle = {Comptes-rendus du I Congr{\'e}s des Math{\'e}maticiens des Pays Slaves, Varsovie 1929},
  address   = {Warsaw},
  pages     = {92--101},
  year      = {1930},
  note      = {Congress held in 1929; addendum on unnumbered supplement commonly cited as p. 395. English translation by Ryan Stansifer in Cornell CS report TR84-639 (1984)},
  url       = {https://cs.fit.edu/~ryan/papers/presburger.pdf}
}

@article{Dickson1913,
  author  = {Dickson, Leonard Eugene},
  title   = {Finiteness of the Odd Perfect and Primitive Abundant Numbers with {$n$} Distinct Prime Factors},
  journal = {American Journal of Mathematics},
  volume  = {35},
  number  = {4},
  pages   = {413--422},
  year    = {1913},
  doi     = {10.2307/2370405},
  url     = {https://www.jstor.org/stable/2370405}
}


@article{Dube1990,
  author  = {Dub{\'e}, Thomas W.},
  title   = {The Structure of Polynomial Ideals and {Gr{\"o}bner} Bases},
  journal = {SIAM Journal on Computing},
  volume  = {19},
  number  = {4},
  pages   = {750--773},
  year    = {1990},
  doi     = {10.1137/0219053},
  url     = {https://epubs.siam.org/doi/10.1137/0219053}
}

@inproceedings{CohenMahboubi2012,
  author    = {Cohen, Cyril and Mahboubi, Assia},
  title     = {A Formal Quantifier Elimination for Algebraically Closed Fields},
  booktitle = {Intelligent Computer Mathematics},
  series    = {Lecture Notes in Computer Science},
  volume    = {6167},
  pages     = {189--203},
  year      = {2010},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  doi       = {10.1007/978-3-642-14128-7_17},
  url       = {https://link.springer.com/chapter/10.1007/978-3-642-14128-7_17}
}

@article{Matiyasevich1971,
  author  = {Matiyasevich, Yu. V.},
  title   = {Diophantine Representation of Enumerable Predicates},
  journal = {Mathematics of the USSR-Izvestiya},
  volume  = {5},
  number  = {1},
  pages   = {1--28},
  year    = {1971},
  doi     = {10.1070/IM1971v005n01ABEH001004},
  url     = {https://www.mathnet.ru/eng/im1910}
}

@article{GratzerSchmidt1963,
  note = {\href{https://acta.bibl.u-szeged.hu/13983/1/math_024_fasc_001_002_034-037.pdf}{Introduction scan, pp.~34--37}},
  author = {Gr{\"a}tzer, George and Schmidt, E. Tam{\'a}s},
  title = {Characterizations of congruence lattices of abstract algebras},
  journal = {Acta Scientiarum Mathematicarum (Szeged)},
  volume = {24},
  year = {1963},
  pages = {34--59},
  url = {https://acta.bibl.u-szeged.hu/13983/1/math_024_fasc_001_002_034-037.pdf}
}

@incollection{PalfyTwisted,
  note = {\href{https://doi.org/10.1017/9781108692397.020}{DOI}; \href{https://real.mtak.hu/102571/1/twisted.pdf}{author version}},
  author = {P{\'a}lfy, P{\'e}ter P.},
  title = {Subgroups of twisted wreath products},
  booktitle = {Groups St Andrews 2017 in Birmingham},
  editor = {Campbell, C. M. and Parker, C. W. and Quick, M. R. and Robertson, E. F. and Roney-Dougal, C. M.},
  series = {London Mathematical Society Lecture Note Series},
  volume = {455},
  publisher = {Cambridge University Press},
  address = {Cambridge},
  year = {2019},
  pages = {455--468},
  doi = {10.1017/9781108692397.020},
  url = {https://real.mtak.hu/102571/1/twisted.pdf}
}

@article{BaddeleyLucchini1997,
 author={Baddeley, Robert and Lucchini, Andrea},
 title={On Representing Finite Lattices as Intervals in Subgroup Lattices of Finite Groups},
 journal={Journal of Algebra}, volume={196}, number={1}, pages={1--100}, year={1997},
 doi={10.1006/jabr.1997.7069}}
@article{Baddeley1998,
 author={Baddeley, Robert W.},
 title={A New Approach to the Finite Lattice Representation Problem},
 journal={Periodica Mathematica Hungarica}, volume={36}, number={1}, pages={17--59}, year={1998},
 doi={10.1023/A:1004607902533}}
@incollection{Borner1999,
 author={B{\"o}rner, Ferdinand},
 title={A remark on the finite lattice representation problem},
 booktitle={Contributions to General Algebra}, volume={11},
 publisher={Verlag Johannes Heyn}, address={Klagenfurt}, pages={5--38}, year={1999}}
@article{Aschbacher2008,
 author={Aschbacher, Michael},
 title={On intervals in subgroup lattices of finite groups},
 journal={Journal of the American Mathematical Society}, volume={21}, number={3}, pages={809--830}, year={2008},
 doi={10.1090/S0894-0347-08-00602-4},
 url={https://authors.library.caltech.edu/records/cm5e5-ptt87}}
@article{McNulty2015,
 author={McNulty, George F.}, title={A juggler's dozen of easy problems},
 journal={Algebra Universalis}, volume={74}, number={1-2}, pages={17--34}, year={2015},
 doi={10.1007/s00012-015-0333-4}}
@article{Pudlak1976,
 author={Pudl{\'a}k, Pavel},
 title={A new proof of the congruence lattice representation theorem},
 journal={Algebra Universalis}, volume={6}, pages={269--275}, year={1976},
 url={https://users.math.cas.cz/~pudlak/a-new-proof.pdf}}
@article{Rado1962,
 author={Rad{\'o}, Tibor}, title={On Non-Computable Functions},
 journal={Bell System Technical Journal}, volume={41}, number={3},
 pages={877--884}, year={1962}, doi={10.1002/j.1538-7305.1962.tb00480.x}}
@misc{Milne2022,
 author={Milne, James S.}, title={Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field}, year={2022},
 note={Corrected author text; locators refer to this version},
 url={https://www.jmilne.org/math/Books/iAG2022.pdf}}
@misc{DeMedtsNaert2019,
 author={De Medts, Tom and Naert, Karsten},
 title={Suzuki--Ree groups as algebraic groups over {$\mathbf F_{\sqrt p}$}},
 year={2019}, eprint={1904.10741v1}, archivePrefix={arXiv},
 url={https://arxiv.org/abs/1904.10741v1}}
@incollection{Mathieu2000,
 author={Mathieu, Olivier}, title={Tilting Modules and their Applications},
 booktitle={Analysis on Homogeneous Spaces and Representation Theory of Lie Groups},
 series={Advanced Studies in Pure Mathematics}, volume={26},
 pages={145--212}, year={2000},
 publisher={Mathematical Society of Japan}, address={Tokyo},
 url={https://www.imsc.res.in/~knr/vdk/mathieu.pdf}}
@misc{LinNakano2006,
 author={Lin, Zongzhu and Nakano, Daniel K.},
 title={Projective Modules for Frobenius Kernels and Finite Chevalley Groups},
 year={2006}, note={Author preprint, February 2006},
 url={https://www.math.ksu.edu/~zlin/research/ln6.pdf}}
@misc{PardoSebastian2020,
 author={Pardo, Luis Miguel and Sebasti{\'a}n, Daniel},
 title={A Promenade through Correct Test Sequences {I}: Degree of Constructible Sets, {B{\'e}zout}'s Inequality and Density},
 year={2021}, note={Version 2, January 5, 2021}, eprint={2012.15296v2}, archivePrefix={arXiv},
 url={https://arxiv.org/abs/2012.15296v2}}
@misc{StacksNullstellensatz,
 author={{The Stacks Project Authors}}, title={Hilbert Nullstellensatz},
 howpublished={The Stacks Project, Theorem 10.34.1, Tag 00FV}, year={2026},
 url={https://stacks.math.columbia.edu/tag/00FV}}
@misc{Marker2020,
 author={Marker, David}, title={Model Theory {I}: Definability},
 year={2020}, note={MSRI lecture slides, October 9, 2020},
 url={https://homepages.math.uic.edu/~marker/MSRI-1.pdf}}

@article{Snow2000,
 author={Snow, John W.},
 title={A constructive approach to the finite congruence lattice representation problem},
 journal={Algebra Universalis}, volume={43}, year={2000}, pages={279--293},
 doi={10.1007/s000120050159},
 url={https://jwsnow.github.io/research/cong.pdf}}

@article{Kenney2010,
 author={Kenney, Toby},
 title={Graphical algebras---a new approach to congruence lattices},
 journal={Algebra Universalis}, volume={64}, year={2010}, pages={313--338},
 doi={10.1007/s00012-011-0105-8}, note={Published online January 20, 2011}}
@misc{Kenney2009Slides,
 author={Kenney, Toby},
 title={Graphical Algebras---A New Approach to Congruence Lattices},
 year={2009}, note={SSAOS lecture slides, Star{\'a} Lesn{\'a}, September 9, 2009},
 url={https://im.saske.sk/ssaos2009/talks/wednesday/Kenney.pdf}}