references.bib

# To normalize:
# bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i docs/references.bib -o docs/references.bib

# WARNING: Please only use alphanumeric characters, '-', '_', and ':' for the key of bibliography items!
# Currently doc-gen does not support characters outside them and will silently errors, causing incomplete reference pages.

# https://www.zbmath.org/ and https://mathscinet.ams.org/mathscinet
# (or the free tool https://mathscinet.ams.org/mrlookup)
# are good sources of complete bibtex entries for mathematics

# To link to an entry in `references.bib`, use the following formats:
#   [Author, *Title* (optional location)][bibkey]
@Book{            abramsky_gabbay_maibaum_1994,
  editor        = {Abramsky, S. and Gabbay, D. M. and Maibaum, T. S. E.},
  title         = {Handbook of logic in computer science. {Vol}. 3:
                  {Semantic} structures},
  isbn          = {0-19-853762-X},
  year          = {1994},
  publisher     = {Oxford: Clarendon Press},
  language      = {English},
  keywords      = {68-00,68Q55},
  zbmath        = {783754},
  zbl           = {0829.68111}
}

@Book{            Adamek_Rosicky_1994,
  author        = {Adámek, Jiří and Rosický, Jiří},
  title         = {Locally presentable and accessible categories},
  series        = {London Mathematical Society Lecture Note Series},
  volume        = {189},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {1994},
  pages         = {xiv+316},
  isbn          = {0-521-42261-2},
  mrclass       = {18Axx (18-02)},
  mrnumber      = {1294136},
  doi           = {10.1017/CBO9780511600579},
  url           = {https://doi.org/10.1017/CBO9780511600579}
}

@Book{            Adamek_Rosicky_Vitale_2010,
  place         = {Cambridge},
  series        = {Cambridge Tracts in Mathematics},
  title         = {Algebraic Theories: A Categorical Introduction to General
                  Algebra},
  publisher     = {Cambridge University Press},
  author        = {Adámek, J. and Rosický, J. and Vitale, E. M.},
  year          = {2010},
  collection    = {Cambridge Tracts in Mathematics}
}

@InProceedings{   adhesive2004,
  author        = {S. Lack and P. Soboci{\'n}ski},
  title         = {Adhesive categories},
  booktitle     = {Foundations of Software Science and Computation
                  Structures, {FoSSaCS '04}},
  series        = {LNCS},
  volume        = {2987},
  pages         = {273--288},
  publisher     = {Springer},
  year          = {2004},
  url           = {https://www.ioc.ee/~pawel/papers/adhesive.pdf}
}

@Article{         ahrens2017,
  author        = {Benedikt Ahrens and Peter LeFanu Lumsdaine},
  year          = {2019},
  title         = {Displayed Categories},
  journal       = {Logical Methods in Computer Science},
  volume        = {15},
  issue         = {1},
  doi           = {10.23638/LMCS-15(1:20)2019}
}

@Book{            aigner1997,
  author        = {Aigner, Martin},
  title         = {Combinatorial theory},
  series        = {Classics in Mathematics},
  note          = {Reprint of the 1979 original},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1997},
  pages         = {viii+483},
  isbn          = {3-540-61787-6},
  mrclass       = {05-01 (06-01)},
  mrnumber      = {1434477},
  doi           = {10.1007/978-3-642-59101-3},
  url           = {https://doi.org/10.1007/978-3-642-59101-3}
}

@Book{            aigner1999proofs,
  author        = {Aigner, Martin and Ziegler, G{\"u}nter M.},
  title         = {Proofs from {THE} {BOOK}},
  isbn          = {3-540-63698-6},
  year          = {1998},
  publisher     = {Berlin: Springer},
  language      = {English},
  keywords      = {00A05,11-01,05-01,52-01,26-01},
  zbmath        = {1188564},
  zbl           = {0905.00001}
}

@Misc{            aignerhorev2012infinite,
  author        = {Elad Aigner-Horev and Johannes Carmesin and Jan-Oliver
                  Fröhlich},
  title         = {Infinite matroid union},
  year          = {2012},
  eprint        = {1111.0602},
  archiveprefix = {arXiv}
}

@Book{            Albiac_Kalton_2016,
  author        = {Albiac, Fernando. and Kalton, Nigel J.},
  title         = {Topics in Banach Space Theory},
  edition       = {2nd ed. 2016.},
  isbn          = {3-319-31557-9},
  keywords      = {Functional analysis. ; Functional Analysis.},
  language      = {eng},
  publisher     = {Springer International Publishing},
  series        = {Graduate Texts in Mathematics, 233},
  year          = {2016}
}

@Article{         alfseneffros1972,
  author        = {Erik M. {Alfsen} and Edward G. {Effros}},
  title         = {{Structure in real Banach spaces. I and II}},
  fjournal      = {{Annals of Mathematics. Second Series}},
  journal       = {{Ann. Math. (2)}},
  issn          = {0003-486X},
  volume        = {96},
  pages         = {98--173},
  year          = {1972},
  publisher     = {Princeton University, Mathematics Department, Princeton,
                  NJ},
  language      = {English},
  doi           = {10.2307/1970895},
  msc2010       = {46L05 46B10 46K05 46E15 46B99 46A40},
  zbl           = {0248.46019}
}

@Book{            alfsenshultz2003,
  author        = {Erik M. {Alfsen} and Frederic W. {Shultz}},
  title         = {{Geometry of state spaces of operator algebras}},
  isbn          = {0-8176-4319-2},
  pages         = {xiii + 467},
  year          = {2003},
  publisher     = {Boston, MA: Birkh\"auser},
  language      = {English},
  msc2010       = {46-02 46L05 46L10 46L70 46L30 17C65},
  zbl           = {1042.46001}
}

@Article{         Alon_1999,
  author        = {Alon, Noga},
  title         = {Combinatorial Nullstellensatz},
  volume        = {8},
  journal       = {Combinatorics, Probability and Computing},
  year          = {1999},
  number        = {1–2},
  pages         = {7–29},
  issn          = {0963-5483},
  doi           = {10.1017/S0963548398003411}
}

@Book{            altman2021term,
  title         = {A Term of Commutative Algebra},
  author        = {Altman, A. and Kleiman, S.},
  isbn          = {9780988557215},
  year          = {2021},
  publisher     = {Worldwide Center of Mathematics}
}

@Book{            aluffi2016,
  title         = {Algebra: Chapter 0},
  author        = {Aluffi, Paolo},
  series        = {Graduate Studies in Mathematics},
  volume        = {104},
  year          = {2016},
  publisher     = {American Mathematical Society},
  edition       = {Reprinted with corrections by the American Mathematical
                  Society}
}

@Article{         andrasfaiErdosSos1974,
  author        = {Andrásfai, B. and Erdős, P. and Sós, V. T.},
  year          = {1974},
  month         = {5},
  pages         = {205--218},
  title         = {On the connection between chromatic number, maximal
                  clique, and minimal degree of a graph},
  volume        = {8},
  issue         = {3},
  journal       = {Discrete Mathematics},
  doi           = {10.1016/0012-365X(74)90133-2},
  url           = {https://doi.org/10.1016/0012-365X(74)90133-2}
}

@Book{            atiyah-macdonald,
  author        = {Atiyah, M. F. and Macdonald, I. G.},
  title         = {Introduction to commutative algebra},
  publisher     = {Addison-Wesley Publishing Co., Reading, Mass.-London-Don
                  Mills, Ont.},
  year          = {1969},
  pages         = {ix+128},
  mrclass       = {13.00},
  mrnumber      = {0242802},
  mrreviewer    = {J. A. Johnson}
}

@Article{         aubrunEntangleabilityCones2021,
  author        = {Aubrun, Guillaume and Lami, Ludovico and Palazuelos,
                  Carlos and Pl\'{a}vala, Martin},
  title         = {Entangleability of cones},
  journal       = {Geometric and Functional Analysis},
  volume        = {31},
  number        = {2},
  pages         = {181--205},
  year          = {2021},
  doi           = {10.1007/s00039-021-00565-5},
  eprint        = {1911.09663},
  eprinttype    = {arXiv},
  url           = {https://link.springer.com/10.1007/s00039-021-00565-5}
}

@InProceedings{   avigad-carneiro-hudon2019,
  author        = {Jeremy Avigad and Mario M. Carneiro and Simon Hudon},
  editor        = {John Harrison and John O'Leary and Andrew Tolmach},
  title         = {Data Types as Quotients of Polynomial Functors},
  booktitle     = {10th International Conference on Interactive Theorem
                  Proving, {ITP} 2019, September 9-12, 2019, Portland, OR,
                  {USA}},
  series        = {LIPIcs},
  volume        = {141},
  pages         = {6:1--6:19},
  publisher     = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year          = {2019},
  url           = {https://doi.org/10.4230/LIPIcs.ITP.2019.6},
  doi           = {10.4230/LIPIcs.ITP.2019.6},
  timestamp     = {Fri, 27 Sep 2019 15:57:06 +0200},
  biburl        = {https://dblp.org/rec/conf/itp/AvigadCH19.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Misc{            avigad_moura_kong-2017,
  author        = {Jeremy Avigad and Leonardo de Moura and Soonho Kong},
  title         = {{T}heorem {P}roving in {L}ean},
  year          = {2017},
  howpublished  = {},
  url           = {https://leanprover.github.io/theorem_proving_in_lean/}
}

@Book{            axler2024,
  author        = {Sheldon Axler},
  title         = {Linear algebra done right. 4th ed.},
  fjournal      = {Undergraduate Texts in Mathematics},
  journal       = {Undergraduate Texts Math.},
  issn          = {0172-6056; 2197-5604/e},
  edition       = {4th ed.},
  isbn          = {978-3-031-41025-3/hbk, 978-3-031-41026-0/ebook},
  pages         = {xvii + 390},
  year          = {2024},
  publisher     = {Springer}
}

@Manual{          banasiak,
  author        = {Banasiak},
  title         = {Banach Lattices in Applications},
  organization  = {University of Pretoria},
  address       = {Pretoria, South Africa}
}

@Article{         barnes1967,
  author        = {Barnes, Donald W.},
  title         = {On {C}artan subalgebras of {L}ie algebras},
  journal       = {Math. Z.},
  fjournal      = {Mathematische Zeitschrift},
  volume        = {101},
  year          = {1967},
  pages         = {350--355},
  issn          = {0025-5874},
  mrclass       = {17.30},
  mrnumber      = {220785},
  mrreviewer    = {R. Steinberg},
  doi           = {10.1007/BF01109800},
  url           = {https://doi.org/10.1007/BF01109800}
}

@Article{         barr-kennison-robert-2019,
  author        = {Barr, Michael and Kennison, John F. and Raphael, Robert},
  title         = {Contractible simplicial objects},
  journal       = {Comment. Math. Univ. Carolin.},
  fjournal      = {Commentationes Mathematicae Universitatis Carolinae},
  volume        = {60},
  year          = {2019},
  number        = {4},
  pages         = {473--495},
  issn          = {0010-2628,1213-7243},
  mrclass       = {18N50 (55U10)},
  mrnumber      = {4061357}
}

@Misc{            barwickhaine2019,
  title         = {Pyknotic objects, I. Basic notions},
  author        = {Clark Barwick and Peter Haine},
  year          = {2019},
  eprint        = {1904.09966},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG}
}

@Book{            bbd-1982,
  author        = {Beilinson, A. A. and Bernstein, J. and Deligne, P. and
                  Gabber, O.},
  title         = {Analyse et topologie sur les espaces singuliers. {I :
                  Faisceaux pervers}},
  series        = {Ast\'{e}risque},
  volume        = {100},
  booktitle     = {Proceedings of the colloquium held at {L}uminy, {J}uly
                  6--11, 1981},
  publisher     = {Soci\'{e}t\'{e} Math\'{e}matique de France, Paris},
  year          = {2018},
  pages         = {172},
  mrclass       = {32-06 (14-06)},
  mrnumber      = {751965}
}

@Book{            beals2004,
  author        = {Richard Beals},
  title         = {Analysis. An introduction},
  publisher     = {Cambridge University Press},
  isbn          = {0521600472},
  year          = {2004}
}

@Book{            Becker-Weispfenning1993,
  address       = {New York, NY},
  series        = {Graduate Texts in Mathematics},
  title         = {Gröbner Bases},
  volume        = {141},
  isbn          = {978-1-4612-6944-1},
  url           = {http://link.springer.com/10.1007/978-1-4612-0913-3},
  doi           = {10.1007/978-1-4612-0913-3},
  publisher     = {Springer New York},
  author        = {Becker, Thomas and Weispfenning, Volker},
  year          = {1993},
  collection    = {Graduate Texts in Mathematics},
  language      = {en}
}

@Book{            behrends1979,
  author        = {Ehrhard {Behrends}},
  title         = {{M-structure and the Banach-Stone theorem}},
  fjournal      = {{Lecture Notes in Mathematics}},
  journal       = {{Lect. Notes Math.}},
  issn          = {0075-8434},
  volume        = {736},
  year          = {1979},
  publisher     = {Springer, Cham},
  language      = {English},
  msc2010       = {46B20 46-02 46E40 46A40},
  zbl           = {0436.46013}
}

@Book{            bensonfarb1993,
  author        = {Benson Farb, R. Keith Dennis},
  series        = {Graduate Texts in Mathematics},
  title         = {Noncommutative Algebra},
  year          = {1993},
  publisher     = {Springer},
  language      = {English},
  volume        = {144},
  url           = {https://link.springer.com/book/10.1007/978-1-4612-0889-1}
}

@Article{         bergelson1985,
  author        = {Bergelson, Vitaly},
  title         = {Sets of Recurrence of Zm-Actions and Properties of Sets of
                  Differences in Zm},
  journal       = {Journal of the London Mathematical Society},
  volume        = {s2-31},
  number        = {2},
  pages         = {295-304},
  doi           = {https://doi.org/10.1112/jlms/s2-31.2.295},
  url           = {https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s2-31.2.295},
  eprint        = {https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jlms/s2-31.2.295},
  year          = {1985}
}

@Book{            berger1987,
  author        = {Marcel Berger},
  title         = {Geometry I},
  publisher     = {Springer Berlin},
  year          = 1987,
  issn          = {0172-5939},
  pages         = {XIV, 432},
  series        = {Universitext},
  address       = {Heidelberg},
  edition       = 1
}

@Book{            bergh_lofstrom_1976,
  author        = {Bergh, Jöran and Löfström, Jörgen},
  title         = {Interpolation Spaces},
  publisher     = {Springer Berlin},
  year          = 1976,
  issn          = {0072-7830}
}

@Article{         bernstein1912,
  author        = {Bernstein, S.},
  year          = {1912},
  title         = {Démonstration du théorème de Weierstrass fondée sur le
                  calcul des probabilités},
  journal       = {Comm. Kharkov Math. Soc.},
  volume        = {13},
  number        = {1–2}
}

@Book{            Berthelot-1974,
  author        = {Berthelot, Pierre},
  year          = {1974},
  series        = {Lecture {{Notes}} in {{Mathematics}}},
  number        = {407},
  publisher     = {sv},
  keywords      = {nosource},
  file          = {/Users/chambert/Zotero/storage/WHF5R9LQ/Berthelot - 1974 -
                  Cohomologie cristalline des schémas de caractérist.djvu},
  title         = {Cohomologie Cristalline Des Schémas de Caractéristique
                  {$p>0$}}
}

@Book{            BerthelotOgus-1978,
  title         = {Notes on Crystalline Cohomology},
  author        = {Berthelot, Pierre and Ogus, Arthur},
  year          = {1978},
  series        = {Math. {{Notes}}},
  number        = {21},
  publisher     = {pup},
  keywords      = {nosource},
  file          = {/Users/chambert/Zotero/storage/I3FNJEDB/Berthelot et Ogus
                  - 1978 - Notes on crystalline cohomology.djvu}
}

@InProceedings{   beylin1996,
  author        = "Beylin, Ilya and Dybjer, Peter",
  editor        = "Berardi, Stefano and Coppo, Mario",
  title         = "Extracting a proof of coherence for monoidal categories
                  from a proof of normalization for monoids",
  booktitle     = "Types for Proofs and Programs",
  year          = "1996",
  publisher     = "Springer Berlin Heidelberg",
  address       = "Berlin, Heidelberg",
  pages         = "47--61",
  abstract      = "This paper studies the problem of coherence in category
                  theory from a type-theoretic viewpoint. We first show how a
                  Curry-Howard interpretation of a formal proof of
                  normalization for monoids almost directly yields a
                  coherence proof for monoidal categories. Then we formalize
                  this coherence proof in intensional intuitionistic type
                  theory and show how it relies on explicit reasoning about
                  proof objects for intensional equality. This formalization
                  has been checked in the proof assistant ALF.",
  isbn          = "978-3-540-70722-6"
}

@Book{            billingsley1999,
  author        = {Billingsley, Patrick},
  title         = {Convergence of probability measures},
  series        = {Wiley Series in Probability and Statistics: Probability
                  and Statistics},
  edition       = {Second},
  note          = {A Wiley-Interscience Publication},
  publisher     = {John Wiley \& Sons, Inc., New York},
  year          = {1999},
  pages         = {x+277},
  isbn          = {0-471-19745-9},
  mrclass       = {60B10 (28A33 60F17)},
  mrnumber      = {1700749},
  doi           = {10.1002/9780470316962},
  url           = {https://doi.org/10.1002/9780470316962}
}

@Article{         bird2011,
  author        = {Bird, Richard S.},
  title         = {A simple division-free algorithm for computing
                  determinants},
  journal       = {Information Processing Letters},
  volume        = {111},
  pages         = {1072--1074},
  year          = {2011},
  doi           = {10.1016/j.ipl.2011.08.006},
  url           = {https://doi.org/10.1016/j.ipl.2011.08.006}
}

@Book{            birdwadler,
  author        = {Richard Bird and Philip Wadler},
  year          = {1988},
  title         = {Introduction to Functional Programming},
  publisher     = {Prentice Hall},
  address       = {New York},
  isbn          = {978-0-13-484189-2}
}

@Article{         birkhoff1937,
  author        = {Birkhoff, Garrett},
  title         = {Rings of sets},
  volume        = {3},
  journal       = {Duke Mathematical Journal},
  number        = {3},
  publisher     = {Duke University Press},
  pages         = {443--454},
  year          = {1937},
  doi           = {10.1215/S0012-7094-37-00334-X},
  url           = {https://doi.org/10.1215/S0012-7094-37-00334-X}
}

@Book{            birkhoff1940,
  author        = {Birkhoff, Garrett},
  title         = {Lattice Theory},
  edition       = {First},
  publisher     = {American Mathematical Society},
  year          = {1940},
  volume        = {25}
}

@Article{         birkhoff1942,
  author        = {Birkhoff, Garrett},
  title         = {Lattice-Ordered groups},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {43},
  year          = {1942},
  pages         = {298--331},
  issn          = {0003-486X},
  mrclass       = {20.0X},
  mrnumber      = {6550},
  mrreviewer    = {H. Wallman},
  doi           = {10.2307/1968871},
  url           = {https://doi.org/10.2307/1968871}
}

@Book{            bjorner2005,
  author        = {Bj\"{o}rner, Anders and Brenti, Francesco},
  title         = {Combinatorics of {C}oxeter groups},
  series        = {Graduate Texts in Mathematics},
  volume        = {231},
  publisher     = {Springer, New York},
  year          = {2005},
  pages         = {xiv+363},
  isbn          = {978-3540-442387; 3-540-44238-3},
  mrclass       = {05-01 (05E15 20F55)},
  mrnumber      = {2133266},
  mrreviewer    = {Jian-yi\ Shi}
}

@Article{         blanchette2015,
  author        = {Blanchette, Jasmin Christian and Popescu, Andrei and
                  Traytel, Dmitriy},
  title         = {Foundational extensible corecursion: a proof assistant
                  perspective},
  year          = {2015},
  issue_date    = {September 2015},
  publisher     = {Association for Computing Machinery},
  address       = {New York, NY, USA},
  volume        = {50},
  number        = {9},
  issn          = {0362-1340},
  url           = {https://doi.org/10.1145/2858949.2784732},
  doi           = {10.1145/2858949.2784732},
  abstract      = {This paper presents a formalized framework for defining
                  corecursive functions safely in a total setting, based on
                  corecursion up-to and relational parametricity. The end
                  product is a general corecursor that allows corecursive
                  (and even recursive) calls under "friendly" operations,
                  including constructors. Friendly corecursive functions can
                  be registered as such, thereby increasing the corecursor's
                  expressiveness. The metatheory is formalized in the
                  Isabelle proof assistant and forms the core of a prototype
                  tool. The corecursor is derived from first principles,
                  without requiring new axioms or extensions of the logic.},
  journal       = {SIGPLAN Not.},
  month         = aug,
  pages         = {192–204},
  numpages      = {13},
  keywords      = {proof assistants, parametricity, higher-order logic,
                  Isabelle, (Co)recursion}
}

@Book{            bogachev2007,
  author        = {Bogachev, V. I.},
  title         = {Measure theory. {V}ol. {I}, {II}},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2007},
  pages         = {Vol. I: xviii+500 pp., Vol. II: xiv+575},
  isbn          = {978-3-540-34513-8; 3-540-34513-2},
  doi           = {10.1007/978-3-540-34514-5},
  url           = {https://doi.org/10.1007/978-3-540-34514-5}
}

@Article{         bojanic74,
  author        = {Bojani\'c, Ranko},
  title         = {A simple proof of {M}ahler's theorem on approximation of
                  continuous functions of a p-adic variable by polynomials},
  journal       = {Journal of Number Theory},
  volume        = {6},
  pages         = {412-415},
  year          = {1974},
  issn          = {0022-314X},
  doi           = {10.1016/0022-314X(74)90038-9},
  url           = {https://doi.org/10.1016/0022-314X(74)90038-9}
}

@Book{            bollobas1986,
  author        = {Bollob\'{a}s, B\'{e}la},
  title         = {Combinatorics: Set Systems, Hypergraphs, Families of
                  Vectors, and Combinatorial Probability},
  year          = {1986},
  isbn          = {0521330599},
  publisher     = {Cambridge University Press}
}

@Article{         bondal_vandenbergh_2003,
  author        = {Bondal, Alexei I. and Van den Bergh, Michel},
  title         = {Generators and representability of functors in commutative
                  and noncommutative geometry},
  journal       = {Moscow Mathematical Journal},
  volume        = {3},
  number        = {1},
  year          = {2003},
  pages         = {1--36, 258},
  doi           = {10.17323/1609-4514-2003-3-1-1-36}
}

@Book{            borceux-vol1,
  title         = {Handbook of Categorical Algebra: Volume 1, Basic Category
                  Theory},
  author        = {Borceux, Francis},
  series        = {Encyclopedia of Mathematics},
  volume        = {50},
  year          = {1994},
  publisher     = {Cambridge University Press}
}

@Book{            borceux-vol2,
  title         = {Handbook of Categorical Algebra: Volume 2, Categories and
                  Structures},
  author        = {Borceux, Francis},
  series        = {Encyclopedia of Mathematics},
  volume        = {51},
  year          = {1994},
  publisher     = {Cambridge University Press}
}

@Book{            borceux-vol3,
  title         = {Handbook of Categorical Algebra: Volume 3, Sheaf Theory},
  author        = {Borceux, Francis},
  series        = {Encyclopedia of Mathematics},
  volume        = {52},
  year          = {1994},
  publisher     = {Cambridge University Press}
}

@Article{         borcherds1986vertex,
  author        = {Borcherds, Richard},
  title         = {Vertex algebras, Kac-Moody algebras, and the monster},
  journal       = {Proceedings of the National Academy of Sciences of the
                  United States of America},
  number        = {10},
  year          = {1986},
  pages         = {3068–3071},
  volume        = {83},
  publisher     = {National Academy of Sciences},
  doi           = {10.1073/pnas.83.10.3068}
}

@Misc{            BorgerJun2024,
  title         = {Facets of module theory over semirings},
  author        = {James Borger and Jaiung Jun},
  year          = {2024},
  eprint        = {2405.18645},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG},
  url           = {https://arxiv.org/abs/2405.18645}
}

@Article{         borsuk_mazurkiewicz1934,
  author        = {Borsuk, Karol and Mazurkiewicz, Stefan},
  title         = {Sur les rétractes absolus indécomposables},
  journal       = {C. R. Acad. Sci. Paris},
  fjournal      = {Comptes Rendus Hebdomadaires des Séances de l'Académie
                  des Sciences},
  volume        = {199},
  year          = {1934},
  pages         = {110--112}
}

@Book{            bosch-guntzer-remmert,
  title         = {Non-Archimedean Analysis : A Systematic Approach to Rigid
                  Analytic Geometry},
  author        = {S. Bosch and U. G{\"{u}}ntzer and R. Remmert},
  series        = {Grundlehren der mathematischen Wissenschaften},
  volume        = {261},
  year          = {1984},
  publisher     = {Springer-Verlag Berlin }
}

@Book{            bourbaki1966,
  author        = {Bourbaki, Nicolas},
  title         = {Elements of mathematics. {G}eneral topology. {P}art 1},
  publisher     = {Hermann, Paris; Addison-Wesley Publishing Co., Reading,
                  Mass.-London-Don Mills, Ont.},
  year          = {1966},
  pages         = {vii+437},
  mrclass       = {54.00 (00.00)},
  mrnumber      = {0205210}
}

@Book{            bourbaki1966b,
  author        = {Bourbaki, Nicolas},
  title         = {Elements of mathematics. {G}eneral topology. {P}art 2},
  publisher     = {Hermann, Paris; Addison-Wesley Publishing Co., Reading,
                  Mass.-London-Don Mills, Ont.},
  year          = {1966},
  pages         = {iv+363},
  mrclass       = {54-02 (00A05 54-01)},
  mrnumber      = {979295}
}

@Book{            bourbaki1968,
  author        = {Bourbaki, Nicolas},
  title         = {Lie groups and {L}ie algebras. {C}hapters 4--6},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the 1968 French original by Andrew
                  Pressley},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2002},
  pages         = {xii+300},
  isbn          = {3-540-42650-7},
  mrclass       = {17-01 (00A05 20E42 20F55 22-01)},
  mrnumber      = {1890629}
}

@Book{            bourbaki1974,
  author        = {Bourbaki, N.},
  series        = {Éléments de mathématique},
  title         = {Topologie Générale. {C}hapitres 5 à 10},
  edition       = {Réimpression inchangée de l'édition originale de 1974},
  isbn          = {978-3-540-34399-8},
  language      = {fr},
  number        = {1},
  publisher     = {Springer Berlin, Heidelberg},
  year          = {2007},
  url           = {https://doi.org/10.1007/978-3-540-34486-5}
}

@Book{            bourbaki1975,
  author        = {Bourbaki, Nicolas},
  title         = {Lie groups and {L}ie algebras. {C}hapters 1--3},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the French, Reprint of the 1989 English
                  translation},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1998},
  pages         = {xviii+450},
  isbn          = {3-540-64242-0},
  mrclass       = {17Bxx (00A05 22Exx)},
  mrnumber      = {1728312}
}

@Book{            bourbaki1975b,
  author        = {Bourbaki, Nicolas},
  title         = {Lie groups and {L}ie algebras. {C}hapters 7--9},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the 1975 and 1982 French originals by
                  Andrew Pressley},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2005},
  pages         = {xii+434},
  isbn          = {3-540-43405-4},
  mrclass       = {17-01 (01A75 22-01)},
  mrnumber      = {2109105}
}

@Book{            bourbaki1981,
  author        = {Bourbaki, N.},
  title         = {Algebra. {II}. {C}hapters 4--7},
  series        = {Elements of Mathematics},
  note          = {Translated from the French by P. M. Cohn and J. Howie},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1990},
  pages         = {vii+461},
  isbn          = {3-540-19375-8},
  mrclass       = {00A05 (12-01 13-01)},
  mrnumber      = {1080964}
}

@Book{            bourbaki1987,
  author        = {Bourbaki, N.},
  title         = {Topological vector spaces. {C}hapters 1--5},
  series        = {Elements of Mathematics (Berlin)},
  note          = {Translated from the French by H. G. Eggleston and S.
                  Madan},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1987},
  pages         = {viii+364},
  isbn          = {3-540-13627-4},
  mrclass       = {46-02 (46-01 46Axx 47D15)},
  mrnumber      = {910295},
  doi           = {10.1007/978-3-642-61715-7},
  url           = {https://doi.org/10.1007/978-3-642-61715-7}
}

@Book{            bourbaki1989,
  author        = {Bourbaki, N.},
  title         = {Algebra. {I}. {C}hapters 1–3},
  series        = {Elements of Mathematics},
  note          = {Translated from the French},
  year          = {1998},
  publisher     = {Springer-Verlag, Berlin},
  isbn          = {3-540-64243-9},
  pages         = {xxiii + 709},
  edition       = {Softcover edition of the 2nd printing 1989},
  msc2010       = {00A05 12-01 15-01 20-01 16-01 17-01 15A69 15A72 15A75
                  15A78 17D05 20E05 20F16},
  zmnumber      = {0904.00001}
}

@Book{            bourbaki2007,
  author        = {Bourbaki, Nicolas},
  edition       = {Réimpression inchangée de l'édition originale de 1959},
  series        = {Eléments de mathématique},
  title         = {Algèbre. {C}hapitre IX},
  isbn          = {978-3-540-35338-6},
  language      = {fr},
  number        = {2},
  publisher     = {Springer},
  year          = {2007}
}

@Book{            bourbaki2023,
  author        = {Bourbaki, N.},
  series        = {Éléments de mathématique},
  title         = {Théories Spectrales. {C}hapitres 3 à 5},
  isbn          = {978-3-031-19504-4},
  language      = {fr},
  number        = {1},
  publisher     = {Springer Cham},
  year          = {2023},
  url           = {https://doi.org/10.1007/978-3-031-19505-1}
}

@Article{         bowlerGeschke2015,
  author        = {Bowler, Nathan and Geschke, Stefan},
  year          = {2015},
  month         = {10},
  pages         = {1},
  title         = {Self-dual uniform matroids on infinite sets},
  volume        = {144},
  journal       = {Proceedings of the American Mathematical Society},
  doi           = {10.1090/proc/12667}
}

@Book{            boydVandenberghe2004,
  author        = {Stephen P. Boyd and Lieven Vandenberghe},
  title         = {Convex Optimization},
  publisher     = {Cambridge University Press},
  year          = {2004},
  isbn          = {978-0-521-83378-3},
  url           = {https://web.stanford.edu/~boyd/cvxbook/bv_cvxbook.pdf}
}

@Article{         brandt2003,
  author        = {Brandt, Stephan},
  year          = {2003},
  month         = {12},
  pages         = {693--696},
  title         = {Note: On the structure of graphs with bounded clique
                  number},
  volume        = {23},
  issue         = {4},
  journal       = {Combinatorica},
  doi           = {10.1007/s00493-003-0042-z},
  url           = {https://doi.org/10.1007/s00493-003-0042-z}
}

@Book{            brodmannsharp13,
  author        = {Brodmann, M. P. and Sharp, R. Y.},
  title         = {Local cohomology},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {136},
  edition       = {Second},
  note          = {An algebraic introduction with geometric applications},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2013},
  pages         = {xxii+491},
  isbn          = {978-0-521-51363-0},
  mrclass       = {13D45 (13-01)}
}

@Article{         brown-1973,
  author        = {Brown, Kenneth S.},
  title         = {Abstract homotopy theory and generalized sheaf
                  cohomology},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {186},
  year          = {1973},
  pages         = {419--458},
  issn          = {0002-9947,1088-6850},
  mrclass       = {55B30 (18H99)},
  mrnumber      = {341469},
  doi           = {10.2307/1996573},
  url           = {https://doi.org/10.2307/1996573}
}

@Article{         bruhnDiestelKriesellPendavinghWollan2013,
  author        = {Henning Bruhn and Reinhard Diestel and Matthias Kriesell
                  and Rudi Pendavingh and Paul Wollan},
  title         = {Axioms for infinite matroids},
  journal       = {Advances in Mathematics},
  volume        = {239},
  pages         = {18-46},
  year          = {2013},
  issn          = {0001-8708},
  doi           = {https://doi.org/10.1016/j.aim.2013.01.011},
  url           = {https://www.sciencedirect.com/science/article/pii/S0001870813000261}
}

@Article{         buzyakovaClopenBox,
  author        = {Buzyakova, Raushan Z.},
  title         = {On clopen sets in {C}artesian products},
  journal       = {Comment. Math. Univ. Carolin.},
  fjournal      = {Commentationes Mathematicae Universitatis Carolinae},
  volume        = {42},
  year          = {2001},
  number        = {2},
  pages         = {357--362},
  issn          = {0010-2628,1213-7243},
  mrclass       = {54B10 (54B15 54D20 55M10)},
  mrnumber      = {1832154}
}

@Book{            cabreragarciarodriguezpalacios2014,
  author        = {Miguel {Cabrera Garc\'ia} and \'Angel {Rodr\'iguez
                  Palacios}},
  title         = {{Non-associative normed algebras. Volume 1. The
                  Vidav-Palmer and Gelfand-Naimark theorems}},
  fjournal      = {{Encyclopedia of Mathematics and Its Applications}},
  journal       = {{Encycl. Math. Appl.}},
  issn          = {0953-4806},
  volume        = {154},
  isbn          = {978-1-107-04306-0; 978-1-107-33776-3},
  pages         = {xxii + 712},
  year          = {2014},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  doi           = {10.1017/CBO9781107337763},
  msc2010       = {46-02 17-02 46H70 46K70 46L70 17A15 17A80 17C65},
  zbl           = {1322.46003}
}

@Article{         cadiou1972,
  title         = {Recursive definitions of partial functions and their
                  computations},
  doi           = {10.1145/942580.807072},
  number        = {14},
  journal       = {ACM SIGACT News},
  author        = {Cadiou, Jean Marie Cadiou and Manna, Zohar},
  year          = {1972},
  month         = {Jan},
  pages         = {58–65}
}

@Book{            calugareanu,
  author        = {C\v{a}lug\v{a}reanu, Grigore},
  year          = {2000},
  month         = {01},
  pages         = {},
  title         = {Lattice Concepts of Module Theory},
  doi           = {10.1007/978-94-015-9588-9}
}

@Article{         caramello2020,
  title         = {Denseness conditions, morphisms and equivalences of
                  toposes},
  author        = {Olivia Caramello},
  year          = {2020},
  eprint        = {1906.08737},
  archiveprefix = {arXiv},
  primaryclass  = {math.CT},
  url           = {https://arxiv.org/abs/1906.08737}
}

@Article{         CARBONI1993145,
  author        = {Aurelio Carboni and Stephen Lack and R.F.C. Walters},
  doi           = {https://doi.org/10.1016/0022-4049(93)90035-R},
  issn          = {0022-4049},
  journal       = {Journal of Pure and Applied Algebra},
  number        = {2},
  pages         = {145-158},
  title         = {Introduction to extensive and distributive categories},
  url           = {https://www.sciencedirect.com/science/article/pii/002240499390035R},
  volume        = {84},
  year          = {1993},
  bdsk-url-1    = {https://www.sciencedirect.com/science/article/pii/002240499390035R},
  bdsk-url-2    = {https://doi.org/10.1016/0022-4049(93)90035-R}
}

@Misc{            carlen2010,
  author        = {Carlen, Eric A.},
  title         = {Trace inequalities and quantum entropy: An introductory
                  course},
  journal       = {Entropy and the quantum},
  year          = {2010},
  volume        = {529},
  pages         = {73--140}
}

@Article{         carneiro2015arithmetic,
  title         = {Arithmetic in Metamath, Case Study: Bertrand's Postulate},
  author        = {Carneiro, Mario},
  journal       = {arXiv preprint arXiv:1503.02349},
  year          = {2015}
}

@Misc{            carneiro2018matiyasevic,
  title         = {A {L}ean formalization of {M}atiyasevi{\v c}'s theorem},
  author        = {Mario Carneiro},
  year          = {2018},
  eprint        = {1802.01795},
  archiveprefix = {arXiv},
  primaryclass  = {math.LO}
}

@InProceedings{   carneiro2019,
  author        = {Mario M. Carneiro},
  editor        = {John Harrison and John O'Leary and Andrew Tolmach},
  title         = {Formalizing Computability Theory via Partial Recursive
                  Functions},
  booktitle     = {10th International Conference on Interactive Theorem
                  Proving, {ITP} 2019, September 9-12, 2019, Portland, OR,
                  {USA}},
  series        = {LIPIcs},
  volume        = {141},
  pages         = {12:1--12:17},
  publisher     = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year          = {2019},
  url           = {https://doi.org/10.4230/LIPIcs.ITP.2019.12},
  doi           = {10.4230/LIPIcs.ITP.2019.12},
  timestamp     = {Fri, 27 Sep 2019 15:57:06 +0200},
  biburl        = {https://dblp.org/rec/conf/itp/Carneiro19.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Book{            cartan-eilenberg-1956,
  author        = {Cartan, Henri and Eilenberg, Samuel},
  title         = {Homological algebra},
  publisher     = {Princeton University Press, Princeton, NJ},
  year          = {1956},
  pages         = {xv+390},
  mrclass       = {09.0X},
  mrnumber      = {77480}
}

@Book{            carter2005,
  author        = {Carter, R. W.},
  title         = {Lie algebras of finite and affine type},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {96},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2005},
  pages         = {xviii+632},
  isbn          = {978-0-521-85138-1; 0-521-85138-6},
  mrclass       = {17-02 (17B67)},
  mrnumber      = {2188930},
  mrreviewer    = {Stephen\ Slebarski},
  doi           = {10.1017/CBO9780511614910},
  url           = {https://doi.org/10.1017/CBO9780511614910}
}

@Article{         cassels1950,
  author        = {Cassels, J. W. S.},
  title         = {Some metrical theorems in {D}iophantine approximation.
                  {I}},
  journal       = {Proc. Cambridge Philos. Soc.},
  fjournal      = {Proceedings of the Cambridge Philosophical Society},
  volume        = {46},
  year          = {1950},
  pages         = {209--218},
  issn          = {0008-1981},
  mrclass       = {10.0X},
  mrnumber      = {36787},
  mrreviewer    = {P. Erd\H{o}s},
  doi           = {10.1017/s0305004100025676},
  url           = {https://doi.org/10.1017/s0305004100025676}
}

@Book{            cassels1967algebraic,
  title         = {Algebraic number theory},
  author        = {Cassels, John William Scott and Fr{\"o}hlich, Albrecht},
  booktitle     = {Proceedings of an instructional conference organized by
                  the {L}ondon {M}athematical {S}ociety (a {NATO} {A}dvanced
                  {S}tudy {I}nstitute) with the support of the
                  {I}nternational {M}athematical {U}nion},
  editor        = {Cassels, John William Scott and Fr\"{o}hlich, Albrecht},
  publisher     = {Academic Press, London; Thompson Book Co., Inc.,
                  Washington, D.C.},
  year          = {1967},
  pages         = {xviii+366},
  mrclass       = {00.04 (10.00)}
}

@Book{            cassels1986local,
  place         = {Cambridge},
  series        = {London Mathematical Society Student Texts},
  title         = {Local Fields},
  publisher     = {Cambridge University Press},
  author        = {Cassels, J. W. S.},
  year          = {1986},
  collection    = {London Mathematical Society Student Texts},
  doi           = {10.1017/CBO9781139171885}
}

@Article{         cater1961,
  author        = {Cater, S.},
  title         = {Observations on a paper by {R}osenblum},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {12},
  year          = {1961},
  pages         = {560--561},
  issn          = {0002-9939,1088-6826},
  mrclass       = {47.40},
  mrnumber      = {130560},
  mrreviewer    = {S.\ Kurepa},
  doi           = {10.2307/2034244},
  url           = {https://doi.org/10.2307/2034244}
}

@Article{         chapman1996,
  author        = {Chapman, Robin},
  title         = {A Polynomial Taking Integer Values},
  journal       = {Math. Mag.},
  fjournal      = {Mathematics Magazine},
  volume        = {69},
  year          = {1996},
  pages         = {121--121},
  number        = {2},
  publisher     = {Taylor & Francis, Ltd. on behalf of the Mathematical
                  Association of America}
}

@Article{         chapoton_livernet_2001,
  author        = {Chapoton, Fr{\'e}d{\'e}ric and Livernet, Muriel},
  title         = {Pre-Lie algebras and the rooted trees operad},
  fjournal      = {IMRN. International Mathematics Research Notices},
  journal       = {Int. Math. Res. Not.},
  issn          = {1073-7928},
  volume        = {2001},
  number        = {8},
  pages         = {395--408},
  year          = {2001},
  language      = {English},
  doi           = {10.1155/S1073792801000198},
  keywords      = {17A30,17B60,18D50,55P65,81T15},
  zbmath        = {1618753},
  zbl           = {1053.17001}
}

@Article{         Chen_Glebov_2018,
  author        = {Chen, Imin and Glebov, Gleb},
  title         = {On {C}hudnovsky--{R}amanujan type formulae},
  journal       = {Ramanujan J.},
  fjournal      = {The Ramanujan Journal. An International Journal Devoted to
                  the Areas of Mathematics Influenced by Ramanujan},
  volume        = {46},
  year          = {2018},
  number        = {3},
  pages         = {677--712},
  issn          = {1382-4090},
  mrclass       = {11F03 (11Y60 14H52 33C75)},
  mrnumber      = {3830044},
  doi           = {10.1007/s11139-017-9948-8},
  url           = {https://doi.org/10.1007/s11139-017-9948-8}
}

@Article{         chevalley_eilenberg_1948,
  author        = {Chevalley, Claude and Eilenberg, Samuel},
  title         = {Cohomology Theory of Lie Groups and Lie Algebras},
  journal       = {Trans. AMS},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {63},
  year          = {1948},
  number        = {1},
  pages         = {85-124},
  issn          = {0002-9947},
  mrclass       = {20.0X},
  mrnumber      = {0024908},
  doi           = {10.2307/1990637},
  url           = {http://www.jstor.org/stable/1990637?}
}

@Misc{            chintala2020,
  title         = {Sorry, the Nilpotents Are in the Center},
  author        = {Chintala, Vineeth},
  year          = {2020},
  month         = jun,
  number        = {arXiv:1805.11451},
  eprint        = {1805.11451},
  primaryclass  = {math},
  publisher     = {{arXiv}},
  doi           = {10.48550/arXiv.1805.11451},
  urldate       = {2023-12-13},
  archiveprefix = {arxiv},
  keywords      = {{16P10, 16U99},Mathematics - Rings and Algebras}
}

@Article{         cho_jacobs_2019,
  title         = {Disintegration and Bayesian inversion via string
                  diagrams},
  author        = {Cho, Kenta and Jacobs, Bart},
  journal       = {Mathematical Structures in Computer Science},
  volume        = {29},
  number        = {7},
  pages         = {938--971},
  year          = {2019},
  publisher     = {Cambridge University Press},
  doi           = {10.1017/S0960129518000488}
}

@InProceedings{   Chou1994,
  author        = {Chou, Ching-Tsun},
  booktitle     = {Higher Order Logic Theorem Proving and Its Applications},
  title         = {A formal theory of undirected graphs in higher-order
                  logic},
  year          = {1994},
  address       = {Berlin, Heidelberg},
  editor        = {Melham, Thomas F. and Camilleri, Juanito},
  pages         = {144--157},
  publisher     = {Springer Berlin Heidelberg},
  isbn          = {978-3-540-48803-3}
}

@Book{            chu2012,
  author        = {Cho-Ho {Chu}},
  title         = {{Jordan structures in geometry and analysis}},
  fjournal      = {{Cambridge Tracts in Mathematics}},
  journal       = {{Camb. Tracts Math.}},
  issn          = {0950-6284},
  volume        = {190},
  isbn          = {978-1-107-01617-0},
  pages         = {x + 261},
  year          = {2012},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  msc2010       = {17-02 17C65 17C37 46H70 53C35 46K70 32M15},
  zbl           = {1238.17001}
}

@TechReport{      chvatal1972,
  author        = {Vaclav Chv{\'a}tal and David A. Klarner and Donald E.
                  Knuth},
  title         = {Selected Combinatorial Research Problems},
  institution   = {Computer Science Department, Stanford University},
  year          = {1972},
  note          = {Technical Report STAN-CS-72-292},
  url           = {https://users.encs.concordia.ca/~chvatal/Stan-CS-TR-72-292.pdf}
}

@InProceedings{   CL21,
  author        = {Commelin, Johan and Lewis, Robert Y.},
  title         = {Formalizing the Ring of Witt Vectors},
  year          = {2021},
  isbn          = {9781450382991},
  publisher     = {Association for Computing Machinery},
  address       = {New York, NY, USA},
  url           = {https://doi.org/10.1145/3437992.3439919},
  doi           = {10.1145/3437992.3439919},
  abstract      = {The ring of Witt vectors W R over a base ring R is an
                  important tool in algebraic number theory and lies at the
                  foundations of modern p-adic Hodge theory. W R has the
                  interesting property that it constructs a ring of
                  characteristic 0 out of a ring of characteristic p > 1,
                  and it can be used more specifically to construct from a
                  finite field containing ℤ/pℤ the corresponding
                  unramified field extension of the p-adic numbers ℚp
                  (which is unique up to isomorphism). We formalize the
                  notion of a Witt vector in the Lean proof assistant, along
                  with the corresponding ring operations and other algebraic
                  structure. We prove in Lean that, for prime p, the ring of
                  Witt vectors over ℤ/pℤ is isomorphic to the ring of
                  p-adic integers ℤp. In the process we develop idioms to
                  cleanly handle calculations of identities between
                  operations on the ring of Witt vectors. These calculations
                  are intractable with a naive approach, and require a proof
                  technique that is usually skimmed over in the informal
                  literature. Our proofs resemble the informal arguments
                  while being fully rigorous.},
  booktitle     = {Proceedings of the 10th ACM SIGPLAN International
                  Conference on Certified Programs and Proofs},
  pages         = {264–277},
  numpages      = {14},
  keywords      = {ring theory, formal math, proof assistant, Lean, number
                  theory},
  location      = {Virtual, Denmark},
  series        = {CPP 2021}
}

@Book{            clark_gon,
  author        = {Pete L. Clark},
  title         = {Geometry of Numbers with Applications to Number Theory},
  url           = {http://alpha.math.uga.edu/~pete/geometryofnumbers.pdf}
}

@Article{         clifford1954,
  author        = {Clifford, A. H.},
  title         = {Note on {Hahn}'s theorem on ordered {Abelian} groups},
  fjournal      = {Proceedings of the American Mathematical Society},
  journal       = {Proc. Am. Math. Soc.},
  issn          = {0002-9939},
  volume        = {5},
  pages         = {860--863},
  year          = {1954},
  language      = {English},
  doi           = {10.2307/2032549},
  zbmath        = {3090187},
  zbl           = {0056.25503}
}

@Article{         cockett1993,
  author        = {J.R.B. Cockett},
  title         = {Introduction to Distributive Categories},
  journal       = {Mathematical Structures in Computer Science},
  volume        = {3},
  number        = {3},
  pages         = {277--307},
  year          = {1993},
  url           = {https://doi.org/10.1017/S0960129500000232},
  biburl        = {https://dblp.org/rec/journals/mscs/Cockett93.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Article{         cohen1950,
  author        = {I. S. Cohen},
  title         = {Commutative rings with restricted minimum condition},
  volume        = {17},
  journal       = {Duke Mathematical Journal},
  number        = {1},
  publisher     = {Duke University Press},
  pages         = {27 -- 42},
  year          = {1950},
  doi           = {10.1215/S0012-7094-50-01704-2},
  url           = {https://doi.org/10.1215/S0012-7094-50-01704-2}
}

@Article{         cohen2012,
  author        = {David A. Cohen and Martin C. Cooper and Páidí Creed and
                  Peter G. Jeavons and Stanislav Živný},
  title         = {An Algebraic Theory of Complexity for Discrete
                  Optimisation},
  journal       = {CoRR},
  volume        = {abs/1207.6692},
  year          = {2012},
  url           = {http://arxiv.org/abs/1207.6692},
  eprinttype    = {arXiv},
  eprint        = {1207.6692},
  timestamp     = {Mon, 03 Aug 2020 17:29:56 +0200},
  biburl        = {https://dblp.org/rec/journals/corr/abs-1207-6692.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Book{            cohn2013measure,
  address       = {New York, NY},
  series        = {Birkhäuser {Advanced} {Texts} {Basler} {Lehrbücher}},
  title         = {Measure {Theory}: {Second} {Edition}},
  copyright     = {https://www.springernature.com/gp/researchers/text-and-data-mining},
  isbn          = {9781461469551 9781461469568},
  shorttitle    = {Measure {Theory}},
  url           = {https://link.springer.com/10.1007/978-1-4614-6956-8},
  language      = {en},
  urldate       = {2025-02-15},
  publisher     = {Springer New York},
  author        = {Cohn, Donald L.},
  year          = {2013},
  doi           = {10.1007/978-1-4614-6956-8}
}

@Book{            cohn_1995,
  place         = {Cambridge},
  series        = {Encyclopedia of Mathematics and its Applications},
  title         = {Skew Fields: Theory of General Division Rings},
  doi           = {10.1017/CBO9781139087193},
  publisher     = {Cambridge University Press},
  author        = {Cohn, P. M.},
  year          = {1995},
  collection    = {Encyclopedia of Mathematics and its Applications}
}

@Book{            cohn_2003,
  author        = {Cohn, P. M.},
  title         = {Basic algebra. {Groups}, rings and fields},
  isbn          = {1-85233-587-4},
  year          = {2003},
  publisher     = {London: Springer},
  language      = {English},
  keywords      = {00A05,16-01,13-01,11Exx,12-01,20-01},
  zbmath        = {1836559},
  zbl           = {1003.00001}
}

@Article{         colmez2010,
  author        = {Colmez, Pierre},
  title         = {Fonctions d'une variable p-adique},
  journal       = {Asterisque},
  volume        = 330,
  pages         = {13--59},
  year          = 2010,
  url           = {http://www.numdam.org/article/AST_2010__330__13_0.pdf}
}

@Misc{            condelago2016shortproofsmoothimplies,
  title         = {A short proof of smooth implies flat},
  author        = {Jesús Conde-Lago},
  year          = {2016},
  eprint        = {1504.05709},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG},
  url           = {https://arxiv.org/abs/1504.05709}
}

@Book{            conrad2000,
  author        = {Conrad, Brian},
  title         = {Grothendieck duality and base change},
  series        = {Lecture Notes in Mathematics},
  volume        = {1750},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2000},
  pages         = {vi+296},
  isbn          = {3-540-41134-8},
  mrclass       = {14F05 (14A15 14F10 18E30)},
  mrnumber      = {1804902},
  mrreviewer    = {J\"{o}rg\ Jahnel},
  doi           = {10.1007/b75857},
  url           = {https://doi.org/10.1007/b75857}
}

@Misc{            ConradLinearChar,
  title         = {Linear Independence of Characters},
  author        = {Conrad, K.},
  eprint        = {https://kconrad.math.uconn.edu/blurbs/galoistheory/linearchar.pdf}
}

@Misc{            conradnumbfield,
  title         = {Ostrowski for number fields},
  author        = {Conrad, K.},
  eprint        = {https://kconrad.math.uconn.edu/blurbs/gradnumthy/ostrowskinumbfield.pdf}
}

@Misc{            conradQ,
  title         = {Ostrowski's Theorem for Q},
  author        = {Conrad, K.},
  eprint        = {https://kconrad.math.uconn.edu/blurbs/gradnumthy/ostrowskiQ.pdf}
}

@Book{            conway1990,
  author        = {Conway, John B.},
  title         = {A course in functional analysis.},
  edition       = {2nd ed.},
  fseries       = {Graduate Texts in Mathematics},
  series        = {Grad. Texts Math.},
  issn          = {0072-5285},
  volume        = {96},
  isbn          = {0-387-97245-5},
  year          = {1990},
  publisher     = {New York etc.: Springer-Verlag},
  language      = {English},
  keywords      = {46-02,47-02,47A53},
  zbmath        = {47995},
  zbl           = {0706.46003}
}

@Book{            conway2001,
  author        = {Conway, J. H.},
  title         = {On numbers and games},
  edition       = {Second},
  publisher     = {A K Peters, Ltd., Natick, MA},
  year          = {2001},
  pages         = {xii+242},
  isbn          = {1-56881-127-6},
  mrclass       = {00A08 (05-01 91A05)},
  mrnumber      = {1803095}
}

@Article{         Cousot1979,
  author        = {Cousot, P{.} and Cousot, R{.}},
  title         = {Constructive Versions of {T}arski's Fixed Point Theorems},
  journal       = {Pacific Journal of Mathematics},
  volume        = 81,
  number        = 1,
  pages         = {43--57},
  year          = 1979
}

@Book{            coxlittleoshea1997,
  author        = {David A. Cox and John Little and Donal O'Shea},
  title         = {Ideals, varieties, and algorithms - an introduction to
                  computational algebraic geometry and commutative algebra
                  {(2.} ed.)},
  series        = {Undergraduate texts in mathematics},
  publisher     = {Springer},
  year          = {1997},
  isbn          = {978-0-387-94680-1}
}

@Article{         crans2017,
  author        = {Crans, Alissa S. and Mukherjee, Sujoy and Przytycki,
                  J\'{o}zef H.},
  title         = {On homology of associative shelves},
  journal       = {J. Homotopy Relat. Struct.},
  fjournal      = {Journal of Homotopy and Related Structures},
  volume        = {12},
  year          = {2017},
  number        = {3},
  pages         = {741--763},
  issn          = {2193-8407},
  mrclass       = {18G60 (20M32 20N02 57M25)},
  mrnumber      = {3691304},
  mrreviewer    = {Mahender Singh},
  doi           = {10.1007/s40062-016-0164-9},
  url           = {https://doi.org/10.1007/s40062-016-0164-9}
}

@Article{         danvy,
  author        = "Olivier Danvy",
  title         = "Folding Left and Right Matters: Direct Style,
                  Accumulators, and Continuations",
  journal       = "Journal of Functional Programming",
  year          = 2023,
  volume        = 33,
  number        = "e2",
  doi           = "10.1017/S0956796822000156"
}

@Book{            dauben_1990,
  place         = {Princeton, NJ},
  title         = {Georg Cantor: His Mathematics and Philosophy of the
                  Infinite},
  publisher     = {Princeton University Press},
  author        = {Dauben, Joseph W.},
  year          = {1990}
}

@Book{            davey_priestley,
  author        = {Davey, B. A. and Priestley, H. A.},
  title         = {Introduction to lattices and order},
  edition       = {Second},
  publisher     = {Cambridge University Press, New York},
  year          = {2002},
  pages         = {xii+298},
  isbn          = {0-521-78451-4},
  mrclass       = {06-01 (68Q55)},
  mrnumber      = {1902334},
  mrreviewer    = {T. S. Blyth},
  doi           = {10.1017/CBO9780511809088},
  url           = {https://doi.org/10.1017/CBO9780511809088}
}

@Article{         daws2024,
  author        = {Daws, Matthew},
  journal       = {Communications of the American Mathematical Society},
  number        = {1},
  title         = {Quantum graphs: different perspectives, homomorphisms and
                  quantum automorphisms},
  volume        = {4},
  pages         = {117-181},
  year          = {2024},
  url           = {https://arxiv.org/abs/2203.08716},
  mrnumber      = {4706978}
}

@Article{         day1972,
  author        = {Day, Brian},
  title         = {A reflection theorem for closed categories},
  journal       = {J. Pure Appl. Algebra},
  fjournal      = {Journal of Pure and Applied Algebra},
  volume        = {2},
  year          = {1972},
  number        = {1},
  pages         = {1--11},
  issn          = {0022-4049},
  doi           = {10.1016/0022-4049(72)90021-7},
  url           = {https://doi.org/10.1016/0022-4049(72)90021-7}
}

@Book{            deLauneyFlannery2011,
  author        = {de Launey, Warwick and Flannery, Dane L.},
  title         = {Algebraic Design Theory},
  series        = {Mathematical Surveys and Monographs},
  volume        = {175},
  publisher     = {American Mathematical Society},
  year          = {2011},
  doi           = {10.1090/surv/175},
  url           = {https://doi.org/10.1090/surv/175}
}

@InProceedings{   deligne_formulaire,
  author        = {Deligne, P.},
  title         = {Courbes elliptiques: formulaire d'apr\`es {J}. {T}ate},
  booktitle     = {Modular functions of one variable, {IV} ({P}roc.
                  {I}nternat. {S}ummer {S}chool, {U}niv. {A}ntwerp,
                  {A}ntwerp, 1972)},
  pages         = {53--73. Lecture Notes in Math., Vol. 476},
  year          = {1975},
  mrclass       = {14K15 (10D05)},
  mrnumber      = {0387292},
  mrreviewer    = {Jacques Velu}
}

@InProceedings{   demazure1970,
  author        = {Michel Demazure},
  editor        = {M. Demazure, A. Grothendieck},
  title         = {Expos\'{e} XXI, Donn\'{e}es Radicielles},
  booktitle     = {S\'{e}minaire de G\'{e}ométrie Alg\'{e}brique du Bois
                  Marie - 1962-64 - Sch\'{e}mas en groupes - (SGA 3) - vol.
                  3, Structure des Sch\'{e}mas en Groupes Reductifs},
  series        = {Lecture Notes in Mathematics},
  volume        = {153},
  pages         = {85--155},
  publisher     = {Springer-Verlag},
  year          = {1970},
  url           = {https://wstein.org/sga/SGA3/Expo21-alpha.pdf}
}

@Article{         demillo_lipton_1978,
  author        = {DeMillo, Richard A. and Lipton, Richard J.},
  title         = {A probabilistic remark on algebraic program testing},
  journal       = {Information Processing Letters},
  volume        = {7},
  number        = {4},
  pages         = {193--195},
  year          = {1978},
  doi           = {10.1016/0020-0190(78)90067-4}
}

@InProceedings{   demoura2015lean,
  author        = {de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and
                  van Doorn, Floris and von Raumer, Jakob},
  editor        = {Felty, Amy P. and Middeldorp, Aart},
  title         = {The Lean Theorem Prover (System Description)},
  booktitle     = {Automated Deduction - CADE-25},
  year          = {2015},
  publisher     = {Springer International Publishing},
  address       = {Cham},
  pages         = {378--388},
  isbn          = {978-3-319-21401-6}
}

@Article{         dialectica1989,
  author        = {De Paiva, Valeria},
  title         = {The Dialectica categories},
  year          = {1989},
  month         = {01},
  pages         = {},
  isbn          = {9780821851005},
  doi           = {10.1090/conm/092/1003194},
  url           = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf}
}

@Book{            diamondshurman2005,
  author        = {Diamond, Fred and Shurman, Jerry},
  title         = {A first course in modular forms},
  fseries       = {Graduate Texts in Mathematics},
  series        = {Grad. Texts Math.},
  issn          = {0072-5285},
  volume        = {228},
  isbn          = {0-387-23229-X},
  year          = {2005},
  publisher     = {Berlin: Springer},
  language      = {English},
  keywords      = {11F11,11-01,11F25,11F80,11G18,11G40,11D41},
  zbmath        = {2134201},
  zbl           = {1062.11022}
}

@Book{            DiestelUhl1977,
  author        = {Diestel, J. and Uhl, J. J. jun.},
  title         = {Vector measures},
  fseries       = {Mathematical Surveys},
  series        = {Math. Surv.},
  issn          = {0076-5376},
  volume        = {15},
  year          = {1977},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  language      = {English},
  keywords      = {46G10,28B05,28A15,28A20,46-02,46B10,46B99,46E15,46E30,46G05,47A65,47B06,47B10,47B99},
  zbmath        = {3576139},
  zbl           = {0369.46039}
}

@Article{         dieudonne-1955,
  title         = {Sur les g\'en\'erateurs des groupes classiques},
  author        = {Dieudonn{\'e}, Jean},
  year          = 1955,
  journal       = {Summa Brasil. Math.},
  volume        = {3},
  pages         = {149--178},
  issn          = {0039-498X},
  fjournal      = {Summa Brasiliensis Mathematicae},
  langid        = {french},
  zbmath        = {3113534},
  zmnumber      = {0067.01201}
}

@Article{         dieudonne1953,
  author        = {Dieudonn\'{e}, Jean},
  title         = {On semi-simple {L}ie algebras},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {4},
  year          = {1953},
  pages         = {931--932},
  issn          = {0002-9939},
  mrclass       = {09.1X},
  mrnumber      = {59262},
  doi           = {10.2307/2031832},
  url           = {https://doi.org/10.2307/2031832}
}

@Article{         djokovic1973,
  author        = {Djokovi\'{c}, D. \v{Z}.},
  title         = {Epimorphisms of modules which must be isomorphisms},
  journal       = {Canad. Math. Bull.},
  fjournal      = {Canadian Mathematical Bulletin. Bulletin Canadien de
                  Math\'{e}matiques},
  volume        = {16},
  year          = {1973},
  pages         = {513--515},
  issn          = {0008-4395,1496-4287},
  mrclass       = {16A64},
  mrnumber      = {346014},
  mrreviewer    = {M.\ Teply},
  doi           = {10.4153/CMB-1973-083-0},
  url           = {https://doi.org/10.4153/CMB-1973-083-0}
}

@Article{         dolan1976,
  title         = {A {{Proof}} of {{Jacobson}}'s {{Theorem}}},
  author        = {Dolan, S. W.},
  year          = {1976},
  month         = mar,
  journal       = {Canadian Mathematical Bulletin},
  volume        = {19},
  number        = {1},
  pages         = {59--61},
  issn          = {0008-4395, 1496-4287},
  doi           = {10.4153/CMB-1976-007-9},
  urldate       = {2023-12-13},
  langid        = {english}
}

@Article{         dold1958,
  author        = {Dold, Albrecht},
  title         = {Homology of symmetric products and other functors of
                  complexes},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {68},
  year          = {1958},
  pages         = {54--80},
  issn          = {0003-486X},
  mrclass       = {55.00},
  mrnumber      = {97057},
  mrreviewer    = {Sze-tsen Hu},
  doi           = {10.2307/1970043}
}

@InProceedings{   doubilet_rota_stanley_vi,
  author        = {Doubilet, Peter and Rota, Gian-Carlo and Stanley,
                  Richard},
  title         = {On the foundations of combinatorial theory. {VI}. {T}he
                  idea of generating function},
  booktitle     = {Proceedings of the {S}ixth {B}erkeley {S}ymposium on
                  {M}athematical {S}tatistics and {P}robability ({U}niv.
                  {C}alifornia, {B}erkeley, {C}alif., 1970/1971), {V}ol.
                  {II}: {P}robability theory},
  pages         = {267--318},
  publisher     = {Univ. California Press, Berkeley, CA},
  year          = {1972},
  mrclass       = {05A15},
  mrnumber      = {403987},
  mrreviewer    = {A.\ G.\ Law}
}

@Misc{            dupuis-lewis-macbeth2022,
  title         = {Formalized functional analysis with semilinear maps},
  author        = {Frédéric Dupuis and Robert Y. Lewis and Heather
                  Macbeth},
  year          = {2022},
  eprint        = {2202.05360},
  archiveprefix = {arXiv},
  primaryclass  = {cs.LO}
}

@Article{         dyckhoff_1992,
  author        = {Dyckhoff, Roy},
  title         = {Contraction-free sequent calculi for intuitionistic
                  logic},
  journal       = {Journal of Symbolic Logic},
  number        = {3},
  year          = {1992},
  pages         = {795–807},
  volume        = {57},
  publisher     = {Cambridge University Press},
  doi           = {10.2307/2275431}
}

@Article{         Echenique2005,
  author        = {Echenique, Federico},
  title         = {A short and constructive proof of Tarski’s fixed-point
                  theorem},
  journal       = {International Journal of Game Theory},
  volume        = {33},
  number        = {2},
  year          = {2005},
  pages         = {215–218},
  publisher     = {Springer},
  doi           = {10.1007/s001820400192}
}

@Article{         ega-iv-1,
  author        = {Grothendieck, A.},
  title         = {{\'E}l{\'e}ments de g{\'e}om{\'e}trie alg{\'e}brique.
                  {IV}: {\'E}tude locale des sch{\'e}mas et des morphismes de
                  sch{\'e}mas. ({Premi{\`e}re} partie). {R{\'e}dig{\'e}} avec
                  la colloboration de {J}. {Dieudonn{\'e}}},
  fjournal      = {Publications Math{\'e}matiques},
  journal       = {Publ. Math., Inst. Hautes {\'E}tud. Sci.},
  issn          = {0073-8301},
  volume        = {20},
  pages         = {101--355},
  year          = {1964},
  language      = {French},
  doi           = {10.1007/BF02684747},
  keywords      = {14-02,14Axx},
  zbmath        = {3220890},
  zbl           = {0136.15901}
}

@Book{            egno15,
  author        = {Etingof, Pavel and Gelaki, Shlomo and Nikshych, Dmitri and
                  Ostrik, Victor},
  title         = {Tensor Categories},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  year          = 2015,
  pages         = {xvi+343},
  isbn          = {978-1-4704-3441-0}
}

@Article{         eilenberg1969,
  title         = {Rational sets in commutative monoids},
  author        = {Eilenberg, Samuel and Sch{\"u}tzenberger, Marcel-Paul},
  journal       = {J. Algebra},
  volume        = {13},
  number        = {2},
  pages         = {173--191},
  year          = {1969}
}

@Book{            EinsiedlerWard2017,
  author        = {Einsiedler, Manfred and Ward, Thomas},
  title         = {Functional Analysis, Spectral Theory, and Applications},
  year          = 2017,
  publisher     = {Springer},
  doi           = {10.1007/978-3-319-58540-6}
}

@Book{            Eisenbud1995,
  title         = "Commutative algebra",
  author        = "Eisenbud, David",
  publisher     = "Springer",
  series        = "Graduate Texts in Mathematics",
  month         = mar,
  year          = 1995,
  address       = "New York, NY",
  language      = "en",
  isbn          = {978-0-387-94268-1},
  doi           = {10.1007/978-1-4612-5350-1}
}

@Book{            Elephant,
  title         = {Sketches of an Elephant – A Topos Theory Compendium},
  author        = {Peter Johnstone},
  year          = {2002},
  publisher     = {Oxford University Press}
}

@Article{         elliott2006binomial,
  author        = {Elliott, Jesse},
  title         = {Binomial rings, integer-valued polynomials, and λ-rings},
  journal       = {Journal of Pure and Applied Algebra},
  number        = {1},
  year          = {2006},
  pages         = {165–185},
  volume        = {207},
  publisher     = {Elsevier},
  doi           = {10.1016/j.jpaa.2005.09.003}
}

@Book{            elman-karpenko-merkurjev-2008,
  author        = {Elman, Richard and Karpenko, Nikita and Merkurjev,
                  Alexander},
  title         = {The algebraic and geometric theory of quadratic forms},
  series        = {American Mathematical Society Colloquium Publications},
  volume        = {56},
  publisher     = {American Mathematical Society, Providence, RI},
  year          = {2008},
  isbn          = {978-0-8218-4329-1},
  mrnumber      = {2427530},
  mrreviewer    = {Andrzej\ S\l adek},
  doi           = {10.1090/coll/056}
}

@Book{            enderton_1977,
  place         = {New York},
  title         = {Elements of set theory},
  publisher     = {Academic Press},
  author        = {Enderton, Herbert B.},
  year          = {1977}
}

@Book{            engel1997,
  title         = {Sperner theory},
  author        = {Engel, Konrad},
  publisher     = {Cambridge University Press},
  place         = {Cambridge},
  year          = {1997}
}

@Book{            engelking1989,
  title         = {General topology},
  author        = {Engelking, Ryszard},
  series        = {Sigma Series in Pure Mathematics},
  volume        = {6},
  edition       = {Second},
  note          = {Translated from the Polish by the author},
  publisher     = {Heldermann Verlag, Berlin},
  year          = {1989},
  pages         = {viii+529},
  isbn          = {3-88538-006-4},
  mrclass       = {54-01 (54-02)},
  mrnumber      = {1039321},
  mrreviewer    = {Gary\ Gruenhage}
}

@Article{         erdosrenyisos,
  author        = {P. Erd\"os and A. R\'enyi and V. S\'os},
  title         = {On a problem of graph theory},
  journal       = {Studia Sci. Math.},
  number        = {1},
  year          = {1966},
  pages         = {215--235},
  url           = {https://www.renyi.hu/~p_erdos/1966-06.pdf}
}

@Article{         escardo-lawson-simpson-2004,
  author        = {Escard\'o, Mart\'in and Lawson, Jimmie and Simpson, Alex},
  title         = {Comparing {C}artesian closed categories of (core)
                  compactly generated spaces},
  journal       = {Topology Appl.},
  fjournal      = {Topology and its Applications},
  volume        = {143},
  year          = {2004},
  number        = {1-3},
  pages         = {105--145},
  issn          = {0166-8641,1879-3207},
  mrclass       = {54D50 (18B30 54B30 54C35 54D55)},
  mrnumber      = {2080286},
  doi           = {10.1016/j.topol.2004.02.011},
  url           = {https://doi.org/10.1016/j.topol.2004.02.011}
}

@Article{         etemadi_strong_law,
  author        = {Etemadi, Nasrollah},
  title         = {An elementary proof of the strong law of large numbers},
  journal       = {Z. Wahrsch. Verw. Gebiete},
  fjournal      = {Zeitschrift f\"{u}r Wahrscheinlichkeitstheorie und
                  Verwandte Gebiete},
  volume        = {55},
  year          = {1981},
  number        = {1},
  pages         = {119--122},
  issn          = {0044-3719},
  mrclass       = {60F15 (60B12)},
  mrnumber      = {606010},
  mrreviewer    = {Robert L. Taylor},
  doi           = {10.1007/BF01013465},
  url           = {https://doi.org/10.1007/BF01013465}
}

@Book{            Federer1996,
  author        = {Herbert Federer},
  title         = {Geometric Measure Theory},
  series        = {Classics in Mathematics},
  year          = {1996},
  publisher     = {Springer-Verlag Berlin Heidelberg},
  issn          = {1431-0821},
  doi           = {10.1007/978-3-642-62010-2},
  numpages      = {677}
}

@Article{         FennRourke1992,
  author        = {Fenn, Roger and Rourke, Colin},
  journal       = {Journal of Knot Theory and its Ramifications},
  title         = {Racks and links in codimension two},
  year          = {1992},
  issn          = {0218-2165},
  number        = {4},
  pages         = {343--406},
  volume        = {1},
  doi           = {10.1142/S0218216592000203},
  keywords      = {57M25 (57N10)},
  mrnumber      = {1194995}
}

@Article{         fernique1970integrabilite,
  author        = {Fernique, Xavier},
  title         = {Int{\'e}grabilit{\'e} des vecteurs gaussiens},
  journal       = {CR Acad. Sci. Paris S$\backslash$'$\{$e$\}$ r. AB},
  volume        = {270},
  pages         = {A1698--A1699},
  year          = {1970}
}

@Article{         Fields1971,
  author        = {Fields, David E.},
  title         = {Zero divisors and nilpotent elements in power series
                  rings},
  year          = {1971},
  journal       = {Proceedings of the American Mathematical Society},
  volume        = {27},
  number        = {3},
  pages         = {427–433},
  issn          = {0002-9939, 1088-6826},
  doi           = {10.1090/S0002-9939-1971-0271100-6}
}

@Article{         fjellbo-rognes-2022,
  author        = {Fjellbo, Vegard and Rognes, John},
  title         = {Exponentials of non-singular simplicial sets},
  journal       = {Homology Homotopy Appl.},
  fjournal      = {Homology, Homotopy and Applications},
  volume        = {24},
  year          = {2022},
  number        = {2},
  pages         = {307--314},
  issn          = {1532-0073,1532-0081},
  mrclass       = {18D15 (18N50 55U10)},
  mrnumber      = {4478133},
  doi           = {10.4310/hha.2022.v24.n2.a15}
}

@InProceedings{   flypitch_cpp,
  doi           = {10.1145/3372885.3373826},
  url           = {https://doi.org/10.1145/3372885.3373826},
  year          = {2020},
  month         = jan,
  publisher     = {{ACM}},
  author        = {Jesse Michael Han and Floris van Doorn},
  title         = {A formal proof of the independence of the continuum
                  hypothesis},
  booktitle     = {Proceedings of the 9th {ACM} {SIGPLAN} International
                  Conference on Certified Programs and Proofs}
}

@InProceedings{   flypitch_itp,
  author        = {Jesse Michael Han and Floris van Doorn},
  title         = {{A Formalization of Forcing and the Unprovability of the
                  Continuum Hypothesis}},
  booktitle     = {10th International Conference on Interactive Theorem
                  Proving (ITP 2019)},
  pages         = {19:1--19:19},
  series        = {Leibniz International Proceedings in Informatics
                  (LIPIcs)},
  isbn          = {978-3-95977-122-1},
  issn          = {1868-8969},
  year          = {2019},
  volume        = {141},
  editor        = {John Harrison and John O'Leary and Andrew Tolmach},
  publisher     = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address       = {Dagstuhl, Germany},
  url           = {http://drops.dagstuhl.de/opus/volltexte/2019/11074},
  urn           = {urn:nbn:de:0030-drops-110742},
  doi           = {10.4230/LIPIcs.ITP.2019.19},
  annote        = {Keywords: Interactive theorem proving, formal
                  verification, set theory, forcing, independence proofs,
                  continuum hypothesis, Boolean-valued models, Lean}
}

@Article{         fontaine1982certains,
  issn          = {0003486X, 19398980},
  url           = {http://www.jstor.org/stable/2007012},
  author        = {Jean-Marc Fontaine},
  journal       = {Annals of Mathematics},
  number        = {3},
  pages         = {529--577},
  publisher     = {[Annals of Mathematics, Trustees of Princeton University
                  on Behalf of the Annals of Mathematics, Mathematics
                  Department, Princeton University]},
  title         = {Sur Certains Types de Représentations p-Adiques du Groupe
                  de Galois d'un Corps Local; Construction d'un Anneau de
                  Barsotti-Tate},
  urldate       = {2025-11-29},
  volume        = {115},
  year          = {1982}
}

@InCollection{    fontaine1994corps,
  author        = {Fontaine, Jean-Marc},
  title         = {Expos\'e {II~:} {Le} corps des p\'eriodes $p$-adiques},
  booktitle     = {P\'eriodes $p$-adiques - S\'eminaire de Bures, 1988},
  editor        = {Fontaine, Jean-Marc},
  series        = {Ast\'erisque},
  note          = {talk:2},
  pages         = {59--101},
  year          = {1994},
  publisher     = {Soci\'et\'e math\'ematique de France},
  number        = {223},
  mrnumber      = {1293971},
  zbl           = {0940.14012},
  language      = {fr},
  url           = {https://www.numdam.org/item/AST_1994__223__59_0/}
}

@Article{         Frankl_2020,
  title         = {Embedding graphs in Euclidean space},
  volume        = {171},
  issn          = {0097-3165},
  url           = {http://dx.doi.org/10.1016/j.jcta.2019.105146},
  doi           = {10.1016/j.jcta.2019.105146},
  journal       = {Journal of Combinatorial Theory, Series A},
  publisher     = {Elsevier BV},
  author        = {Frankl, Nóra and Kupavskii, Andrey and Swanepoel, Konrad
                  J.},
  year          = {2020},
  month         = apr,
  pages         = {105146}
}

@Book{            fremlin_vol2,
  author        = {Fremlin, David H.},
  title         = {Measure theory. {V}ol. 2},
  note          = {Broad foundations, 2010 edition},
  publisher     = {Torres Fremlin, Colchester},
  year          = {2010},
  isbn          = {0-9538129-2-8}
}

@Book{            fremlin_vol4,
  author        = {Fremlin, David H.},
  title         = {Measure theory. {V}ol. 4},
  note          = {Topological Measure Spaces},
  publisher     = {Torres Fremlin, Colchester},
  year          = {2003}
}

@Article{         frenkel1957,
  author        = {Frenkel, Jean},
  title         = {Cohomologie non ab\'{e}lienne et espaces fibr\'{e}s},
  journal       = {Bull. Soc. Math. France},
  fjournal      = {Bulletin de la Soci\'{e}t\'{e} Math\'{e}matique de France},
  volume        = {85},
  year          = {1957},
  pages         = {135--220},
  issn          = {0037-9484},
  mrclass       = {32.00},
  mrnumber      = {98200},
  url           = {http://www.numdam.org/item?id=BSMF_1957__85__135_0}
}

@Book{            freyd1964abelian,
  title         = {Abelian categories},
  author        = {Freyd, Peter J},
  series        = {Harper's Series in Modern Mathematics},
  year          = {1964},
  publisher     = {Harper \& Row New York}
}

@Misc{            freyd1966repabelian,
  author        = {Freyd, P.},
  title         = {Representations in {Abelian} categories},
  year          = {1966},
  language      = {English},
  howpublished  = {Proc. {Conf}. {Categor}. {Algebra}, {La} {Jolla} 1965,
                  95-120 (1966).},
  zbmath        = {3321315},
  zbl           = {0202.32402}
}

@Book{            friedmanscarr2005,
  author        = {Yaakov {Friedman}},
  title         = {{Physical applications of homogeneous balls. With the
                  assistance of Tzvi Scarr}},
  fjournal      = {{Progress in Mathematical Physics}},
  journal       = {{Prog. Math. Phys.}},
  issn          = {1544-9998},
  volume        = {40},
  isbn          = {0-8176-3339-1},
  pages         = {xxiv + 279},
  year          = {2005},
  publisher     = {Boston, MA: Birkh\"auser},
  language      = {English},
  msc2010       = {46-02 17C65 46L60 46G20 46L70 83A05},
  zbl           = {1080.46001}
}

@Book{            fritsch-piccinini1990,
  place         = {Cambridge},
  series        = {Cambridge Studies in Advanced Mathematics},
  title         = {Cellular Structures in Topology},
  publisher     = {Cambridge University Press},
  author        = {Fritsch, Rudolf and Piccinini, Renzo},
  year          = {1990},
  collection    = {Cambridge Studies in Advanced Mathematics},
  url           = {https://doi.org/10.1017/CBO9780511983948},
  doi           = {10.1017/CBO9780511983948}
}

@Article{         fritz2020,
  title         = {A synthetic approach to Markov kernels, conditional
                  independence and theorems on sufficient statistics},
  journal       = {Advances in Mathematics},
  volume        = {370},
  pages         = {107239},
  year          = {2020},
  issn          = {0001-8708},
  doi           = {10.1016/j.aim.2020.107239},
  url           = {https://www.sciencedirect.com/science/article/pii/S0001870820302656},
  author        = {Fritz, Tobias}
}

@Book{            fuchs1963,
  author        = {Fuchs, L.},
  title         = {Partially ordered algebraic systems},
  publisher     = {Pergamon Press, Oxford-London-New York-Paris;
                  Addison-Wesley Publishing Co., Inc., Reading, Mass.-Palo
                  Alto, Calif.-London},
  year          = {1963},
  pages         = {ix+229},
  mrclass       = {06.00 (20.00)},
  mrnumber      = {0171864},
  mrreviewer    = {P. F. Conrad}
}

@InProceedings{   fuerer-lochbihler-schneider-traytel2020,
  author        = {Basil F{\"{u}}rer and Andreas Lochbihler and Joshua
                  Schneider and Dmitriy Traytel},
  editor        = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans},
  title         = {Quotients of Bounded Natural Functors},
  booktitle     = {Automated Reasoning - 10th International Joint Conference,
                  {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings,
                  Part {II}},
  series        = {Lecture Notes in Computer Science},
  volume        = {12167},
  pages         = {58--78},
  publisher     = {Springer},
  year          = {2020},
  url           = {https://doi.org/10.1007/978-3-030-51054-1_4},
  doi           = {10.1007/978-3-030-51054-1_4},
  timestamp     = {Mon, 06 Jul 2020 09:05:32 +0200},
  biburl        = {https://dblp.org/rec/conf/cade/FurerLST20.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}

@Article{         fuglede1950,
  author        = {Fuglede, Bent},
  title         = {A commutativity theorem for normal operators},
  journal       = {Proc. Nat. Acad. Sci. U.S.A.},
  fjournal      = {Proceedings of the National Academy of Sciences of the
                  United States of America},
  volume        = {36},
  year          = {1950},
  pages         = {35--40},
  issn          = {0027-8424},
  mrclass       = {46.3X},
  mrnumber      = {32944},
  mrreviewer    = {B.\ R.\ Gelbaum},
  doi           = {10.1073/pnas.36.1.35},
  url           = {https://doi.org/10.1073/pnas.36.1.35}
}

@Book{            fulton2004,
  title         = {Representation theory: a first course},
  author        = {Fulton, William and Harris, Joe},
  year          = {2004},
  publisher     = {Springer}
}

@Article{         furedi-loeb1994,
  author        = {Zolt\'an {F\"uredi} and Peter A. {Loeb}},
  journal       = {{Proc. Am. Math. Soc.}},
  title         = {{On the best constant for the Besicovitch covering
                  theorem}},
  year          = {1994},
  issn          = {0002-9939},
  number        = {4},
  pages         = {1063--1073},
  volume        = {121},
  doi           = {10.2307/2161215},
  fjournal      = {{Proceedings of the American Mathematical Society}},
  language      = {English},
  msc2010       = {28A75 05B40 51M16},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  zbl           = {0802.28002}
}

@Book{            gabriel-zisman-1967,
  author        = {Gabriel, P. and Zisman, M.},
  title         = {Calculus of fractions and homotopy theory},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band
                  35},
  publisher     = {Springer-Verlag New York, Inc., New York},
  year          = {1967},
  pages         = {x+168}
}

@Article{         Gallagher1961,
  author        = {Gallagher, Patrick},
  title         = {Approximation by reduced fractions},
  journal       = {J. Math. Soc. Japan},
  fjournal      = {Journal of the Mathematical Society of Japan},
  volume        = {13},
  year          = {1961},
  pages         = {342--345},
  issn          = {0025-5645},
  mrclass       = {10.30},
  mrnumber      = {133297},
  mrreviewer    = {J. W. S. Cassels},
  doi           = {10.2969/jmsj/01340342},
  url           = {https://doi.org/10.2969/jmsj/01340342}
}

@InProceedings{   Gallier2011Notes,
  title         = {Notes on Differential Geometry and Lie Groups},
  author        = {J. Gallier and J. Quaintance},
  year          = {2011},
  url           = {https://www.cis.upenn.edu/~cis610/diffgeom-n.pdf}
}

@Unpublished{     gartnerMatousek,
  title         = {Cone Programming},
  author        = {B. G{\"{a}}rtner and J. Matousek},
  url           = {https://ti.inf.ethz.ch/ew/lehre/ApproxSDP09/notes/conelp.pdf}
}

@Article{         Geck2017,
  author        = {Geck, Meinolf},
  title         = {On the construction of semisimple {L}ie algebras and
                  {C}hevalley groups},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {145},
  year          = {2017},
  number        = {8},
  pages         = {3233--3247},
  issn          = {0002-9939},
  mrclass       = {17B20 (17B22)},
  mrnumber      = {3652779},
  doi           = {10.1090/proc/13600},
  url           = {https://doi.org/10.1090/proc/13600}
}

@Article{         gerbracht2009,
  title         = {Eleven Unit Distance Embeddings of the Heawood Graph},
  author        = {Eberhard Gerbracht},
  year          = {2009},
  eprint        = {0912.5395},
  archiveprefix = {arXiv},
  primaryclass  = {math.CO},
  url           = {https://arxiv.org/abs/0912.5395}
}

@Article{         ghys87:groupes,
  author        = {Étienne Ghys},
  title         = {Groupes d'homéomorphismes du cercle et cohomologie
                  bornée},
  journal       = {Contemporary Mathematics},
  year          = 1987,
  volume        = 58,
  number        = {III},
  pages         = {81-106},
  doi           = {10.1090/conm/058.3/893858},
  language      = {french}
}

@Article{         gibbons2009,
  title         = {The essence of the Iterator pattern},
  volume        = {19},
  issn          = {0956-7968, 1469-7653},
  url           = {https://www.cambridge.org/core/product/identifier/S0956796809007291/type/journal_article},
  doi           = {10.1017/S0956796809007291},
  language      = {en},
  number        = {3-4},
  urldate       = {2021-10-24},
  journal       = {Journal of Functional Programming},
  author        = {Gibbons, Jeremy and Oliveira, BRUNO C. d. S.},
  month         = jul,
  year          = {2009},
  pages         = {377--402}
}

@Book{            GierzEtAl1980,
  author        = {Gierz, Gerhard and Hofmann, Karl Heinrich and Keimel,
                  Klaus and Lawson, Jimmie D. and Mislove, Michael W. and
                  Scott, Dana S.},
  title         = {A compendium of continuous lattices},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1980},
  pages         = {xx+371},
  isbn          = {3-540-10111-X},
  mrclass       = {06B30 (03G10 30G30 54H12)},
  mrnumber      = {614752},
  mrreviewer    = {James W. Lea, Jr.}
}

@Article{         ginsburg1964,
  title         = {Bounded ALGOL-like languages},
  author        = {Ginsburg, Seymour and Spanier, Edwin H},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {113},
  number        = {2},
  pages         = {333--368},
  year          = {1964},
  publisher     = {JSTOR}
}

@Article{         ginsburg1966,
  title         = {Semigroups, Presburger formulas, and languages},
  author        = {Ginsburg, Seymour and Spanier, Edwin},
  journal       = {Pacific journal of Mathematics},
  volume        = {16},
  number        = {2},
  pages         = {285--296},
  year          = {1966},
  publisher     = {Mathematical Sciences Publishers}
}

@Book{            giraud1971,
  author        = {Giraud, Jean},
  title         = {Cohomologie non ab\'elienne},
  series        = {Die Grundlehren der mathematischen Wissenschaften},
  volume        = {Band 179},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1971},
  pages         = {ix+467},
  mrclass       = {14F20 (14L99 18D30 18F20 55B99 55F65)},
  mrnumber      = {344253}
}

@Article{         gleason1958,
  author        = {Gleason, Andrew M.},
  title         = {Projective topological spaces},
  journal       = {Illinois J. Math.},
  fjournal      = {Illinois Journal of Mathematics},
  volume        = {2},
  year          = {1958},
  pages         = {482--489},
  issn          = {0019-2082},
  mrclass       = {54.00},
  mrnumber      = {121775},
  mrreviewer    = {Dana Scott},
  url           = {http://projecteuclid.org/euclid.ijm/1255454110}
}

@Book{            goerss-jardine-2009,
  author        = {Goerss, Paul G. and Jardine, John F.},
  title         = {Simplicial homotopy theory},
  series        = {Modern Birkh\"{a}user Classics},
  note          = {Reprint of the 1999 edition [MR1711612]},
  publisher     = {Birkh\"{a}user Verlag, Basel},
  year          = {2009},
  pages         = {xvi+510},
  isbn          = {978-3-0346-0188-7},
  mrclass       = {55U10 (18G55)},
  mrnumber      = {2840650},
  doi           = {10.1007/978-3-0346-0189-4}
}

@Book{            goertz-wedhorn-2,
  author        = {G{\"o}rtz, Ulrich and Wedhorn, Torsten},
  title         = {Algebraic geometry {II}: cohomology of schemes. {With}
                  examples and exercises},
  fseries       = {Springer Studium Mathematik -- Master},
  series        = {Springer Stud. Math. -- Master},
  issn          = {2509-9310},
  isbn          = {978-3-658-43030-6; 978-3-658-43031-3},
  year          = {2023},
  publisher     = {Wiesbaden: Springer Spektrum},
  language      = {English},
  doi           = {10.1007/978-3-658-43031-3},
  keywords      = {14-01,14A15,14F10,14F20,14F40,14H55,14K02},
  zbmath        = {7802900}
}

@Misc{            GoodmanStrauss2000,
  title         = {Open Questions in Tiling},
  author        = {Chaim Goodman-Strauss},
  year          = {2000},
  url           = {https://strauss.hosted.uark.edu/papers/survey.pdf}
}

@Book{            Gordon55,
  author        = {Russel A. Gordon},
  title         = {The integrals of Lebesgue, Denjoy, Perron, and Henstock},
  isbn          = {0-8218-3805-9},
  year          = {1955},
  series        = {Graduate Studies in Mathematics},
  volume        = 4,
  publisher     = {American Mathematical Society, Providence, R.I}
}

@Book{            Gorenstein1968,
  title         = {Finite Groups},
  author        = {Gorenstein, Daniel},
  year          = {2007},
  publisher     = {American Mathematical Society},
  series        = {AMS Chelsea Publishing Series},
  volume        = {301},
  isbn          = {978-0-8218-4342-0},
  note          = {Reprint of the 1968 original},
  url           = {https://books.google.com/books?id=hUsMFBMGZqoC}
}

@Book{            gouvea1997,
  author        = {Gouv\^{e}a, Fernando Q.},
  title         = {{$p$}-adic numbers},
  series        = {Universitext},
  edition       = {Second},
  note          = {An introduction},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1997},
  pages         = {vi+298},
  isbn          = {3-540-62911-4},
  mrclass       = {11S80 (11-01 12J25)},
  mrnumber      = {1488696},
  doi           = {10.1007/978-3-642-59058-0},
  url           = {https://doi.org/10.1007/978-3-642-59058-0}
}

@Book{            Graetzer2003,
  author        = {Gr{\"a}tzer, George},
  title         = {General lattice theory. {With} appendices with {B}. {A}.
                  {Davey}, {R}. {Freese}, {B}. {Ganter}, {M}. {Greferath},
                  {P}. {Jipsen}, {H}. {A}. {Priestley}, {H}. {Rose}, {E}.
                  {T}. {Schmidt}, {S}. {E}. {Schmidt}, {F}. {Wehrung} and
                  {R}. {Wille}},
  edition       = {Paperback reprint of the 1998 2nd edition},
  isbn          = {978-3-7643-6996-5},
  year          = {2003},
  publisher     = {Basel: Birkh{\"a}user},
  language      = {English},
  keywords      = {06-02,06Bxx,06Cxx,06Dxx,06Exx},
  zbmath        = {5488086},
  zbl           = {1152.06300}
}

@InBook{          Graham1983,
  author        = "Graham, R. L.",
  editor        = "Bachem, Achim and Korte, Bernhard and Grötschel, Martin",
  title         = "Applications of the FKG Inequality and Its Relatives",
  booktitle     = "Mathematical Programming The State of the Art: Bonn 1982",
  year          = "1983",
  publisher     = "Springer Berlin Heidelberg",
  address       = "Berlin, Heidelberg",
  pages         = "115--131",
  abstract      = "In 1971, C. M. Fortuin, P. W. Kasteleyn and J. Ginibre
                  [FKG] published a remarkable inequality relating certain
                  real functions defined on a finite distributive lattice.
                  This inequality, now generally known as the FKG inequality,
                  arose in connection with these authors' investigations into
                  correlation properties of Ising ferromagnet spin systems
                  and generalized earlier results of Griffiths [Gri] and
                  Harris [Har] (who was studying percolation models). The FKG
                  inequality in turn has stimulated further research in a
                  number of directions, including a variety of interesting
                  generalizations and applications, particularly to
                  statistics, computer science and the theory of partially
                  ordered sets. It turns out that special cases of the FKG
                  inequality can be found in the literature of at least a
                  half dozen different fields, and in some sense can be
                  traced all the way back to work of Chebyshev.",
  isbn          = "978-3-642-68874-4",
  doi           = "10.1007/978-3-642-68874-4_6",
  url           = "https://doi.org/10.1007/978-3-642-68874-4_6"
}

@InBook{          Gran2021,
  author        = {Gran, Marino},
  editor        = {Clementino, Maria Manuel and Facchini, Alberto and Gran,
                  Marino},
  title         = {An Introduction to Regular Categories},
  booktitle     = {New Perspectives in Algebra, Topology and Categories:
                  Summer School, Louvain-la-Neuve, Belgium, September 12-15,
                  2018 and September 11-14, 2019},
  year          = {2021},
  publisher     = {Springer International Publishing},
  address       = {Cham},
  pages         = {113--145},
  abstract      = {This paper provides a short introduction to the notion of
                  regular category and its use in categorical algebra. We
                  first prove some of its basic properties, and consider some
                  fundamental algebraic examples. We then analyse the
                  algebraic properties of the categories satisfying the
                  additional Mal'tsev axiom, and then the weaker Goursat
                  axiom. These latter contexts can be seen as the categorical
                  counterparts of the properties of 2-permutability and of
                  3-permutability of congruences in universal algebra.
                  Mal'tsev and Goursat categories have been intensively
                  studied in the last years: we present here some of their
                  basic properties, which are useful to read more advanced
                  texts in categorical algebra.},
  isbn          = {978-3-030-84319-9},
  doi           = {10.1007/978-3-030-84319-9_4},
  url           = {https://doi.org/10.1007/978-3-030-84319-9_4}
}

@Book{            Gratzer2011,
  author        = {Gr{\"a}tzer, George},
  title         = {Lattice Theory: Foundation},
  year          = {2011},
  publisher     = {Springer, Basel},
  pages         = {xxx+614},
  isbn          = {978-3-0348-0018-1},
  doi           = {10.1007/978-3-0348-0018-1},
  mrnumber      = {2768581}
}

@Article{         GreenfeldTao2024,
  author        = {Greenfeld, Rachel and Tao, Terence},
  title         = {A counterexample to the periodic tiling conjecture},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {200},
  year          = {2024},
  number        = {1},
  pages         = {301--363},
  issn          = {0003-486X},
  mrclass       = {52C22 (05B40 52C23)},
  mrnumber      = {4768420},
  doi           = {10.4007/annals.2024.200.1.5}
}

@Article{         Grillet-1969a,
  author        = {Grillet, Pierre-Antoine},
  title         = {The Tensor Product of Semigroups},
  year          = {1969},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {138},
  pages         = {267--280},
  issn          = {0002-9947, 1088-6850},
  doi           = {10.1090/S0002-9947-1969-0237687-X}
}

@Article{         Grillet-1969b,
  author        = {Grillet, Pierre-Antoine},
  title         = {The Tensor Product of Commutative Semigroups},
  year          = {1969},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {138},
  pages         = {281--293},
  issn          = {0002-9947, 1088-6850},
  doi           = {10.1090/S0002-9947-1969-0237688-1}
}

@Unpublished{     grinberg_clifford_2016,
  title         = {The {Clifford} algebra and the {Chevalley} map- a
                  computational approach (summary version 1)},
  url           = {http://mit.edu/~darij/www/algebra/chevalleys.pdf},
  author        = {Grinberg, D.},
  month         = jun,
  year          = {2016}
}

@Article{         Gronwall_1919,
  author        = {Gronwall, T. H.},
  title         = {Note on the derivatives with respect to a parameter of the
                  solutions of a system of differential equations},
  journal       = {Annals of Mathematics. Second Series},
  volume        = {20},
  number        = {4},
  year          = {1919},
  pages         = {292--296},
  doi           = {10.2307/1967124},
  url           = {https://doi.org/10.2307/1967124}
}

@Article{         grothendieck-1957,
  author        = {Grothendieck, Alexander},
  title         = {Sur quelques points d'alg\`ebre homologique},
  journal       = {Tohoku Math. J. (2)},
  fjournal      = {The Tohoku Mathematical Journal. Second Series},
  volume        = {9},
  year          = {1957},
  pages         = {119--221},
  issn          = {0040-8735,2186-585X},
  mrclass       = {18.00},
  mrnumber      = {102537},
  doi           = {10.2748/tmj/1178244839},
  url           = {https://doi.org/10.2748/tmj/1178244839}
}

@Article{         grothendieck-1971,
  author        = {Grothendieck, Alexander and Dieudonn\'{e}, Jean},
  title         = {\'{E}l\'{e}ments de g\'{e}om\'{e}trie alg\'{e}brique: I.
                  Le langage des sch\'{e}mas},
  journal       = {Grundlehren der Mathematischen Wissenschaften},
  volume        = {166},
  year          = {1971},
  publisher     = {Springer-Verlag New York},
  isbn          = {978-3-540-05113-8}
}

@Book{            GrunbaumShephard1987,
  author        = {Gr\"{u}nbaum, Branko and Shephard, G. C.},
  title         = {Tilings and patterns},
  publisher     = {W. H. Freeman and Company, New York},
  year          = {1987},
  pages         = {xii+700},
  isbn          = {0-7167-1193-1},
  mrclass       = {52A45 (03B25 03D20 05B45 20H15)},
  mrnumber      = {857454},
  mrreviewer    = {H.\ S. M. Coxeter}
}

@Article{         Guitart1980,
  author        = {Guitart, Ren\'{e}},
  tilte         = {Relations et carr\'{e}s exacts},
  journal       = {Ann. Sci. Math. Qu\'{e}bec},
  fjournal      = {Annales des Sciences Math\'{e}matiques du Qu\'{e}bec},
  volume        = {4},
  year          = {1980},
  number        = {2},
  pages         = {103--125},
  issn          = {0707-9109},
  mrclass       = {18A99 (18D99 18E99)},
  mrnumber      = {599050},
  mrreviewer    = {Marta\ C.\ Bunge}
}

@Book{            gunter1992,
  title         = {Semantics of Programming Languages: Structures and
                  Techniques},
  isbn          = {0262570955},
  publisher     = {MIT Press},
  author        = {Gunter, Carl A.},
  year          = {1992}
}

@Article{         Gusakov2021,
  author        = {Alena Gusakov and Bhavik Mehta and Kyle A. Miller},
  title         = {Formalizing Hall's Marriage Theorem in Lean},
  eprint        = {2101.00127},
  eprintclass   = {math.CO},
  eprinttype    = {arXiv},
  keywords      = {math.CO, cs.LO, 05-04 (Primary) 05C70, 68R05 (Secondary)}
}

@Article{         hairer2009introduction,
  title         = {An introduction to stochastic PDEs},
  author        = {Hairer, Martin},
  journal       = {arXiv preprint arXiv:0907.4178},
  year          = {2009}
}

@Article{         Hall1935,
  author        = {P. Hall},
  journal       = {Journal of the London Mathematical Society},
  title         = {On Representatives of Subsets},
  year          = {1935},
  month         = {jan},
  number        = {1},
  pages         = {26--30},
  volume        = {s1-10},
  doi           = {10.1112/jlms/s1-10.37.26},
  publisher     = {Wiley}
}

@Book{            halmos1950measure,
  author        = {Halmos, Paul R},
  title         = {Measure theory},
  publisher     = {Springer-Verlag New York},
  year          = 1950,
  isbn          = {978-1-4684-9440-2},
  doi           = {10.1007/978-1-4684-9440-2}
}

@Book{            halmos2013measure,
  title         = {Measure theory},
  author        = {Halmos, Paul R},
  volume        = {18},
  year          = {1950},
  publisher     = {Springer},
  isbn          = {0-387-90088-8}
}

@Article{         Halpern1966,
  author        = {Halpern, James D.},
  journal       = {Proc. Amer. Math. Soc.},
  title         = {Bases in vector spaces and the axiom of choice},
  year          = {1966},
  issn          = {0002-9939},
  pages         = {670--673},
  volume        = {17},
  doi           = {10.2307/2035388},
  fjournal      = {Proceedings of the American Mathematical Society},
  mrclass       = {04.00},
  mrnumber      = {194340},
  mrreviewer    = {Ivan Singer}
}

@Book{            hancheolsenstormer1984,
  author        = {Harald {Hanche-Olsen} and Erling {St{\o}rmer}},
  title         = {{Jordan operator algebras}},
  fjournal      = {{Monographs and Studies in Mathematics}},
  journal       = {{Monogr. Stud. Math.}},
  volume        = {21},
  year          = {1984},
  publisher     = {Pitman, Boston, MA},
  language      = {English},
  msc2010       = {46L99 46L05 17C65 46-02},
  zbl           = {0561.46031}
}

@Book{            har77,
  author        = {Hartshorne, Robin},
  title         = {Algebraic geometry},
  note          = {Graduate Texts in Mathematics, No. 52},
  publisher     = {Springer-Verlag, New York-Heidelberg},
  year          = {1977},
  pages         = {xvi+496},
  isbn          = {0-387-90244-9},
  mrclass       = {14-01},
  mrnumber      = {0463157},
  mrreviewer    = {Robert Speiser}
}

@Book{            hardy2008introduction,
  title         = {An Introduction to the Theory of Numbers},
  author        = {Hardy, GH and Wright, EM and Heath-Brown, Roger and
                  Silverman, Joseph},
  year          = {2008},
  publisher     = {Oxford University Press}
}

@Article{         hardyweierstrass,
  issn          = {00029947, 10886850},
  url           = {http://www.jstor.org/stable/1989005},
  author        = {G. H. Hardy},
  journal       = {Transactions of the American Mathematical Society},
  number        = {3},
  pages         = {301--325},
  publisher     = {American Mathematical Society},
  title         = {Weierstrass's Non-Differentiable Function},
  urldate       = {2025-12-16},
  volume        = {17},
  year          = {1916}
}

@Book{            harmandwernerwerner1993,
  author        = {Peter {Harmand} and Dirk {Werner} and Wend {Werner}},
  title         = {{\(M\)-ideals in Banach spaces and Banach algebras}},
  fjournal      = {{Lecture Notes in Mathematics}},
  journal       = {{Lect. Notes Math.}},
  issn          = {0075-8434},
  volume        = {1547},
  isbn          = {3-540-56814-X},
  pages         = {viii + 387},
  year          = {1993},
  publisher     = {Berlin: Springer-Verlag},
  language      = {English},
  doi           = {10.1007/BFb0084355},
  msc2010       = {46B20 46B25 46B22 46-02 46B28},
  zbl           = {0789.46011}
}

@Book{            hartshorne61,
  author        = {Hartshorne, Robin},
  title         = {Local cohomology},
  series        = {Lecture Notes in Mathematics, No. 41},
  note          = {A seminar given by A. Grothendieck, Harvard University,
                  Fall, 1961},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1967},
  pages         = {vi+106},
  mrclass       = {14.55 (18.00)},
  mrnumber      = {0224620},
  mrreviewer    = {F. Oort}
}

@Article{         haruoyoshiohidetoki2006,
  author        = {Yanai, Haruo and Takane, Yoshio and Ishii, Hidetoki},
  title         = {Nonnegative determinant of a rectangular matrix: {Its}
                  definition and applications to multivariate analysis},
  fjournal      = {Linear Algebra and its Applications},
  journal       = {Linear Algebra Appl.},
  issn          = {0024-3795},
  volume        = {417},
  number        = {1},
  pages         = {259--274},
  year          = {2006},
  language      = {English},
  doi           = {10.1016/j.laa.2005.10.022},
  keywords      = {15A15,62H20},
  zbmath        = {5044090},
  zbl           = {1105.15008}
}

@Book{            hatcher02,
  author        = {Hatcher, Allen},
  title         = {Algebraic topology},
  isbn          = {0-521-79540-0},
  year          = {2002},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  keywords      = {55-01,55Nxx,55Pxx,55Qxx},
  zbmath        = {2103273},
  zbl           = {1044.55001}
}

@Article{         hausnerwendel1952,
  author        = {Hausner, M. and Wendel, J. G.},
  title         = {Ordered vector spaces},
  journal       = {Proc. Amer. Math. Soc.},
  fjournal      = {Proceedings of the American Mathematical Society},
  volume        = {3},
  year          = {1952},
  pages         = {977--982},
  issn          = {0002-9939},
  mrclass       = {46.3X},
  mrnumber      = {52045},
  mrreviewer    = {I. Halperin},
  doi           = {10.2307/2031746},
  url           = {https://doi.org/10.2307/2031746}
}

@Article{         Haze09,
  title         = {Witt vectors. Part 1},
  isbn          = {9780444532572},
  issn          = {1570-7954},
  url           = {http://dx.doi.org/10.1016/S1570-7954(08)00207-6},
  doi           = {10.1016/s1570-7954(08)00207-6},
  journal       = {Handbook of Algebra},
  publisher     = {Elsevier},
  author        = {Hazewinkel, Michiel},
  year          = {2009},
  pages         = {319–472}
}

@Book{            hazewinkel1978,
  title         = {Formal {G}roups and {A}pplications},
  author        = {Hazewinkel, Michiel},
  series        = {Pure and Applied Mathematics},
  volume        = {78},
  publisher     = {Academic Press, Inc.},
  address       = {New York-London},
  year          = {1978},
  pages         = {xxii+573},
  isbn          = {0-12-335150-2},
  mrnumber      = {506881},
  zbl           = {0454.14020}
}

@Misc{            heathbrown2002lecturessieves,
  title         = {Lectures on sieves},
  author        = {D. R. Heath-Brown},
  year          = {2002},
  eprint        = {math/0209360},
  archiveprefix = {arXiv},
  primaryclass  = {math.NT},
  url           = {https://arxiv.org/abs/math/0209360}
}

@Book{            heinonen2001,
  author        = {Heinonen, Juha},
  title         = {Lectures on analysis on metric spaces},
  series        = {Universitext},
  publisher     = {Springer-Verlag, New York},
  year          = {2001},
  pages         = {x+140},
  isbn          = {0-387-95104-0},
  mrclass       = {30C65 (28A75 28A78 46E35)},
  mrnumber      = {1800917},
  mrreviewer    = {Christopher\ Bishop},
  doi           = {10.1007/978-1-4613-0131-8},
  url           = {https://doi.org/10.1007/978-1-4613-0131-8}
}

@Article{         henriksen_et_al1997,
  author        = {Henriksen, M. and Kopperman, R. and Mack, J. and Somerset,
                  D. W. B.},
  title         = {Joincompact spaces, continuous lattices and
                  {{\(C^*\)}}-algebras},
  fjournal      = {Algebra Universalis},
  journal       = {Algebra Univers.},
  issn          = {0002-5240},
  volume        = {38},
  number        = {3},
  pages         = {289--323},
  year          = {1997},
  language      = {English},
  doi           = {10.1007/s000120050056},
  keywords      = {54A05,06B35,46L05,54C05,54D30,54E55},
  zbmath        = {1407078},
  zbl           = {0933.54002}
}

@Article{         Higman52,
  author        = {Higman, Graham},
  title         = {Ordering by Divisibility in Abstract Algebras},
  journal       = {Proceedings of the London Mathematical Society},
  volume        = {s3-2},
  number        = {1},
  pages         = {326-336},
  doi           = {https://doi.org/10.1112/plms/s3-2.1.326},
  year          = {1952}
}

@Book{            hindrysilverman00,
  author        = {Hindry, Marc and Silverman, Joseph H.},
  title         = {Diophantine geometry},
  series        = {Graduate Texts in Mathematics},
  volume        = {201},
  note          = {An introduction},
  publisher     = {Springer-Verlag, New York},
  year          = {2000},
  pages         = {xiv+558}
}

@Unpublished{     hochsterunpublished,
  title         = {Local cohomology},
  author        = {Hochster, Mel},
  url           = {https://dept.math.lsa.umich.edu/~hochster/615W11/loc.pdf}
}

@Book{            Hodges97,
  author        = {Hodges, Wilfrid},
  title         = {A Shorter Model Theory},
  year          = {1997},
  isbn          = {0521587131},
  publisher     = {Cambridge University Press},
  address       = {USA}
}

@Book{            Hofstadter-1979,
  author        = "Douglas R Hofstadter",
  title         = "{{G}ödel, {E}scher, {B}ach: an eternal golden braid}",
  publisher     = "Basic Books",
  address       = "New York, NY",
  series        = "Penguin books",
  year          = "1979"
}

@Article{         hollom2025,
  title         = {A resolution of the Aharoni-Korman conjecture},
  author        = {Lawrence Hollom},
  year          = {2025},
  eprint        = {2411.16844},
  archiveprefix = {arXiv},
  primaryclass  = {math.CO},
  url           = {https://arxiv.org/abs/2411.16844}
}

@Book{            HoltReesRover2017,
  author        = {Holt, Derek F. and Rees, Sarah and R\"over, Claas E.},
  title         = {Groups, languages and automata},
  series        = {London Mathematical Society Student Texts},
  volume        = {88},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2017},
  pages         = {xi+294},
  isbn          = {978-1-107-15235-9; 978-1-316-60652-0},
  doi           = {10.1017/9781316588246}
}

@Article{         hong2014,
  title         = {On the Euclidean dimension of graphs},
  author        = {Jin Hyup Hong and Dan Ismailescu},
  year          = {2014},
  eprint        = {1501.00204},
  archiveprefix = {arXiv},
  primaryclass  = {math.MG},
  url           = {https://arxiv.org/abs/1501.00204}
}

@Article{         hovey-2001,
  author        = {Hovey, Mark},
  title         = {Model category structures on chain complexes of sheaves},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {353},
  year          = {2001},
  number        = {6},
  pages         = {2441--2457},
  issn          = {0002-9947,1088-6850},
  mrclass       = {18F20 (14F05 18E15 18E30 55U35)},
  mrnumber      = {1814077},
  doi           = {10.1090/S0002-9947-01-02721-0},
  url           = {https://doi.org/10.1090/S0002-9947-01-02721-0}
}

@Misc{            howard,
  title         = {Second Order Elliptic PDE: The Lax-Milgram Theorem},
  url           = {https://www.math.tamu.edu/~phoward/m612/s20/elliptic2.pdf},
  journal       = {M612: Partial Differential Equations},
  author        = {Howard, Peter}
}

@Book{            hua1982house,
  author        = {Hua, Loo-Keng},
  publisher     = {Springer},
  title         = {Introduction to Number Theory},
  year          = {1982},
  pages         = {489}
}

@Book{            HubbardWest-ode,
  author        = {John H. Hubbard and Beverly H. West},
  title         = {Differential Equations: A Dynamical Systems Approach},
  subtitle      = {Ordinary Differential Equations},
  year          = {1991},
  publisher     = {Springer},
  location      = {New York},
  volume        = {5},
  isbn          = {978-1-4612-8693-6},
  doi           = {10.1007/978-1-4612-4192-8},
  pages         = {XX, 350}
}

@Book{            humphreys1972,
  author        = {Humphreys, James E.},
  title         = {Introduction to {L}ie algebras and representation theory},
  series        = {Graduate Texts in Mathematics, Vol. 9},
  publisher     = {Springer-Verlag, New York-Berlin},
  year          = {1972},
  pages         = {xii+169},
  mrclass       = {17BXX},
  mrnumber      = {323842}
}

@Article{         huneke2002,
  author        = {Huneke, Craig},
  title         = {The Friendship Theorem},
  publisher     = {Mathematical Association of America},
  year          = {2002},
  pages         = {192--194},
  journal       = {The American Mathematical Monthly},
  issn          = {00029890, 19300972},
  volume        = {109},
  number        = {2},
  doi           = {10.1080/00029890.2002.11919853},
  url           = {https://doi.org/10.1080/00029890.2002.11919853}
}

@InProceedings{   hyman1973,
  author        = "Bass, Hyman",
  editor        = "Bass, Hyman",
  title         = "Unitary algebraic K-theory",
  booktitle     = "Hermitian K-Theory and Geometric Applications",
  year          = "1973",
  publisher     = "Springer Berlin Heidelberg",
  address       = "Berlin, Heidelberg",
  pages         = "57--265",
  isbn          = "978-3-540-37773-3"
}

@Book{            Hytonen_VanNeerven_Veraar_Wies_2016,
  author        = {Hytönen, Tuomas and Van Neerven, Jan and Veraar, Mark and
                  Weis, Lutz},
  title         = {Analysis in Banach spaces},
  series        = {A Series of Modern Surveys in Mathematics},
  publisher     = {Springer Cham},
  year          = {2016},
  pages         = {xvii+614},
  isbn          = {978-3-319-48520-1},
  doi           = {10.1007/978-3-319-48520-1},
  url           = {https://doi.org/10.1007/978-3-319-48520-1}
}

@Book{            iordanescu2003,
  author        = {Radu {Iord\u{a}nescu}},
  title         = {{Jordan structures in geometry and physics. With an
                  appendix on Jordan structures in analysis}},
  isbn          = {973-27-0956-1},
  pages         = {201},
  year          = {2003},
  publisher     = {Bucharest: Editura Academiei Rom\^ane},
  language      = {English},
  msc2010       = {17C50 17-02 17C65 32M15 35Q58 51A35 53C35 46H70 46K70
                  81R12 81R50},
  zbl           = {1073.17014}
}

@Book{            IrelandRosen1990,
  author        = {Ireland, Kenneth and Rosen, Michael},
  title         = {A classical introduction to modern number theory},
  series        = {Graduate Texts in Mathematics},
  volume        = {84},
  edition       = {Second},
  publisher     = {Springer-Verlag, New York},
  year          = {1990},
  pages         = {xiv+389},
  isbn          = {0-387-97329-X},
  doi           = {10.1007/978-1-4757-2103-4},
  url           = {https://doi.org/10.1007/978-1-4757-2103-4}
}

@Article{         Isaacs1980,
  author        = {Isaacs, I. M.},
  title         = {Roots of Polynomials in Algebraic Extensions of Fields},
  publisher     = {Taylor \& Francis},
  year          = {1980},
  pages         = {543--544},
  journal       = {The American Mathematical Monthly},
  volume        = {87},
  number        = {7},
  doi           = {10.1080/00029890.1980.11995085},
  url           = {https://doi.org/10.1080/00029890.1980.11995085}
}

@Book{            iversen,
  title         = {Generic Local Structure of the Morphisms in Commutative
                  Algebra},
  author        = {Birger Iversen},
  series        = {Lecture Notes in Mathematics},
  volume        = {310},
  year          = {2006},
  publisher     = {Springer Berlin, Heidelberg},
  doi           = {10.1007/BFb0060790},
  isbn          = {978-3-540-06137-3}
}

@Book{            iyengaretal07,
  author        = {Iyengar, Srikanth B. and Leuschke, Graham J. and Leykin,
                  Anton and Miller, Claudia and Miller, Ezra and Singh,
                  Anurag K. and Walther, Uli},
  title         = {Twenty-four hours of local cohomology},
  series        = {Graduate Studies in Mathematics},
  volume        = {87},
  publisher     = {American Mathematical Society, Providence, RI},
  year          = {2007},
  pages         = {xviii+282},
  isbn          = {978-0-8218-4126-6},
  mrclass       = {13D45 (14B15 55N30)},
  doi           = {10.1090/gsm/087},
  url           = {https://doi-org.www2.lib.ku.edu/10.1090/gsm/087}
}

@Article{         izhakian2016,
  title         = {Supertropical quadratic forms I},
  journal       = {Journal of Pure and Applied Algebra},
  volume        = {220},
  number        = {1},
  pages         = {61-93},
  year          = {2016},
  issn          = {0022-4049},
  doi           = {10.1016/j.jpaa.2015.05.043},
  url           = {https://www.sciencedirect.com/science/article/pii/S0022404915001589},
  author        = {Zur Izhakian and Manfred Knebusch and Louis Rowen}
}

@Book{            Jacobson1956,
  author        = {Jacobson, Nathan},
  title         = {Structure of rings},
  fseries       = {Colloquium Publications. American Mathematical Society},
  series        = {Colloq. Publ., Am. Math. Soc.},
  issn          = {0065-9258},
  volume        = {37},
  year          = {1956},
  publisher     = {American Mathematical Society (AMS), Providence, RI},
  language      = {English},
  keywords      = {16-02},
  zbmath        = {3121681},
  zbl           = {0073.02002}
}

@Book{            jacobson1974,
  author        = {Jacobson, Nathan},
  title         = {Basic algebra. {I}},
  publisher     = {W. H. Freeman and Co., San Francisco, CA},
  year          = {1974},
  pages         = {xvi+472},
  mrclass       = {00A05},
  mrnumber      = {356989},
  mrreviewer    = {M.\ F.\ Smiley}
}

@Book{            jacobson1989,
  author        = {Jacobson, Nathan},
  title         = {Basic algebra. {II}},
  edition       = {Second},
  publisher     = {W. H. Freeman and Company, New York},
  year          = {1989},
  pages         = {xviii+686},
  isbn          = {0-7167-1933-9},
  mrclass       = {00A05 (12-01 15-01 16-01)},
  mrnumber      = {1009787},
  mrreviewer    = {P.\ M.\ Cohn}
}

@Book{            james1999,
  author        = {James, Ioan},
  title         = {Topologies and uniformities},
  series        = {Springer Undergraduate Mathematics Series},
  note          = {Revised version of {{\i}t Topological and uniform spaces}
                  [Springer, New York, 1987; MR0884154 (89b:54001)]},
  publisher     = {Springer-Verlag London, Ltd., London},
  year          = {1999},
  pages         = {xvi+230},
  isbn          = {1-85233-061-9},
  mrclass       = {54-01 (54A05 54E15)},
  mrnumber      = {1687407},
  mrreviewer    = {Hans-Peter A. K\"{u}nzi},
  doi           = {10.1007/978-1-4471-3994-2},
  url           = {https://doi.org/10.1007/978-1-4471-3994-2}
}

@Article{         JanelidzeKelly2001,
  author        = {Janelidze, G. and Kelly, G.M.},
  journal       = {Theory and Applications of Categories [electronic only]},
  keywords      = {monad; enriched category; monoidal category},
  language      = {eng},
  pages         = {61-91},
  publisher     = {Mount Allison University, Department of Mathematics and
                  Computer Science, Sackville},
  title         = {A note on actions of a monoidal category.},
  url           = {http://eudml.org/doc/122510},
  volume        = {9},
  year          = {2001}
}

@Book{            Janich1984,
  title         = {Topology},
  author        = {J{\"a}nich, K. and Levy, S.},
  isbn          = {9783540908920},
  lccn          = {96206939},
  series        = {Lecture notes in mathematics, 1060},
  url           = {https://books.google.de/books?id=3eaFHAAACAAJ},
  year          = {1984},
  publisher     = {Springer-Verlag}
}

@Article{         jardine-1987,
  author        = {Jardine, J. F.},
  title         = {Simplicial presheaves},
  journal       = {J. Pure Appl. Algebra},
  fjournal      = {Journal of Pure and Applied Algebra},
  volume        = {47},
  year          = {1987},
  number        = {1},
  pages         = {35--87},
  issn          = {0022-4049,1873-1376},
  mrclass       = {18F10 (18B25 18F20 18F25 19D99)},
  mrnumber      = {906403},
  doi           = {10.1016/0022-4049(87)90100-9},
  url           = {https://doi.org/10.1016/0022-4049(87)90100-9}
}

@Article{         jardine-2004,
  author        = {Jardine, J. F.},
  title         = {Simplicial approximation},
  journal       = {Theory Appl. Categ.},
  fjournal      = {Theory and Applications of Categories},
  volume        = {12},
  year          = {2004},
  pages         = {No. 2, 34--72},
  issn          = {1201-561X},
  mrclass       = {55U10 (18G30 55U35)},
  mrnumber      = {2056093}
}

@Article{         Jordan1935,
  title         = "On inner products in linear, metric spaces",
  author        = "Jordan, P. and von Neumann, J.",
  fjournal      = {{Annals of Mathematics}},
  journal       = "Ann. Math.",
  volume        = 36,
  number        = 3,
  pages         = "719-723",
  month         = jul,
  year          = 1935,
  url           = "http://www.mathematik.uni-muenchen.de/~michel/jordan-von_neumann_-_parallelogram_identity.pdf",
  doi           = {10.2307/1968653}
}

@Article{         joyal1977,
  author        = {André Joyal},
  title         = {Remarques sur la théorie des jeux à deux personnes},
  journal       = {Gazette des Sciences Mathematiques du Québec},
  volume        = {1},
  number        = {4},
  pages         = {46--52},
  year          = {1977},
  note          = {(English translation at
                  https://bosker.files.wordpress.com/2010/12/joyal-games.pdf)}
}

@Misc{            Joyal_Street,
  title         = {Braided monoidal categories},
  author        = {Andr{\'e} Joyal and Ross H. Street},
  year          = {1986},
  note          = {Mathematics Reports 860081, Macquarie University},
  url           = {http://maths.mq.edu.au/~street/JS1.pdf}
}

@Article{         Joyce1982,
  author        = {David Joyce},
  title         = {A classifying invariant of knots, the knot quandle},
  journal       = {Journal of Pure and Applied Algebra},
  year          = {1982},
  volume        = {23},
  number        = {1},
  month         = {1},
  pages         = {37--65},
  doi           = {10.1016/0022-4049(82)90077-9},
  publisher     = {Elsevier {BV}}
}

@Book{            juskevic2022,
  author        = {Ju{\v{s}}kevi{\v{c}}, Adolf P and Winter, Eduard},
  title         = {Leonhard Euler und Christian Goldbach: Briefwechsel
                  1729--1764},
  year          = {2022},
  publisher     = {Walter de Gruyter GmbH \& Co KG}
}

@Article{         KahnMaltsiniotis2008,
  author        = {Kahn, Bruno and Maltsiniotis, Georges},
  title         = {Structures de d\'{e}rivabilit\'{e}},
  journal       = {Adv. Math.},
  fjournal      = {Advances in Mathematics},
  volume        = {218},
  year          = {2008},
  number        = {4},
  pages         = {1286--1318},
  issn          = {0001-8708,1090-2082},
  mrclass       = {18G55 (18A40 18E25 18E35 18G10 55P60 55U35)},
  mrnumber      = {2419385},
  mrreviewer    = {Simona\ Paoli},
  doi           = {10.1016/j.aim.2008.03.010},
  url           = {https://doi.org/10.1016/j.aim.2008.03.010}
}

@Book{            kallenberg2017,
  title         = {Random Measures, Theory and Applications},
  author        = {Kallenberg, Olav},
  series        = {Probability Theory and Stochastic Modelling},
  volume        = {77},
  year          = {2017},
  publisher     = {Springer},
  doi           = {10.1007/978-3-319-41598-7},
  url           = {https://doi.org/10.1007/978-3-319-41598-7}
}

@Book{            kallenberg2021,
  author        = {Kallenberg, Olav},
  title         = {Foundations of modern probability},
  series        = {Probability Theory and Stochastic Modelling},
  volume        = {99},
  publisher     = {Springer Nature Switzerland},
  edition       = {Third Edition},
  year          = {2021},
  pages         = {193},
  isbn          = {978-3-030-61870-4; 978-3-030-61871-1},
  doi           = {10.1007/978-3-030-61871-1},
  url           = {https://doi.org/10.1007/978-3-030-61871-1}
}

@Article{         kaplansky_topological_1947,
  author        = {Kaplansky, Irving},
  title         = {Topological {Rings}},
  journal       = {American Journal of Mathematics},
  volume        = {69},
  number        = {1},
  year          = {1947},
  pages         = {153--183},
  publisher     = {Johns Hopkins University Press},
  issn          = {0002-9327},
  url           = {https://www.jstor.org/stable/2371662},
  doi           = {10.2307/2371662}
}

@Article{         Karner2004,
  author        = {Karner, Georg},
  title         = {Continuous monoids and semirings},
  fjournal      = {Theoretical Computer Science},
  journal       = {Theor. Comput. Sci.},
  issn          = {0304-3975},
  volume        = {318},
  number        = {3},
  pages         = {355--372},
  year          = {2004},
  language      = {English},
  doi           = {10.1016/j.tcs.2004.01.020},
  keywords      = {68Q55,16Y60,06F05,06B35},
  zbmath        = {2085476},
  zbl           = {1068.68079}
}

@Book{            Kashiwara2006,
  doi           = {10.1007/3-540-27950-4},
  url           = {https://doi.org/10.1007/3-540-27950-4},
  year          = {2006},
  publisher     = {Springer Berlin Heidelberg},
  author        = {Masaki Kashiwara and Pierre Schapira},
  title         = {Categories and Sheaves}
}

@Book{            Kassel1995,
  author        = {Kassel, Christian},
  title         = {Quantum groups},
  series        = {Graduate Texts in Mathematics},
  volume        = {155},
  publisher     = {Springer-Verlag, New York},
  year          = {1995},
  pages         = {xii+531},
  isbn          = {0-387-94370-6},
  mrclass       = {17B37 (16W30 18D10 20F36 57M25 81R50)},
  mrnumber      = {1321145},
  mrreviewer    = {Yu.\ N.\ Bespalov},
  doi           = {10.1007/978-1-4612-0783-2},
  url           = {https://doi.org/10.1007/978-1-4612-0783-2}
}

@Article{         Katsov2004,
  author        = {Katsov, Y.},
  title         = {On flat semimodules over semirings},
  journal       = {Algebra Universalis},
  year          = {2004},
  month         = {Aug},
  day           = {01},
  volume        = {51},
  number        = {2},
  pages         = {287-299},
  issn          = {1420-8911},
  doi           = {10.1007/s00012-004-1865-1},
  url           = {https://doi.org/10.1007/s00012-004-1865-1}
}

@Article{         KatsovNam2011,
  author        = {Katsov, Y. and Nam, T. G.},
  title         = {Morita equivalence and homological characterization of
                  semirings},
  journal       = {Journal of Algebra and Its Applications},
  volume        = {10},
  number        = {03},
  pages         = {445-473},
  year          = {2011},
  doi           = {10.1142/S0219498811004793},
  url           = {https://doi.org/10.1142/S0219498811004793}
}

@Book{            katz_mazur,
  author        = {Katz, Nicholas M. and Mazur, Barry},
  title         = {Arithmetic moduli of elliptic curves},
  series        = {Annals of Mathematics Studies},
  volume        = {108},
  publisher     = {Princeton University Press, Princeton, NJ},
  year          = {1985},
  pages         = {xiv+514},
  isbn          = {0-691-08349-5; 0-691-08352-5},
  mrclass       = {11G05 (11F11 14G25 14K15)},
  mrnumber      = {772569},
  mrreviewer    = {Kenneth A. Ribet},
  doi           = {10.1515/9781400881710},
  url           = {https://doi.org/10.1515/9781400881710}
}

@Book{            kaye1991,
  author        = {Richard Kaye},
  publisher     = {Clarendon Press},
  title         = {Models of Peano Arithmetic},
  year          = {1991}
}

@Book{            kechris1995,
  author        = {Kechris, Alexander S.},
  title         = {Classical descriptive set theory},
  series        = {Graduate Texts in Mathematics},
  volume        = {156},
  publisher     = {Springer-Verlag, New York},
  year          = {1995},
  pages         = {xviii+402},
  isbn          = {0-387-94374-9},
  mrclass       = {03E15 (03-01 03-02 04A15 28A05 54H05 90D44)},
  mrnumber      = {1321597},
  mrreviewer    = {Jakub Jasi\'{n}ski},
  doi           = {10.1007/978-1-4612-4190-4},
  url           = {https://doi.org/10.1007/978-1-4612-4190-4}
}

@Article{         kelleyVaught1953,
  author        = {Kelley, J. L. and Vaught, R. L.},
  title         = {The positive cone in {Banach} algebras},
  journal       = {Trans. Am. Math. Soc.},
  issn          = {0002-9947},
  volume        = {74},
  pages         = {44--55},
  year          = {1953},
  language      = {English},
  doi           = {10.2307/1990847}
}

@Article{         kelly2005,
  author        = {Kelly, G. M.},
  title         = {Basic concepts of enriched category theory},
  journal       = {Repr. Theory Appl. Categ.},
  volume        = {10},
  pages         = {vi+137 pp.},
  year          = {2005},
  language      = {English}
}

@Article{         kleiman1979,
  author        = {Kleiman, Steven Lawrence},
  title         = {Misconceptions about {$K_X$}},
  journal       = {Enseign. Math. (2)},
  volume        = {25},
  year          = {1979},
  number        = {3-4},
  pages         = {203--206},
  url           = {http://dx.doi.org/10.5169/seals-50379}
}

@Article{         kleitman1966,
  author        = {Kleitman, D. J.},
  title         = {Families of non-disjoint subsets},
  journal       = {J. Comb. Theory},
  fjournal      = {Journal of Combinatorial Theory},
  issn          = {0097-3165},
  volume        = {1},
  year          = {1966},
  pages         = {153--155},
  language      = {English},
  doi           = {10.1016/S0021-9800(66)80012-1},
  zbl           = {0141.00801}
}

@Article{         Komiya-1988,
  title         = {Elementary proof for {{Sion}}'s minimax theorem},
  author        = {Komiya, Hidetoshi},
  year          = 1988,
  journal       = {Kodai Mathematical Journal},
  volume        = {11},
  number        = {1},
  issn          = {0386-5991},
  doi           = {10.2996/kmj/1138038812}
}

@Article{         KoukoulopoulosMaynard2020,
  author        = {Koukoulopoulos, Dimitris and Maynard, James},
  title         = {On the {D}uffin-{S}chaeffer conjecture},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {192},
  year          = {2020},
  number        = {1},
  pages         = {251--307},
  issn          = {0003-486X},
  mrclass       = {11J83 (05C40)},
  mrnumber      = {4125453},
  mrreviewer    = {Sam Chow},
  doi           = {10.4007/annals.2020.192.1.5},
  url           = {https://doi.org/10.4007/annals.2020.192.1.5}
}

@Article{         kozen1994,
  title         = {A Completeness Theorem for Kleene Algebras and the Algebra
                  of Regular Events},
  journal       = {Information and Computation},
  volume        = {110},
  number        = {2},
  pages         = {366-390},
  year          = {1994},
  issn          = {0890-5401},
  doi           = {https://doi.org/10.1006/inco.1994.1037},
  url           = {https://www.sciencedirect.com/science/article/pii/S0890540184710376},
  author        = {D. Kozen},
  abstract      = {We give a finitary axiomatization of the algebra of
                  regular events involving only equations and equational
                  implications. Unlike Salomaa′s axiomatizations, the
                  axiomatization given here is sound for all interpretations
                  over Kleene algebras.}
}

@Article{         kratschmer_urusov2023,
  author        = {Kr\"atschmer, Volker and Urusov, Mikhail},
  title         = {A {K}olmogorov-{C}hentsov type theorem on general metric
                  spaces with applications to limit theorems for
                  {B}anach-valued processes},
  journal       = {J. Theoret. Probab.},
  fjournal      = {Journal of Theoretical Probability},
  volume        = {36},
  year          = {2023},
  number        = {3},
  pages         = {1454--1486},
  issn          = {0894-9840,1572-9230},
  mrclass       = {60G17 (60B12 60F05 60G60)},
  mrnumber      = {4621071},
  mrreviewer    = {Anatoliy\ Malyarenko},
  doi           = {10.1007/s10959-022-01207-8},
  url           = {https://doi.org/10.1007/s10959-022-01207-8}
}

@PhDThesis{       kremsater1972sequential,
  title         = {Sequential space methods},
  author        = {Kremsater, Terry Philip},
  year          = {1972},
  school        = {University of British Columbia}
}

@Book{            krieg1990,
  author        = {Krieg, Aloys},
  title         = {Hecke algebras},
  series        = {Memoirs of the American Mathematical Society},
  volume        = {87},
  number        = {435},
  publisher     = {American Mathematical Society, Providence, RI},
  year          = {1990},
  pages         = {x+158},
  issn          = {0065-9266},
  mrnumber      = {1027069},
  doi           = {10.1090/memo/0435},
  url           = {https://doi.org/10.1090/memo/0435}
}

@Book{            kung_rota_yan2009,
  author        = {Kung, Joseph P. S. and Rota, Gian-Carlo and Yan, Catherine
                  H.},
  title         = {Combinatorics: the {R}ota way},
  series        = {Cambridge Mathematical Library},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2009},
  pages         = {xii+396},
  isbn          = {978-0-521-73794-4},
  mrclass       = {05-01 (06A07)},
  mrnumber      = {2483561},
  mrreviewer    = {Luca\ Ferrari},
  doi           = {10.1017/CBO9780511803895},
  url           = {https://doi.org/10.1017/CBO9780511803895}
}

@Article{         lam_1984,
  author        = {T.Y. Lam},
  title         = {{An introduction to real algebra}},
  volume        = {14},
  journal       = {Rocky Mountain Journal of Mathematics},
  number        = {4},
  publisher     = {Rocky Mountain Mathematics Consortium},
  pages         = {767 -- 814},
  year          = {1984},
  doi           = {10.1216/RMJ-1984-14-4-767},
  url           = {https://doi.org/10.1216/RMJ-1984-14-4-767}
}

@Book{            lam_1999,
  series        = {Graduate Texts in Mathematics},
  title         = {Lectures on Modules and Rings},
  doi           = {10.1007/978-1-4612-0525-8},
  publisher     = {Springer New York, NY},
  author        = {T. Y. Lam},
  year          = {1999}
}

@Article{         lam_reyes_2009,
  title         = {Oka and Ako ideal families in commutative rings},
  author        = {T. Y. Lam and Manuel L. Reyes},
  year          = {2009},
  month         = {01},
  journal       = {Contemporary Mathematics},
  volume        = {480},
  pages         = {263--288},
  publisher     = {American Mathematical Society}
}

@Article{         Lambek_1964,
  title         = {A Module is Flat if and Only if its Character Module is
                  Injective},
  volume        = {7},
  doi           = {10.4153/CMB-1964-021-9},
  number        = {2},
  journal       = {Canadian Mathematical Bulletin},
  author        = {Lambek, J.},
  year          = {1964},
  pages         = {237–243}
}

@Book{            laumon-morel-bailly-2000,
  author        = {Laumon, G\'erard and Moret-Bailly, Laurent},
  title         = {Champs alg\'ebriques},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete. 3.
                  Folge. A Series of Modern Surveys in Mathematics [Results
                  in Mathematics and Related Areas. 3rd Series. A Series of
                  Modern Surveys in Mathematics]},
  volume        = {39},
  publisher     = {Springer-Verlag, Berlin},
  year          = {2000},
  pages         = {xii+208},
  isbn          = {3-540-65761-4},
  mrclass       = {14A20 (14D20)},
  mrnumber      = {1771927}
}

@Book{            lawrenceronald2025,
  author        = {Evans, Lawrence Craig and Gariepy, Ronald F.},
  title         = {Measure theory and fine properties of functions},
  edition       = {2nd edition},
  fseries       = {Textbooks in Mathematics},
  series        = {Textb. Math.},
  isbn          = {978-1-032-94644-3; 978-1-003-58300-4},
  year          = {2025},
  publisher     = {Boca Raton, FL: CRC Press},
  language      = {English},
  doi           = {10.1201/9781003583004},
  keywords      = {28-01,28A75,28A78,26B15,26B20,26B25},
  zbmath        = {8010281},
  zbl           = {1569.28001}
}

@Article{         lazarus1973,
  author        = {Michel Lazarus},
  title         = {Les familles libres maximales d'un module ont-elles le
                  meme cardinal?},
  journal       = {Pub. Sem. Math. Rennes},
  volume        = {4},
  year          = {1973},
  pages         = {1--12},
  url           = {http://www.numdam.org/article/PSMIR_1973___4_A4_0.pdf}
}

@Book{            lee2012,
  author        = {John Lee},
  title         = {Introduction to Smooth Manifolds},
  publisher     = {Springer New York},
  year          = {2012},
  edition       = {2nd ed. 2013},
  url           = {https://doi.org/10.1007/978-1-4419-9982-5}
}

@Misc{            lenstraGSchemes,
  author        = "Lenstra, Hendrik Willem",
  title         = "Galois theory for schemes",
  pages         = "1--109",
  url           = "https://websites.math.leidenuniv.nl/algebra/GSchemes.pdf"
}

@InProceedings{   lewis2019,
  author        = {Lewis, Robert Y.},
  title         = {A Formal Proof of {H}ensel's Lemma over the {$p$}-adic
                  Integers},
  booktitle     = {Proceedings of the 8th ACM SIGPLAN International
                  Conference on Certified Programs and Proofs},
  series        = {CPP 2019},
  year          = {2019},
  isbn          = {978-1-4503-6222-1},
  location      = {Cascais, Portugal},
  pages         = {15--26},
  numpages      = {12},
  url           = {http://doi.acm.org/10.1145/3293880.3294089},
  doi           = {10.1145/3293880.3294089},
  acmid         = {3294089},
  publisher     = {ACM},
  address       = {New York, NY, USA},
  keywords      = {Hensel's lemma, Lean, formal proof, p-adic}
}

@Article{         LiebeckPraegerSaxl-1987,
  title         = {A classification of the maximal subgroups of the finite
                  alternating and symmetric groups},
  author        = {Liebeck, Martin W and Praeger, Cheryl E and Saxl, Jan},
  year          = {1987},
  journal       = {Journal of Algebra},
  volume        = {111},
  number        = {2},
  pages         = {365--383},
  issn          = {00218693},
  doi           = {10.1016/0021-8693(87)90223-7},
  url           = {https://linkinghub.elsevier.com/retrieve/pii/0021869387902237}
}

@Book{            Lorenz2008,
  title         = {Algebra},
  subtitle      = {Volume II: Fields with Structure, Algebras and Advanced
                  Topics},
  author        = {Falko Lorenz},
  series        = {Universitext},
  year          = {2008},
  isbn          = {978-0-387-72488-1},
  publisher     = {Springer New York, NY},
  doi           = {10.1007/978-0-387-72488-1},
  numpages      = {X, 340},
  edition       = {1}
}

@Book{            LurieHTT,
  title         = {Higher Topos Theory},
  author        = {Jacob Lurie},
  url           = {https://www.math.ias.edu/~lurie/papers/HTT.pdf},
  year          = {2009}
}

@Book{            LurieSAG,
  title         = {Spectral Algebraic Geometry},
  author        = {Jacob Lurie},
  url           = {https://www.math.ias.edu/~lurie/papers/SAG-rootfile.pdf},
  year          = {last updated 2018}
}

@Article{         Maltsiniotis2007,
  author        = {Maltsiniotis, Georges},
  title         = {Le th\'eor\`eme de {Q}uillen, d'adjonction des foncteurs
                  d\'eriv\'es, revisit\'e},
  journal       = {C. R. Math. Acad. Sci. Paris},
  fjournal      = {Comptes Rendus Math\'ematique. Acad\'emie des Sciences.
                  Paris},
  volume        = {344},
  year          = {2007},
  number        = {9},
  pages         = {549--552},
  issn          = {1631-073X,1778-3569},
  mrclass       = {18G50 (55U35)},
  mrnumber      = {2323740},
  doi           = {10.1016/j.crma.2007.03.011},
  url           = {https://doi.org/10.1016/j.crma.2007.03.011}
}

@InCollection{    manchon_2011,
  author        = {Manchon, Dominique},
  title         = {A short survey on pre-{Lie} algebras},
  booktitle     = {Noncommutative geometry and physics: Renormalisation,
                  motives, index theory. Based on the workshop ``Number
                  theory and physics'', Vienna, Austria, March 2009. Edited
                  with the assistance of Harald Grosse and Steve Rosenberg},
  isbn          = {978-3-03719-008-1},
  pages         = {89--102},
  year          = {2011},
  publisher     = {Z{\"u}rich: European Mathematical Society (EMS)},
  language      = {English},
  keywords      = {17A30,17D25},
  zbmath        = {6010972},
  zbl           = {1278.17001}
}

@Article{         manin1963,
  author        = {Manin, Ju. I.},
  title         = {Theory of commutative formal groups over fields of finite
                  characteristic},
  journal       = {Uspehi Mat. Nauk},
  fjournal      = {Akademiya Nauk SSSR i Moskovskoe Matematicheskoe
                  Obshchestvo. Uspekhi Matematicheskikh Nauk},
  volume        = {18},
  year          = {1963},
  number        = {6 (114)},
  pages         = {3--90},
  issn          = {0042-1316},
  mrclass       = {14.50 (14.49)},
  mrnumber      = {0157972},
  mrreviewer    = {E. C. Dade}
}

@Book{            marcus1977number,
  title         = {Number fields},
  author        = {Marcus, Daniel A and Sacco, Emanuele},
  volume        = {2},
  year          = {1977},
  publisher     = {Springer}
}

@Article{         markowsky1976,
  title         = {Chain-complete posets and directed sets with
                  applications},
  volume        = {6},
  doi           = {10.1007/bf02485815},
  number        = {1},
  journal       = {Algebra Universalis},
  author        = {Markowsky, George},
  year          = {1976},
  month         = {Dec},
  pages         = {53-68}
}

@Book{            MartiJurg1969,
  title         = {Introduction to the theory of bases},
  author        = {Marti, Jürg T},
  publisher     = {Springer-Verlag},
  series        = {Springer tracts in natural philosophy, v. 18},
  year          = {1969}
}

@Article{         mason2017,
  title         = {Vertex rings and Pierce bundles},
  author        = {Geoffrey Mason},
  year          = {2017},
  eprint        = {1707.00328},
  archiveprefix = {arXiv},
  primaryclass  = {math.RA},
  url           = {https://arxiv.org/abs/1707.00328v1}
}

@InProceedings{   mathlib2020,
  author        = {The mathlib Community},
  title         = {The Lean Mathematical Library},
  year          = {2020},
  isbn          = {9781450370974},
  publisher     = {Association for Computing Machinery},
  address       = {New York, NY, USA},
  url           = {https://doi.org/10.1145/3372885.3373824},
  doi           = {10.1145/3372885.3373824},
  booktitle     = {Proceedings of the 9th ACM SIGPLAN International
                  Conference on Certified Programs and Proofs},
  pages         = {367-381},
  numpages      = {15},
  keywords      = {formal proof, formal library, Lean, mathlib},
  location      = {New Orleans, LA, USA},
  series        = {CPP 2020}
}

@Book{            matsumura1987,
  title         = {Commutative Ring Theory},
  author        = {Matsumura, H.},
  year          = {1987},
  publisher     = {Cambridge University Press},
  isbn          = {9781139171762},
  doi           = {https://doi.org/10.1017/CBO9781139171762}
}

@Book{            matsumuraCommAlg,
  author        = {Matsumura, Hideyuki},
  title         = {Commutative algebra. 2nd ed},
  fseries       = {Mathematics Lecture Note Series},
  series        = {Math. Lect. Note Ser.},
  volume        = {56},
  year          = {1980},
  publisher     = {The Benjamin/Cummings Publishing Company, Reading, MA},
  language      = {English},
  keywords      = {13-02,13Cxx,13C11,13H10,13C15,13Axx},
  zbmath        = {3687501},
  zbl           = {0441.13001}
}

@Article{         matsuo1997,
  title         = {On axioms for a vertex algebra and locality of quantum
                  fields},
  author        = {Atsushi Matsuo, Kiyokazu Nagatomo},
  year          = {1997},
  eprint        = {9706118},
  archiveprefix = {arXiv},
  primaryclass  = {hep-th},
  url           = {https://arxiv.org/abs/hep-th/9706118}
}

@Book{            mattila1995,
  author        = {Mattila, Pertti},
  title         = {Geometry of sets and measures in {E}uclidean spaces},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {44},
  note          = {Fractals and rectifiability},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {1995},
  pages         = {xii+343},
  isbn          = {0-521-46576-1; 0-521-65595-1},
  doi           = {10.1017/CBO9780511623813},
  url           = {https://doi.org/10.1017/CBO9780511623813}
}

@InProceedings{   mcbride1996,
  title         = {Inverting inductively defined relations in {LEGO}},
  author        = {McBride, Conor},
  booktitle     = {International Workshop on Types for Proofs and Programs},
  pages         = {236--253},
  year          = {1996},
  organization  = {Springer}
}

@Book{            mccrimmon2004,
  author        = {Kevin {McCrimmon}},
  title         = {{A taste of Jordan algebras}},
  fjournal      = {{Universitext}},
  journal       = {{Universitext}},
  issn          = {0172-5939},
  isbn          = {0-387-95447-3},
  pages         = {xxvi + 562},
  year          = {2004},
  publisher     = {New York, NY: Springer},
  language      = {English},
  doi           = {10.1007/b97489},
  msc2010       = {17-01 17Cxx},
  zbl           = {1044.17001}
}

@Article{         mccune,
  author        = {William McCune and Robert Veroff and Branden Fitelson and
                  Kenneth Harris and Andrew Feist and Larry Wos},
  title         = {Short Single Axioms for Boolean Algebra},
  journal       = {Journal of Automated Reasoning},
  volume        = 29,
  issue         = 1,
  year          = {2002},
  pages         = {1--16},
  doi           = {10.1023/A:1020542009983}
}

@MastersThesis{   mckoen2026,
  author        = {McKoen, Jack A.},
  title         = {A Formalization of Functor Quasi-Categories in Lean 4},
  school        = {University of Alberta, Department of Mathematical and
                  Statistical Sciences},
  year          = {2026},
  doi           = {10.7939/83958},
  url           = {https://doi.org/10.7939/83958},
  note          = {Master of Science thesis}
}

@Book{            mclean2000,
  author        = {McLean, William},
  title         = {Strongly elliptic systems and boundary integral
                  equations},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2000},
  pages         = {xiv+357},
  isbn          = {0-521-66332-6; 0-521-66375-X},
  mrclass       = {35J45 (47F05 47G10 47N20 65N38)},
  mrnumber      = {1742312},
  mrreviewer    = {Dorina\ I.\ Mitrea}
}

@Misc{            melikhov2011,
  title         = {Metrizable uniform spaces},
  author        = {Sergey A. Melikhov},
  year          = {2011},
  eprint        = {1106.3249},
  archiveprefix = {arXiv},
  primaryclass  = {math.GT}
}

@Book{            MeyerNieberg1991,
  author        = {Meyer-Nieberg, Peter},
  title         = {Banach lattices},
  series        = {Universitext},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1991},
  pages         = {xvi+395},
  isbn          = {3-540-54201-9},
  mrclass       = {46B42 (46A40 47B60)},
  mrnumber      = {1128093},
  mrreviewer    = {Yu. A. Abramovich},
  doi           = {10.1007/978-3-642-76724-1},
  url           = {https://doi.org/10.1007/978-3-642-76724-1}
}

@Book{            meyntweedie1993,
  author        = {Meyn, S.P. and Tweedie, R.L.},
  title         = {Markov Chains and Stochastic Stability},
  edition       = {1st ed.},
  isbn          = {978-1-4471-3269-1},
  year          = {1993},
  publisher     = {Springer London},
  language      = {English}
}

@Article{         michael1951,
  author        = {Michael, Ernest},
  title         = {Topologies on spaces of subsets},
  year          = {1951},
  journal       = {Trans. Amer. Math. Soc.},
  volume        = {71},
  pages         = {152-182},
  doi           = {10.1090/S0002-9947-1951-0042109-4},
  url           = {https://doi.org/10.1090/S0002-9947-1951-0042109-4}
}

@Article{         Milla_2018,
  author        = {Milla, Lorenz},
  title         = {A detailed proof of the {C}hudnovsky formula with means of
                  basic complex analysis},
  year          = {2021},
  eprint        = {1809.00533},
  archiveprefix = {arXiv},
  primaryclass  = {math.NT},
  url           = {https://arxiv.org/abs/1809.00533}
}

@Article{         Miller_1976,
  title         = {Normal functions and constructive ordinal notations},
  volume        = {41},
  doi           = {10.2307/2272243},
  number        = {2},
  journal       = {The Journal of Symbolic Logic},
  author        = {Miller, Larry W.},
  year          = {1976},
  pages         = {439–459}
}

@Book{            miraglia2006introduction,
  title         = {An Introduction to Partially Ordered Structures and
                  Sheaves},
  author        = {Miraglia, F.},
  isbn          = {9788876990359},
  series        = {Contemporary logic},
  year          = {2006},
  publisher     = {Polimetrica}
}

@Article{         mitchell1981,
  title         = {A quick proof of the Gabriel-Popesco theorem},
  journal       = {Journal of Pure and Applied Algebra},
  volume        = {20},
  number        = {3},
  pages         = {313-315},
  year          = {1981},
  issn          = {0022-4049},
  doi           = {https://doi.org/10.1016/0022-4049(81)90065-7},
  url           = {https://www.sciencedirect.com/science/article/pii/0022404981900657},
  author        = {Barry Mitchell}
}

@Book{            MM92,
  title         = {Sheaves in geometry and logic: A first introduction to
                  topos theory},
  author        = {MacLane, Saunders and Moerdijk, Ieke},
  year          = {1992},
  publisher     = {Springer Science \& Business Media}
}

@Misc{            MO88628,
  title         = {Well-pointed space which is not locally contractible},
  author        = {Sergey Melikhov},
  year          = {2012},
  howpublished  = {MathOverflow},
  note          = {URL:https://mathoverflow.net/q/88628 (version:
                  2012-02-17)},
  url           = {https://mathoverflow.net/q/88628}
}

@Article{         Moreira2001,
  author        = {Moreira, Carlos Gustavo T. de A.},
  journal       = {Publicacions Matemàtiques},
  keywords      = {Variedades diferenciables; Dimensión de Hausdorff;
                  critical points; differentiable mappings; Hausdorff
                  measure; Morse-Sard theorem},
  language      = {eng},
  number        = {1},
  pages         = {149-162},
  title         = {Hausdorff measures and the Morse-Sard theorem},
  url           = {http://eudml.org/doc/41419},
  volume        = {45},
  year          = {2001}
}

@Article{         morrison-penney-enriched,
  author        = {Morrison, Kim and Penneys, David},
  title         = {Monoidal Categories Enriched in Braided Monoidal
                  Categories},
  journal       = {International Mathematics Research Notices},
  volume        = {2019},
  number        = {11},
  pages         = {3527-3579},
  year          = {2017},
  month         = {10},
  issn          = {1073-7928},
  doi           = {10.1093/imrn/rnx217},
  url           = {https://doi.org/10.1093/imrn/rnx217},
  eprint        = {https://academic.oup.com/imrn/article-pdf/2019/11/3527/28757603/rnx217.pdf}
}

@Article{         moss-2020,
  author        = {Moss, Sean},
  title         = {Another approach to the {K}an-{Q}uillen model structure},
  journal       = {J. Homotopy Relat. Struct.},
  fjournal      = {Journal of Homotopy and Related Structures},
  volume        = {15},
  year          = {2020},
  number        = {1},
  pages         = {143--165},
  issn          = {2193-8407,1512-2891},
  mrclass       = {55U35 (55U10)},
  mrnumber      = {4062882},
  doi           = {10.1007/s40062-019-00247-y},
  url           = {https://doi.org/10.1007/s40062-019-00247-y}
}

@Article{         moss2023,
  title         = {A category-theoretic proof of the ergodic decomposition
                  theorem},
  author        = {Moss, Sean and Perrone, Paolo},
  journal       = {Ergodic Theory and Dynamical Systems},
  volume        = {43},
  number        = {12},
  pages         = {4166--4192},
  year          = {2023},
  publisher     = {Cambridge University Press}
}

@Article{         MR0236876,
  title         = {A new proof that metric spaces are paracompact},
  author        = {Mary Ellen Rudin},
  year          = 1969,
  journal       = {Proc. Amer. Math. Soc.},
  volume        = {20},
  pages         = {603},
  mrnumber      = {0236876},
  doi           = {10.1090/S0002-9939-1969-0236876-3}
}

@Book{            MR0302656,
  author        = {Demazure, Michel and Gabriel, Pierre},
  title         = {Groupes alg\'{e}briques. {T}ome {I}: {G}\'{e}om\'{e}trie
                  alg\'{e}brique, g\'{e}n\'{e}ralit\'{e}s, groupes commutatifs},
  note          = {Avec un appendice {{\i}t Corps de classes local} par
                  Michiel Hazewinkel},
  publisher     = {Masson \& Cie, \'{E}diteur, Paris; North-Holland
                  Publishing Co., Amsterdam},
  year          = {1970},
  pages         = {xxvi+700},
  mrclass       = {14L15 (20G35)},
  mrnumber      = {0302656},
  mrreviewer    = {J.-E. Bertin}
}

@Article{         MR1167694,
  author        = {Blass, Andreas},
  title         = {A game semantics for linear logic},
  journal       = {Ann. Pure Appl. Logic},
  fjournal      = {Annals of Pure and Applied Logic},
  volume        = {56},
  year          = {1992},
  number        = {1-3},
  pages         = {183--220},
  issn          = {0168-0072},
  mrclass       = {03B70 (68Q55)},
  mrnumber      = {1167694},
  mrreviewer    = {Fangmin Song},
  doi           = {10.1016/0168-0072(92)90073-9},
  url           = {https://doi.org/10.1016/0168-0072(92)90073-9}
}

@Book{            MR1237403,
  author        = {Lidl, R. and Mullen, G. L. and Turnwald, G.},
  title         = {Dickson polynomials},
  series        = {Pitman Monographs and Surveys in Pure and Applied
                  Mathematics},
  volume        = {65},
  publisher     = {Longman Scientific \& Technical, Harlow; copublished in
                  the United States with John Wiley \& Sons, Inc., New York},
  year          = {1993},
  pages         = {vi+207},
  isbn          = {0-582-09119-5},
  mrclass       = {11T06 (12E05 13B25 33C80 94A60)},
  mrnumber      = {1237403},
  mrreviewer    = {S. D. Cohen}
}

@InProceedings{   MR1268290,
  author        = {Hans-Joachim Baues and Mamuka Jibladze and Andrew Tonks},
  title         = {Cohomology of Monoids in Monoidal Categories},
  booktitle     = {Operads: Proceedings of Renaissance Conferences, 1995},
  pages         = {137--165},
  series        = {Contemp. Math.},
  isbn          = {0-8218-0513-4},
  year          = {1997},
  volume        = {202},
  publisher     = {American Mathematical Society}
}

@Article{         MR25465,
  author        = {van der Waerden, B. L.},
  title         = {Free products of groups},
  journal       = {Amer. J. Math.},
  fjournal      = {American Journal of Mathematics},
  volume        = {70},
  year          = {1948},
  pages         = {527--528},
  issn          = {0002-9327},
  mrclass       = {20.0X},
  mrnumber      = {25465},
  mrreviewer    = {P. Hall},
  doi           = {10.2307/2372196},
  url           = {https://doi.org/10.2307/2372196}
}

@Book{            MR3156076,
  author        = {Noguchi, Junjiro and Winkelmann, J\"org},
  title         = {Nevanlinna theory in several complex variables and
                  {D}iophantine approximation},
  series        = {Grundlehren der mathematischen Wissenschaften [Fundamental
                  Principles of Mathematical Sciences]},
  volume        = {350},
  publisher     = {Springer, Tokyo},
  year          = {2014},
  pages         = {xiv+416},
  isbn          = {978-4-431-54570-5; 978-4-431-54571-2},
  mrclass       = {32-02 (11J25 11J97 32H30 32Q45)},
  mrnumber      = {3156076},
  mrreviewer    = {William\ A.\ Cherry},
  doi           = {10.1007/978-4-431-54571-2},
  url           = {https://doi.org/10.1007/978-4-431-54571-2}
}

@Article{         MR317916,
  author        = {Davis, Martin},
  title         = {Hilbert's tenth problem is unsolvable},
  journal       = {Amer. Math. Monthly},
  fjournal      = {American Mathematical Monthly},
  volume        = {80},
  year          = {1973},
  pages         = {233--269},
  issn          = {0002-9890},
  mrclass       = {02G05 (10B99 10N05)},
  mrnumber      = {317916},
  mrreviewer    = {R. L. Goodstein},
  doi           = {10.2307/2318447},
  url           = {https://doi.org/10.2307/2318447}
}

@Article{         MR32592,
  author        = {Motzkin, Th.},
  title         = {The {E}uclidean algorithm},
  journal       = {Bull. Amer. Math. Soc.},
  fjournal      = {Bulletin of the American Mathematical Society},
  volume        = {55},
  year          = {1949},
  pages         = {1142--1146},
  issn          = {0002-9904},
  mrclass       = {09.1X},
  mrnumber      = {32592},
  mrreviewer    = {B. N. Moyls},
  doi           = {10.1090/S0002-9904-1949-09344-8},
  url           = {https://doi.org/10.1090/S0002-9904-1949-09344-8}
}

@Book{            MR3526117,
  author        = {Paulsen, Vern I. and Raghupathi, Mrinal},
  title         = {An introduction to the theory of reproducing kernel
                  {H}ilbert spaces},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {152},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2016},
  pages         = {x+182},
  isbn          = {978-1-107-10409-9},
  mrclass       = {46-02 (46C05)},
  mrnumber      = {3526117},
  doi           = {10.1017/CBO9781316219232},
  url           = {https://doi.org/10.1017/CBO9781316219232}
}

@Article{         MR3790629,
  author        = {Bell, J. S.},
  title         = {On the {E}instein {P}odolsky {R}osen paradox},
  journal       = {Phys. Phys. Fiz.},
  fjournal      = {Physics Physique Fizika},
  volume        = {1},
  year          = {1964},
  number        = {3},
  pages         = {195--200},
  issn          = {0554-128X},
  mrclass       = {DML},
  mrnumber      = {3790629},
  doi           = {10.1103/PhysicsPhysiqueFizika.1.195},
  url           = {https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195}
}

@Book{            MR3971232,
  author        = {Koukoulopoulos, Dimitris},
  title         = {The distribution of prime numbers},
  series        = {Graduate Studies in Mathematics},
  volume        = {203},
  publisher     = {American Mathematical Society, Providence, RI},
  year          = {[2019] \copyright 2019},
  pages         = {xii + 356},
  isbn          = {978-1-4704-4754-0; 978-1-4704-6285-7},
  mrclass       = {11N05 (11-01 11M06 11N35 11N60)},
  mrnumber      = {3971232},
  mrreviewer    = {Y.-F.\ S.\ P\'etermann},
  doi           = {10.1090/gsm/203},
  url           = {https://doi.org/10.1090/gsm/203}
}

@Article{         MR399081,
  author        = {Hiblot, Jean-Jacques},
  title         = {Des anneaux euclidiens dont le plus petit algorithme n'est
                  pas \`a valeurs finies},
  journal       = {C. R. Acad. Sci. Paris S\'{e}r. A-B},
  fjournal      = {Comptes Rendus Hebdomadaires des S\'{e}ances de
                  l'Acad\'{e}mie des Sciences. S\'{e}ries A et B},
  volume        = {281},
  year          = {1975},
  number        = {12},
  pages         = {Ai, A411--A414},
  issn          = {0151-0509},
  mrclass       = {13F15 (12A20)},
  mrnumber      = {399081},
  mrreviewer    = {N. Sankaran}
}

@Book{            MR4446467,
  author        = {Scholze, Peter and Weinstein, Jared},
  title         = {Berkeley lectures on {$p$}-adic geometry},
  series        = {Annals of Mathematics Studies},
  volume        = {207},
  publisher     = {Princeton University Press, Princeton, NJ},
  year          = {2020},
  pages         = {x+250},
  isbn          = {978-0-691-20209-9; 978-0-691-20208-2; 978-0-691-20215-0},
  mrclass       = {14G45 (14A15 14F30 14G22 14G35 14M15)},
  mrnumber      = {4446467},
  mrreviewer    = {Lance Edward Miller}
}

@InCollection{    MR541021,
  author        = {Nagata, Masayoshi},
  title         = {On {E}uclid algorithm},
  booktitle     = {C. {P}. {R}amanujam---a tribute},
  series        = {Tata Inst. Fund. Res. Studies in Math.},
  volume        = {8},
  pages         = {175--186},
  publisher     = {Springer, Berlin-New York},
  year          = {1978},
  mrclass       = {13F07},
  mrnumber      = {541021},
  mrreviewer    = {Daniel Lazard}
}

@Article{         MR577178,
  author        = {Cirel\cprime son, B. S.},
  title         = {Quantum generalizations of {B}ell's inequality},
  journal       = {Lett. Math. Phys.},
  fjournal      = {Letters in Mathematical Physics. A Journal for the Rapid
                  Dissemination of Short Contributions in the Field of
                  Mathematical Physics},
  volume        = {4},
  year          = {1980},
  number        = {2},
  pages         = {93--100},
  issn          = {0377-9017},
  mrclass       = {81B05},
  mrnumber      = {577178},
  doi           = {10.1007/BF00417500},
  url           = {https://doi.org/10.1007/BF00417500}
}

@Book{            MR886677,
  author        = {Lang, Serge},
  title         = {Introduction to complex hyperbolic spaces},
  publisher     = {Springer-Verlag, New York},
  year          = {1987},
  pages         = {viii+271},
  isbn          = {0-387-96447-9},
  mrclass       = {32H15 (11J99 30D35 32-02 32H20 32H25)},
  mrnumber      = {886677},
  mrreviewer    = {Hirotaka\ Fujimoto},
  doi           = {10.1007/978-1-4757-1945-1},
  url           = {https://doi.org/10.1007/978-1-4757-1945-1}
}

@Article{         Mulvey1986,
  author        = {Mulvey, Christopher J.},
  title         = {\&},
  fjournal      = {Supplemento ai Rendiconti del Circolo Matem{\`a}tico di
                  Palermo. Serie II},
  journal       = {Suppl. Rend. Circ. Mat. Palermo (2)},
  issn          = {1592-9531},
  volume        = {12},
  pages         = {99--104},
  year          = {1986},
  language      = {English},
  keywords      = {46L60,46L05,81Q10},
  zbmath        = {4030272},
  zbl           = {0633.46065}
}

@Book{            Munkres2000,
  author        = {Munkres, James R.},
  title         = {Topology},
  edition       = {Second},
  publisher     = {Prentice Hall, Inc., Upper Saddle River, NJ},
  year          = {2000},
  pages         = {xvi+537},
  isbn          = {0-13-181629-2}
}

@Article{         munthe-kaas_lundervold_2013,
  author        = {Munthe-Kaas, Hans and Lundervold, Alexander},
  journal       = {Foundations of Computational Mathematics},
  volume        = {13},
  number        = {4},
  pages         = {583--613},
  year          = {2013},
  zbl           = {1327.17001}
}

@Unpublished{     Naor-2015,
  author        = {Assaf Naor},
  title         = {Metric Embeddings and Lipschitz Extensions},
  year          = {2015},
  url           = {https://web.math.princeton.edu/~naor/homepage%20files/embeddings_extensions.pdf}
}

@Article{         Nash-Williams63,
  title         = {On well-quasi-ordering finite trees},
  volume        = {59},
  doi           = {10.1017/S0305004100003844},
  number        = {4},
  journal       = {Mathematical Proceedings of the Cambridge Philosophical
                  Society},
  publisher     = {Cambridge University Press},
  author        = {Nash-Williams, C. St. J. A.},
  year          = {1963},
  pages         = {833–835}
}

@Article{         Nathanson1995,
  author        = {Nathanson, Melvyn B.},
  title         = {Inverse theorems for subset sums},
  journal       = {Transactions of the American Mathematical Society},
  volume        = {347},
  number        = {4},
  year          = {1995},
  pages         = {1409--1422},
  publisher     = {American Mathematical Society},
  mrnumber      = {1273512},
  doi           = {10.2307/2154904},
  url           = {https://www.ams.org/journals/tran/1995-347-04/S0002-9947-1995-1273512-1/}
}

@Book{            Neukirch1992,
  author        = {Neukirch, J.},
  title         = {Algebraic number theory},
  series        = {Fundamental Principles of Mathematical Sciences},
  volume        = {322},
  note          = {Translated from the 1992 German original and with a note
                  by Norbert Schappacher, With a foreword by G. Harder},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1999},
  pages         = {xviii+571},
  isbn          = {3-540-65399-6},
  doi           = {10.1007/978-3-662-03983-0}
}

@Article{         Neumann-1954,
  author        = {Neumann, B. H.},
  title         = {Groups Covered By Permutable Subsets},
  year          = {1954},
  month         = apr,
  journal       = {Journal of the London Mathematical Society},
  volume        = {s1-29},
  number        = {2},
  pages         = {236--248},
  issn          = {00246107},
  doi           = {10.1112/jlms/s1-29.2.236}
}

@Article{         northcott1949,
  author        = {Northcott, D. G.},
  title         = {An inequality in the theory of arithmetic on algebraic
                  varieties},
  year          = {1949},
  journal       = {Mathematical Proceedings of the Cambridge Philosophical
                  Society},
  volume        = {45},
  number        = {4},
  pages         = {502–509},
  doi           = {10.1017/S0305004100025202}
}

@Book{            odifreddi1989,
  author        = {Piergiorgio Odifreddi},
  title         = {Classical Recursion Theory: The Theory of Functions and
                  Sets of Natural Numbers},
  publisher     = {Elsevier Science Publishing Co., Inc.},
  address       = {New York, N.Y., USA},
  year          = {1989},
  isbn          = {9780444872951},
  note          = {Studies in Logic and the Foundations of Mathematics, Vol.
                  125},
  doi           = {10.2307/2274492}
}

@Book{            Okninski1991,
  place         = {New York},
  title         = {Semigroup algebras},
  publisher     = {Marcel Dekker},
  author        = {Okniński, Jan},
  year          = {1991}
}

@Article{         ore33,
  issn          = {0003486X, 19398980},
  url           = {http://www.jstor.org/stable/1968173},
  author        = {Oystein Ore},
  journal       = {Annals of Mathematics},
  number        = {3},
  pages         = {480--508},
  publisher     = {[Annals of Mathematics, Trustees of Princeton University
                  on Behalf of the Annals of Mathematics, Mathematics
                  Department, Princeton University]},
  title         = {Theory of Non-Commutative Polynomials},
  urldate       = {2025-10-24},
  volume        = {34},
  year          = {1933}
}

@Article{         orosi2018faulhaber,
  author        = {Greg {Orosi}},
  title         = {{A simple derivation of Faulhaber's formula}},
  fjournal      = {{Applied Mathematics E-Notes}},
  journal       = {{Appl. Math. E-Notes}},
  issn          = {1607-2510/e},
  volume        = {18},
  pages         = {124--126},
  year          = {2018},
  publisher     = {Tsing Hua University, Department of Mathematics, Hsinchu},
  language      = {English},
  msc2010       = {41A58 30K05},
  zbl           = {1411.41023}
}

@Article{         orzech1971,
  author        = {Orzech, Morris},
  title         = {Onto endomorphisms are isomorphisms},
  journal       = {Amer. Math. Monthly},
  fjournal      = {American Mathematical Monthly},
  volume        = {78},
  year          = {1971},
  pages         = {357--362},
  issn          = {0002-9890,1930-0972},
  mrclass       = {13.40},
  mrnumber      = {280475},
  mrreviewer    = {M.\ Teply},
  doi           = {10.2307/2316897},
  url           = {https://doi.org/10.2307/2316897}
}

@Article{         ostrowski1916,
  author        = {Ostrowski, Alexander},
  title         = {\"Uber einige {L}\"osungen der {F}unktionalgleichung
                  {$\psi(x)\cdot\psi(x)=\psi(xy)$}},
  journal       = {Acta Math.},
  fjournal      = {Acta Mathematica},
  volume        = {41},
  year          = {1916},
  number        = {1},
  pages         = {271--284},
  issn          = {0001-5962,1871-2509},
  mrclass       = {99-04},
  mrnumber      = {1555153},
  doi           = {10.1007/BF02422947},
  url           = {https://doi.org/10.1007/BF02422947}
}

@Article{         oudom_guin_2008,
  author        = {Oudom, J.-M. and Guin, D.},
  title         = {On the {Lie} enveloping algebra of a pre-{Lie} algebra},
  fjournal      = {Journal of \(K\)-Theory},
  journal       = {J. \(K\)-Theory},
  volume        = {2},
  number        = {1},
  pages         = {147--167},
  year          = {2008},
  doi           = {10.1017/is008001011jkt037},
  zbmath        = {5356716},
  zbl           = {1178.17011}
}

@Book{            oxley2011,
  author        = {Oxley, James},
  title         = {Matroid Theory},
  publisher     = {Oxford University Press},
  year          = {2011},
  month         = {02},
  isbn          = {9780198566946},
  doi           = {10.1093/acprof:oso/9780198566946.001.0001},
  url           = {https://doi.org/10.1093/acprof:oso/9780198566946.001.0001}
}

@Book{            Papikian2023,
  author        = {Papikian, Mihran},
  title         = {Drinfeld Modules},
  year          = {2023},
  publisher     = {Springer International Publishing},
  isbn          = {978-3-031-19707-9},
  doi           = {10.1007/978-3-031-19707-9},
  url           = {https://doi.org/10.1007/978-3-031-19707-9}
}

@Article{         perfect1969matroid,
  author        = {Perfect, Hazel},
  title         = {Independence Spaces and Combinatorial Problems},
  journal       = {Proceedings of the London Mathematical Society},
  volume        = {s3-19},
  number        = {1},
  pages         = {17-30},
  doi           = {https://doi.org/10.1112/plms/s3-19.1.17},
  url           = {https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s3-19.1.17},
  eprint        = {https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/plms/s3-19.1.17},
  year          = {1969}
}

@InCollection{    petridis2014,
  author        = {Petridis, G.},
  title         = {The {Pl{\"u}nnecke}-{Ruzsa} inequality: an overview},
  booktitle     = {Combinatorial and additive number theory. Selected papers
                  based on the presentations at the conferences CANT 2011 and
                  2012, New York, NY, USA, May 2011 and May 2012},
  isbn          = {978-1-4939-1600-9; 978-1-4939-1601-6},
  pages         = {229--241},
  year          = {2014},
  publisher     = {New York, NY: Springer},
  language      = {English},
  doi           = {10.1007/978-1-4939-1601-6_16},
  keywords      = {11B30},
  zblath        = {6463830},
  zbl           = {1371.11029}
}

@Article{         phillips1940,
  author        = {Phillips, Ralph S.},
  title         = {Integration in a convex linear topological space},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  volume        = {47},
  year          = {1940},
  pages         = {114--145},
  issn          = {0002-9947},
  mrclass       = {46.3X},
  mrnumber      = {2707},
  mrreviewer    = {B. J. Pettis},
  doi           = {10.2307/1990004},
  url           = {https://doi.org/10.2307/1990004}
}

@Book{            picado2011frames,
  title         = {Frames and Locales: topology without points},
  author        = {Picado, Jorge and Pultr, Ale{\v{s}}},
  year          = {2011},
  publisher     = {Birkhäuser Basel},
  doi           = {10.1007/978-3-0348-0154-6},
  isbn          = {9783034801539}
}

@Book{            picado2012,
  author        = {Picado, Jorge and Pultr, Aleš},
  year          = {2012},
  month         = {01},
  pages         = {},
  title         = {Frames and Locales: Topology without points},
  volume        = {2012},
  isbn          = {978-3-0348-0153-9},
  journal       = {Frontiers in Mathematics},
  doi           = {10.1007/978-3-0348-0154-6}
}

@Misc{            poeschel2017siegelsternberg,
  title         = {On the Siegel-Sternberg linearization theorem},
  author        = {Jürgen Pöschel},
  year          = {2017},
  eprint        = {1702.03691},
  archiveprefix = {arXiv},
  primaryclass  = {math.DS}
}

@Misc{            ponton2020chebyshev,
  title         = {Roots of {C}hebyshev polynomials: a purely algebraic
                  approach},
  author        = {Lionel Ponton},
  year          = {2020},
  eprint        = {2008.03575},
  archiveprefix = {arXiv},
  primaryclass  = {math.NT}
}

@Article{         posur2021Freyd,
  author        = {Posur, Sebastian},
  title         = {A constructive approach to {Freyd} categories},
  fjournal      = {Applied Categorical Structures},
  journal       = {Appl. Categ. Struct.},
  issn          = {0927-2852},
  volume        = {29},
  number        = {1},
  pages         = {171--211},
  year          = {2021},
  keywords      = {18E10,18E05,18A25,16S99,18C35},
  zbmath        = {7363561},
  zbl           = {1478.18008}
}

@Article{         Prielipp1970,
  author        = {Robert W. Prielipp},
  title         = {PERFECT NUMBERS, ABUNDANT NUMBERS, AND DEFICIENT NUMBERS},
  journal       = {The Mathematics Teacher},
  volume        = {63},
  year          = {1970},
  pages         = {692--696},
  issn          = {00255769},
  url           = {http://www.jstor.org/stable/27958492}
}

@InCollection{    proetale2015,
  author        = {Bhatt, Bhargav and Scholze, Peter},
  title         = {The pro-{\'e}tale topology for schemes},
  booktitle     = {De la g\'eom\'etrie alg\'ebrique aux formes automorphes
                  (I). Une collection d'articles en l'honneur du
                  soixanti\`eme anniversaire de G\'erard Laumon},
  isbn          = {978-2-85629-805-3},
  pages         = {99--201},
  year          = {2015},
  publisher     = {Paris: Soci{\'e}t{\'e} Math{\'e}matique de France (SMF)},
  language      = {English},
  keywords      = {19F27,18F10,14H30},
  zbmath        = {6479630},
  zbl           = {1351.19001}
}

@Article{         putnam1951,
  author        = {Putnam, C. R.},
  title         = {On normal operators in {H}ilbert space},
  journal       = {Amer. J. Math.},
  fjournal      = {American Journal of Mathematics},
  volume        = {73},
  year          = {1951},
  pages         = {357--362},
  issn          = {0002-9327,1080-6377},
  mrclass       = {46.3X},
  mrnumber      = {40585},
  mrreviewer    = {B.\ R.\ Gelbaum},
  doi           = {10.2307/2372180},
  url           = {https://doi.org/10.2307/2372180}
}

@Book{            Quillen1967,
  author        = {Quillen, Daniel G.},
  title         = {Homotopical algebra},
  series        = {Lecture Notes in Mathematics},
  volume        = {No. 43},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1967},
  pages         = {iv+156 pp. (not consecutively paged)},
  mrclass       = {18.20 (55.00)},
  mrnumber      = {223432}
}

@Article{         Rado1934,
  title         = {A new proof of a theorem of V. Staudt},
  author        = {Rado, R},
  journal       = {Journal of the London Mathematical Society},
  volume        = {1},
  number        = {2},
  pages         = {85--88},
  year          = {1934},
  publisher     = {Oxford University Press}
}

@Misc{            Rezk2022,
  author        = {Rezk, Charles},
  title         = {Introduction to Quasicategories},
  url           = {https://rezk.web.illinois.edu/quasicats.pdf}
}

@InCollection{    ribenboim1971,
  author        = {Ribenboim, Paulo},
  title         = {\'{E}pimorphismes de modules qui sont n\'{e}cessairement
                  des isomorphismes},
  booktitle     = {S\'{e}minaire {P}. {D}ubreil, {M}.-{L}.
                  {D}ubreil-{J}acotin, {L}. {L}esieur et {C}. {P}isot
                  (24\`eme ann\'{e}e: 1970/71), {A}lg\`ebre et th\'{e}orie
                  des nombres, {F}asc. 2},
  pages         = {Exp. No. 19, 5},
  publisher     = {\'{E}d. Acad. RS Roumanie, Bucharest},
  year          = {1971},
  mrclass       = {16A52},
  mrnumber      = {393128},
  mrreviewer    = {Jonathan\ Golan}
}

@Book{            riehl2017,
  author        = {Riehl, Emily},
  title         = {Category theory in context},
  publisher     = {Dover Publications},
  year          = {2017},
  isbn          = {048680903X},
  url           = {https://emilyriehl.github.io/files/context.pdf}
}

@Article{         RiehlVerity2015,
  author        = {Emily Riehl and Dominic Verity},
  title         = {The 2-category theory of quasi-categories},
  journal       = {Advances in Mathematics},
  volume        = {280},
  pages         = {549-642},
  year          = {2015},
  issn          = {0001-8708},
  doi           = {https://doi.org/10.1016/j.aim.2015.04.021},
  url           = {https://www.sciencedirect.com/science/article/pii/S0001870815001577}
}

@Book{            RiehlVerity2022,
  author        = {Riehl, Emily and Verity, Dominic},
  title         = {Elements of $\infty$-Category Theory},
  place         = {Cambridge},
  series        = {Cambridge Studies in Advanced Mathematics},
  doi           = {10.1017/9781108936880},
  publisher     = {Cambridge University Press},
  year          = {2022},
  collection    = {Cambridge Studies in Advanced Mathematics},
  url           = {https://emilyriehl.github.io/files/elements.pdf}
}

@Article{         rinehart_1963,
  title         = {Differential forms on general commutative algebras},
  volume        = {108},
  doi           = {10.1090/s0002-9947-1963-0154906-3},
  number        = {2},
  journal       = {Trans. Amer. Math. Soc.},
  fjournal      = {Transactions of the American Mathematical Society},
  author        = {Rinehart, George S.},
  year          = {1963},
  pages         = {195--222}
}

@Misc{            RisingSea,
  author        = "Vakil, Ravi",
  title         = "{The Rising Sea: Foundations Of Algebraic Geometry Notes}",
  url           = "https://math.stanford.edu/~vakil/216blog/"
}

@Book{            robertcasella2004,
  author        = {Robert, Christian and Casella, George},
  title         = {Monte Carlo Statistical Methods},
  edition       = {2nd ed.},
  isbn          = {0-387-21239-6},
  year          = {2004},
  publisher     = {Springer Science+Business Media Inc.},
  language      = {English}
}

@Article{         RobertsSingh1993,
  author        = {Roberts, Leslie G., Singh, Balwant},
  journal       = {Compositio Mathematica},
  keywords      = {subintegral extension; Picard group; seminormalization;
                  graded commutative ring},
  language      = {eng},
  number        = {3},
  pages         = {249-279},
  publisher     = {Kluwer Academic Publishers},
  title         = {Subintegrality, invertible modules and the Picard group},
  url           = {http://eudml.org/doc/90199},
  volume        = {85},
  year          = {1993}
}

@Article{         Roby-1963,
  title         = {Lois polynomes et lois formelles en théorie des modules},
  author        = {Roby, Norbert},
  year          = {1963},
  journal       = {Annales scientifiques de l'École Normale Supérieure},
  volume        = {80},
  number        = {3},
  pages         = {213--348},
  doi           = {10.24033/asens.1124},
  urldate       = {2022-09-15},
  langid        = {french}
}

@Article{         Roby-1965,
  title         = {Les Algèbres à Puissances Divisées},
  author        = {Roby, Norbert},
  year          = {1965},
  journal       = {Bulletin des Sciences Mathématiques. Deuxième Série},
  volume        = {89},
  pages         = {75--91}
}

@Book{            roigdomingues1992,
  author        = {Margalef-Roig, Juan and Outerelo Dominguez, Enrique},
  title         = {Differential topology. {Transl}. from the {Spanish}},
  fseries       = {North-Holland Mathematics Studies},
  series        = {North-Holland Math. Stud.},
  issn          = {0304-0208},
  volume        = {173},
  isbn          = {0-444-88434-3},
  year          = {1992},
  publisher     = {Amsterdam etc.: North-Holland},
  language      = {English},
  keywords      = {57-01,57Rxx,58-01},
  zbmath        = {53780},
  zbl           = {0760.57001}
}

@Article{         rooij1970,
  title         = {Non-Archimedean uniformities},
  author        = {van Rooij, A. C. M.},
  year          = {1970},
  journal       = {Kyungpook Math. J.},
  volume        = {10},
  pages         = {21--30}
}

@Book{            rosen2002,
  author        = {Rosen, Michael},
  title         = {Number Theory in Function Fields},
  series        = {Graduate Texts in Mathematics},
  publisher     = {Springer-Verlag New York},
  isbn          = {978-0-387-95335-9},
  year          = {2002},
  language      = {English}
}

@Article{         rosenblum1958,
  author        = {Rosenblum, M.},
  title         = {On a theorem of {F}uglede and {P}utnam},
  journal       = {J. London Math. Soc.},
  fjournal      = {The Journal of the London Mathematical Society},
  volume        = {33},
  year          = {1958},
  pages         = {376--377},
  issn          = {0024-6107,1469-7750},
  mrclass       = {46.00},
  mrnumber      = {99598},
  mrreviewer    = {S.\ K.\ Berberian},
  doi           = {10.1112/jlms/s1-33.3.376},
  url           = {https://doi.org/10.1112/jlms/s1-33.3.376}
}

@Article{         Rosenlicht_1972,
  author        = {Rosenlicht, Maxwell},
  title         = {Integration in finite terms},
  fjournal      = {American Mathematical Monthly},
  journal       = {Am. Math. Mon.},
  issn          = {0002-9890},
  volume        = {79},
  pages         = {963--972},
  year          = {1972},
  language      = {English},
  doi           = {10.2307/2318066},
  keywords      = {12H05},
  zbmath        = {3394287},
  zbl           = {0249.12106}
}

@Article{         Rote_2023,
  title         = {The Generalized Combinatorial Lasoń-Alon-Zippel-Schwartz
                  Nullstellensatz Lemma},
  url           = {http://arxiv.org/abs/2305.10900},
  doi           = {10.48550/arXiv.2305.10900},
  abstractnote  = {We survey a few strengthenings and generalizations of the
                  Combinatorial Nullstellensatz of Alon and the
                  Schwartz-Zippel Lemma. These lemmas guarantee the existence
                  of (a certain number of) nonzeros of a multivariate
                  polynomial when the variables run independently through
                  sufficiently large ranges.},
  note          = {arXiv:2305.10900 [math]},
  number        = {arXiv:2305.10900},
  publisher     = {arXiv},
  author        = {Rote, Günter},
  year          = {2023},
  month         = may
}

@Book{            rudin1991,
  author        = {Rudin, Walter},
  title         = {Functional analysis},
  edition       = {2nd ed.},
  isbn          = {0-07-054236-8},
  year          = {1991},
  publisher     = {New York, NY: McGraw-Hill},
  language      = {English},
  keywords      = {46-02,47-02,46Axx,46Bxx,46Exx,46Fxx,46Jxx,47B06,47D03,47H10,46L05,47B15},
  zbmath        = {1022519},
  zbl           = {0867.46001}
}

@Book{            rudin2006real,
  title         = {Real and Complex Analysis},
  author        = {Rudin, Walter},
  year          = {1987},
  publisher     = {McGraw-Hill Book Company},
  edition       = {Third Edition},
  isbn          = {0-07-100276-6}
}

@Article{         ruzsa2009,
  author        = {Ruzsa, Imre},
  title         = {Sumsets and structure},
  journal       = {Combinatorial Number Theory and Additive Group Theory},
  year          = {2009},
  month         = {01}
}

@Book{            sakai1971,
  author        = {Sakai, Sh\^oichir\^o},
  title         = {{$C\sp*$}-algebras and {$W\sp*$}-algebras},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete [Results
                  in Mathematics and Related Areas]},
  volume        = {Band 60},
  publisher     = {Springer-Verlag, New York-Heidelberg},
  year          = {1971},
  pages         = {xii+253},
  mrclass       = {46L05 (46L10)},
  mrnumber      = {442701}
}

@Article{         salwinski2018,
  author        = {Salwinski, David},
  title         = {Euler's sine product formula: an elementary proof},
  journal       = {College Math. J.},
  fjournal      = {The College Mathematics Journal},
  volume        = {49},
  year          = {2018},
  number        = {2},
  pages         = {126--135},
  issn          = {0746-8342},
  mrclass       = {26A06 (00A05)},
  mrnumber      = {3766700},
  doi           = {10.1080/07468342.2018.1419703}
}

@Book{            samuel1967,
  author        = {Samuel, Pierre},
  title         = {Th\'{e}orie alg\'{e}brique des nombres},
  publisher     = {Hermann, Paris},
  year          = {1967},
  pages         = {130},
  mrclass       = {10.65 (12.00)},
  mrnumber      = {0215808}
}

@Book{            schaefer1966,
  title         = {Topological Vector Spaces},
  author        = {Schaefer, H.H.},
  lccn          = {65024692},
  series        = {Graduate Texts in Mathematics},
  year          = {1966},
  publisher     = {Macmillan}
}

@Misc{            schleicher_stoll,
  author        = {Dierk Schleicher and Michael Stoll},
  title         = {An introduction to {C}onway's games and numbers},
  url           = {http://www.cs.cmu.edu/afs/cs/academic/class/15859-s05/www/lecture-notes/comb-games-notes.pdf}
}

@Book{            schmeding2023,
  author        = {Schmeding, Alexander},
  title         = {An introduction to infinite-dimensional differential
                  geometry},
  series        = {Cambridge Studies in Advanced Mathematics},
  volume        = {202},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2023},
  pages         = {xiv+267},
  isbn          = {978-1-316-51488-7},
  mrclass       = {58-02 (22E65 46-02 53-02 58B25 58D05 58D15 58H05)},
  mrnumber      = {4505843},
  mrreviewer    = {Thomas\ O.\ Rot}
}

@Misc{            scholze2011perfectoid,
  title         = {Perfectoid spaces},
  author        = {Peter Scholze},
  year          = {2011},
  eprint        = {1111.4914},
  archiveprefix = {arXiv},
  primaryclass  = {math.AG}
}

@InProceedings{   scholze2013adic,
  title         = {p-adic Hodge theory for rigid-analytic varieties},
  author        = {Scholze, Peter},
  booktitle     = {Forum of Mathematics, Pi},
  volume        = {1},
  pages         = {e1},
  year          = {2013},
  organization  = {Cambridge University Press}
}

@Misc{            scholze2019condensed,
  title         = {Lectures on Condensed Mathematics},
  author        = {Peter Scholze},
  year          = {2019},
  url           = {https://www.math.uni-bonn.de/people/scholze/Condensed.pdf}
}

@Article{         schur1911,
  author        = {Schur, I.},
  title         = {Bemerkungen zur {Theorie} der beschr{\"a}nkten
                  {Bilinearformen} mit unendlich vielen {Ver{\"a}nderlichen}},
  journal       = {Journal f{\"u}r die reine und angewandte Mathematik},
  volume        = {140},
  pages         = {1--28},
  year          = {1911},
  doi           = {10.1515/crll.1911.140.1}
}

@Book{            schwartz1950,
  author        = {Schwartz, Laurent},
  title         = {Th{\'e}orie des distributions. {Tome} {I}},
  fseries       = {Publications de l'Institut de Math{\'e}matique de
                  l'Universit{\'e} de Strasbourg},
  series        = {Publ. Inst. Math. Univ. Strasbourg},
  volume        = {9},
  year          = {1950},
  publisher     = {Hermann, Paris},
  language      = {French},
  keywords      = {46Fxx,46-02},
  zbmath        = {3056109},
  zbl           = {0037.07301}
}

@Article{         schwartz1957,
  author        = {Schwartz, Laurent},
  title         = {Th{\'e}orie des distributions {\`a} valeurs vectorielles},
  fjournal      = {Annales de l'Institut Fourier},
  journal       = {Ann. Inst. Fourier},
  issn          = {0373-0956},
  volume        = {7},
  pages         = {1--141},
  year          = {1957},
  language      = {French},
  doi           = {10.5802/aif.68},
  url           = {https://eudml.org/doc/73734},
  zbmath        = {3145498},
  zbl           = {0089.09601}
}

@Article{         schwartz_1980,
  author        = {Schwartz, Jacob T.},
  title         = {Fast probabilistic algorithms for verification of
                  polynomial identities},
  journal       = {Journal of the ACM},
  volume        = {27},
  number        = {4},
  pages         = {701--717},
  year          = {1980},
  doi           = {10.1145/322217.322225}
}

@Book{            seligman1967,
  author        = {Seligman, G. B.},
  title         = {Modular {L}ie algebras},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band
                  40},
  publisher     = {Springer-Verlag New York, Inc., New York},
  year          = {1967},
  pages         = {ix+165},
  mrclass       = {17.30 (22.00)},
  mrnumber      = {0245627},
  mrreviewer    = {R. E. Block}
}

@Book{            seneta2006,
  author        = {Seneta, Eugene},
  title         = {Non-negative Matrices and Markov Chains},
  series        = {Springer Series in Statistics},
  edition       = {Revised printing of the second edition},
  publisher     = {Springer},
  address       = {New York},
  year          = {2006}
}

@Book{            serge_lang_algebra,
  author        = {Serge Lang},
  title         = {Algebra},
  isbn          = {978-0-387-95385-4},
  year          = {2002},
  publisher     = {Springer New York, NY},
  language      = {English},
  doi           = {10.1007/978-1-4613-0041-0},
  edition       = {3},
  series        = {Graduate Texts in Mathematics}
}

@Book{            serre-galois,
  author        = {Serre, Jean-Pierre},
  title         = {Topics in {G}alois theory},
  series        = {Research Notes in Mathematics},
  volume        = {1},
  edition       = {Second},
  note          = {With notes by Henri Darmon},
  publisher     = {A K Peters, Ltd., Wellesley, MA},
  year          = {2008},
  pages         = {xvi+120},
  isbn          = {978-1-56881-412-4},
  mrclass       = {12F12},
  mrnumber      = {2363329}
}

@Article{         serre1951,
  author        = {Serre, Jean-Pierre},
  title         = {Homologie singuli\`ere des espaces fibr\'{e}s.
                  {A}pplications},
  journal       = {Ann. of Math. (2)},
  year          = {1951},
  volume        = {54},
  pages         = {425--505},
  issn          = {0003-486X},
  doi           = {10.2307/1969485},
  fjournal      = {Annals of Mathematics. Second Series},
  mrclass       = {56.0X},
  mrnumber      = {0045386},
  mrreviewer    = {W. S. Massey}
}

@Article{         serre1958,
  author        = {Serre, Jean-Pierre},
  title         = {Groupes d'homotopie et classes de groupes ab\'eliens},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {58},
  year          = {1953},
  pages         = {258--294},
  issn          = {0003-486X},
  mrclass       = {56.0X},
  mrnumber      = {59548},
  mrreviewer    = {W.\ S.\ Massey},
  doi           = {10.2307/1969789},
  url           = {https://doi.org/10.2307/1969789}
}

@Book{            serre1965,
  author        = {Serre, Jean-Pierre},
  title         = {Complex semisimple {L}ie algebras},
  note          = {Translated from the French by G. A. Jones},
  publisher     = {Springer-Verlag, New York},
  year          = {1987},
  pages         = {x+74},
  isbn          = {0-387-96569-6},
  mrclass       = {17-01 (17B20)},
  mrnumber      = {914496},
  doi           = {10.1007/978-1-4757-3910-7},
  url           = {https://doi.org/10.1007/978-1-4757-3910-7}
}

@InProceedings{   serre1967,
  author        = {Serre, Jean-Pierre},
  title         = {Local class field theory},
  booktitle     = {Algebraic {N}umber {T}heory ({P}roc. {I}nstructional
                  {C}onf., {B}righton, 1965)},
  pages         = {128--161},
  publisher     = {Thompson, Washington, D.C.},
  year          = {1967},
  mrclass       = {10.68},
  mrreviewer    = {G. Whaples}
}

@Book{            serre1968,
  author        = {Serre, Jean-Pierre},
  title         = {Corps locaux},
  series        = {Publications de l'Universit\'e{} de {N}ancago},
  volume        = {No. VIII},
  note          = {Deuxi\`eme \'edition},
  publisher     = {Hermann, {P}aris},
  year          = {1968},
  pages         = {245},
  mrclass       = {12BXX (14GXX)},
  mrnumber      = {354618}
}

@Book{            serre1973,
  author        = {Serre, J.-P.},
  title         = {A course in arithmetic},
  series        = {Graduate Texts in Mathematics},
  volume        = {No. 7},
  note          = {Translated from the French},
  publisher     = {Springer-Verlag, New York-Heidelberg},
  year          = {1973},
  pages         = {viii+115},
  mrclass       = {12-02 (10CXX 10DXX)},
  mrnumber      = {344216}
}

@Book{            sga-4-tome-1,
  editor        = {Artin, Michael and Grothendieck, Alexander and Verdier, J.
                  L. and Bourbaki, N. and Deligne, P. and Saint-Donat,
                  Bernard},
  title         = {S{\'e}minaire de g{\'e}om{\'e}trie alg{\'e}brique du
                  {Bois}-{Marie} 1963--1964. {Th{\'e}orie} des topos et
                  cohomologie {\'e}tale des sch{\'e}mas. ({SGA} 4). {Un}
                  s{\'e}minaire dirig{\'e} par {M}. {Artin}, {A}.
                  {Grothendieck}, {J}. {L}. {Verdier}. {Avec} la
                  collaboration de {N}. {Bourbaki}, {P}. {Deligne}, {B}.
                  {Saint}-{Donat}. {Tome} 1: {Th{\'e}orie} des topos.
                  {Expos{\'e}s} {I} {\`a} {IV}. 2e {\'e}d.},
  fseries       = {Lecture Notes in Mathematics},
  series        = {Lect. Notes Math.},
  issn          = {0075-8434},
  volume        = {269},
  year          = {1972},
  publisher     = {Springer, Cham},
  language      = {French},
  doi           = {10.1007/BFb0081551},
  keywords      = {00B15,14-06},
  zbmath        = {3370272},
  zbl           = {0234.00007}
}

@Book{            shimura1971,
  author        = {Shimura, Goro},
  title         = {Introduction to the arithmetic theory of automorphic
                  functions},
  series        = {Publications of the Mathematical Society of Japan},
  volume        = {11},
  note          = {Kan\^{o} Memorial Lectures, No. 1},
  publisher     = {Iwanami Shoten Publishers, Tokyo; Princeton University
                  Press, Princeton, NJ},
  year          = {1971},
  pages         = {xiv+267},
  mrnumber      = {0314766}
}

@Book{            sierpinski1958,
  author        = {Wacław Sierpiński},
  title         = {Cardinal and Ordinal Numbers},
  publisher     = {Państwowe Wydawnictwo Naukowe},
  year          = {1958}
}

@Book{            silverman2009,
  author        = {Silverman, Joseph},
  publisher     = {Springer New York, NY},
  series        = {Graduate Texts in Mathematics},
  title         = {The Arithmetic of Elliptic Curves},
  year          = {2009}
}

@Article{         silvester2000,
  issn          = {00255572},
  url           = {http://www.jstor.org/stable/3620776},
  author        = {Silvester, John R.},
  journal       = {The Mathematical Gazette},
  number        = {501},
  pages         = {460--467},
  publisher     = {Mathematical Association},
  title         = {Determinants of Block Matrices},
  volume        = {84},
  year          = {2000}
}

@Book{            simon2011,
  author        = {Simon, Barry},
  title         = {Convexity: An Analytic Viewpoint},
  year          = {2011},
  series        = {Cambridge Tracts in Mathematics},
  publisher     = {Cambridge University Press},
  place         = {Cambridge},
  doi           = {10.1017/CBO9780511910135},
  collection    = {Cambridge Tracts in Mathematics}
}

@Book{            Singer_1970,
  author        = {Singer, Ivan},
  title         = {Bases in Banach spaces},
  keywords      = {Banach spaces. ; Banach spaces ; Banach-Raum},
  language      = {eng},
  lccn          = {75099014},
  publisher     = {Springer-Verlag},
  series        = {Die Grundlehren der mathematischen Wissenschaften in
                  Einzeldarstellungen mit besonderer Berücksichtigung der
                  Anwendungsgebiete ; Bd. 154},
  year          = {1970}
}

@Article{         Sion-1958,
  title         = {On general minimax theorems},
  author        = {Sion, Maurice},
  year          = 1958,
  journal       = {Pacific Journal of Mathematics},
  volume        = {8},
  number        = {1},
  pages         = {171--176},
  publisher     = {Mathematical Sciences Publishers},
  issn          = {0030-8730}
}

@Article{         skoda2006,
  author        = {{\v{S}}koda, Zoran},
  title         = {Noncommutative localization in noncommutative geometry},
  journal       = {London Math. Soc. Lecture Note Series},
  fjournal      = {London Mathematical Society Lecture Note Series},
  volume        = {330},
  pages         = {220--313},
  year          = {2006},
  url           = {https://doi.org/10.48550/arXiv.math/0403276}
}

@Book{            soare1987,
  author        = {Soare, Robert I.},
  title         = {Recursively enumerable sets and degrees},
  series        = {Perspectives in Mathematical Logic},
  note          = {A study of computable functions and computably generated
                  sets},
  publisher     = {Springer-Verlag, Berlin},
  year          = {1987},
  pages         = {xviii+437},
  isbn          = {3-540-15299-7},
  mrclass       = {03-02 (03D20 03D25 03D30)},
  mrnumber      = {882921},
  mrreviewer    = {Peter G. Hinman},
  doi           = {10.1007/978-3-662-02460-7}
}

@Article{         spaltenstein1988,
  author        = {Spaltenstein, N.},
  title         = {Resolutions of unbounded complexes},
  journal       = {Compositio Math.},
  fjournal      = {Compositio Mathematica},
  volume        = {65},
  year          = {1988},
  number        = {2},
  pages         = {121--154},
  issn          = {0010-437X,1570-5846},
  mrclass       = {18E25 (32C35)},
  mrnumber      = {932640},
  mrreviewer    = {Michael\ M.\ Kapranov},
  url           = {http://www.numdam.org/item?id=CM_1988__65_2_121_0}
}

@Book{            spiegel_odonnell1997,
  author        = {Spiegel, Eugene and O'Donnell, Christopher J.},
  title         = {Incidence algebras},
  series        = {Monographs and Textbooks in Pure and Applied Mathematics},
  volume        = {206},
  publisher     = {Marcel Dekker, Inc., New York},
  year          = {1997},
  pages         = {x+335},
  isbn          = {0-8247-0036-8},
  mrclass       = {06-02 (05-02 16S99)},
  mrnumber      = {1445562},
  mrreviewer    = {Giovanni\ Ferrero}
}

@InProceedings{   srl_itp,
  author        = {Dillies, Ya\"{e}l and Mehta, Bhavik},
  title         = {{Formalising Szemer\'{e}di’s Regularity Lemma in Lean}},
  booktitle     = {13th International Conference on Interactive Theorem
                  Proving (ITP 2022)},
  pages         = {9:1--9:19},
  series        = {Leibniz International Proceedings in Informatics
                  (LIPIcs)},
  isbn          = {978-3-95977-252-5},
  issn          = {1868-8969},
  year          = {2022},
  volume        = {237},
  editor        = {Andronick, June and de Moura, Leonardo},
  publisher     = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address       = {Dagstuhl, Germany},
  url           = {https://drops.dagstuhl.de/opus/volltexte/2022/16718},
  urn           = {urn:nbn:de:0030-drops-167185},
  doi           = {10.4230/LIPIcs.ITP.2022.9},
  annote        = {Keywords: Lean, formalisation, formal proof, graph theory,
                  combinatorics, additive combinatorics, Szemer\'{e}di’s
                  Regularity Lemma, Roth’s Theorem}
}

@Misc{            stacks-project,
  title         = {Stacks Project},
  author        = {The {Stacks Project Authors}},
  year          = {2018},
  url           = {https://stacks.math.columbia.edu}
}

@Book{            stanley2012,
  author        = {Stanley, Richard P.},
  title         = {Enumerative combinatorics},
  place         = {Cambridge},
  publisher     = {Cambridge Univ. Press},
  year          = {2012}
}

@Book{            stenstrom1971,
  author        = {Stenstr\"{o}m, Bo},
  title         = {Rings and modules of quotients},
  series        = {Lecture Notes in Mathematics, Vol. 237},
  publisher     = {Springer-Verlag, Berlin-New York},
  year          = {1971},
  pages         = {vii+136},
  mrclass       = {16A08},
  mrnumber      = {325663},
  mrreviewer    = {G.\ Michler}
}

@Book{            stenstrom1975,
  author        = {Stenstr\"{o}m, Bo},
  title         = {Rings of quotients},
  series        = {Die Grundlehren der mathematischen Wissenschaften, Band
                  217},
  note          = {An introduction to methods of ring theory},
  publisher     = {Springer-Verlag, New York-Heidelberg},
  year          = {1975},
  pages         = {viii+309},
  mrclass       = {16-02},
  mrnumber      = {389953},
  mrreviewer    = {G.\ Michler}
}

@Book{            stern2009,
  author        = {Stern, Manfred},
  title         = {Semimodular lattices. {Theory} and applications},
  edition       = {Reprint of the 1999 hardback ed.},
  isbn          = {978-0-521-11884-2},
  year          = {2009},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  keywords      = {06C10,06-02,06A07},
  zbmath        = {5610899},
  zbl           = {1175.06002}
}

@Article{         Stone1935,
  author        = {Stone, M. H.},
  year          = {1935},
  title         = {Postulates for Boolean Algebras and Generalized Boolean
                  Algebras},
  journal       = {American Journal of Mathematics},
  volume        = {57},
  issue         = {4},
  doi           = {10.2307/2371008}
}

@Article{         Stone1938,
  author        = {Stone, M. H.},
  year          = {1938},
  title         = {Topological representations of distributive lattices and
                  Brouwerian logics},
  journal       = {Časopis pro pěstování matematiky a fysiky},
  volume        = {67},
  issue         = {1},
  url           = {http://dml.cz/dmlcz/124080}
}

@Article{         Stone1979,
  author        = {Stone, A. H.},
  journal       = {General Topology Appl.},
  title         = {Inverse limits of compact spaces},
  year          = {1979},
  issn          = {0016-660X},
  number        = {2},
  pages         = {203--211},
  volume        = {10},
  doi           = {10.1016/0016-660x(79)90008-4},
  fjournal      = {General Topology and its Applications},
  mrclass       = {54B25},
  mrnumber      = {527845},
  mrreviewer    = {J. Segal}
}

@Article{         Strojnowski1980,
  author        = {Andrzej Strojnowski},
  title         = {A note on u.p. groups},
  journal       = {Communications in Algebra},
  volume        = {8},
  number        = {3},
  pages         = {231-234},
  year          = {1980},
  publisher     = {Taylor & Francis},
  doi           = {10.1080/00927878008822456}
}

@Book{            talagrand2014,
  author        = {Talagrand, Michel},
  title         = {Upper and lower bounds for stochastic processes},
  series        = {Ergebnisse der Mathematik und ihrer Grenzgebiete. 3.
                  Folge. A Series of Modern Surveys in Mathematics [Results
                  in Mathematics and Related Areas. 3rd Series. A Series of
                  Modern Surveys in Mathematics]},
  volume        = {60},
  note          = {Modern methods and classical problems},
  publisher     = {Springer, Heidelberg},
  year          = {2014},
  pages         = {xvi+626},
  isbn          = {978-3-642-54074-5; 978-3-642-54075-2},
  mrclass       = {60G17 (46B99 60B11 60G15 60G52)},
  mrnumber      = {3184689},
  mrreviewer    = {Sasha\ Sodin},
  doi           = {10.1007/978-3-642-54075-2},
  url           = {https://doi.org/10.1007/978-3-642-54075-2}
}

@Book{            tao-vu,
  author        = {Tao, Terence and Vu, Van H.},
  title         = {Additive combinatorics},
  fseries       = {Cambridge Studies in Advanced Mathematics},
  series        = {Camb. Stud. Adv. Math.},
  volume        = {105},
  isbn          = {0-521-85386-9},
  year          = {2006},
  publisher     = {Cambridge: Cambridge University Press},
  language      = {English},
  keywords      = {11-02,05-02,05D10,05D40,11B75,11B13,11N13,11P70,11K31,11P82,28D05,37A45},
  zbmath        = {5066399},
  zbl           = {1127.11002}
}

@Book{            tao2010,
  author        = {Tao, Terence},
  title         = {An Epsilon of Room, I: Real Analysis: Pages from Year
                  Three of a Mathematical Blog},
  year          = 2010,
  publisher     = {American Mathematical Society},
  url           = {https://terrytao.files.wordpress.com/2010/02/epsilon.pdf}
}

@Article{         Taylor-Wiles-FLT,
  author        = {Taylor, Richard and Wiles, Andrew},
  title         = {Ring-theoretic properties of certain {H}ecke algebras},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {141},
  year          = {1995},
  number        = {3},
  pages         = {553--572},
  issn          = {0003-486X,1939-8980},
  mrclass       = {11G18 (11D41 11F11 11R34 13C40)},
  mrnumber      = {1333036},
  mrreviewer    = {Karl\ Rubin},
  doi           = {10.2307/2118560},
  url           = {https://doi.org/10.2307/2118560}
}

@Book{            taylorPDE1,
  author        = {Taylor, Michael E.},
  title         = {Partial differential equations {I}. {B}asic theory},
  series        = {Applied Mathematical Sciences},
  volume        = {115},
  edition       = {Second},
  publisher     = {Springer, New York},
  year          = {2011},
  pages         = {xxii+654},
  isbn          = {978-1-4419-7054-1},
  mrclass       = {35-01 (46N20 47F05 47N20)},
  mrnumber      = {2744150},
  doi           = {10.1007/978-1-4419-7055-8},
  url           = {https://doi.org/10.1007/978-1-4419-7055-8}
}

@Book{            Tent_Ziegler,
  place         = {Cambridge},
  series        = {Lecture Notes in Logic},
  title         = {A Course in Model Theory},
  doi           = {10.1017/CBO9781139015417},
  publisher     = {Cambridge University Press},
  author        = {Tent, Katrin and Ziegler, Martin},
  year          = {2012},
  collection    = {Lecture Notes in Logic}
}

@Article{         tochiori_bertrand,
  author        = {Tochiori, Shigenori},
  title         = {Considering the Proof of "There is a Prime between n and
                  2n"},
  subtitle      = {Proof by a stronger estimation than the Bertrand-Chebyshev
                  theorem},
  language      = {Japanese},
  url           = {https://www.chart.co.jp/subject/sugaku/suken_tsushin/76/76-8.pdf}
}

@Book{            tointon2020,
  author        = {Tointon, Matthew C. H.},
  title         = {Introduction to approximate groups},
  series        = {London Mathematical Society Student Texts},
  volume        = {94},
  publisher     = {Cambridge University Press, Cambridge},
  year          = {2020},
  pages         = {xiii+205},
  isbn          = {978-1-108-45644-9; 978-1-108-47073-5},
  mrclass       = {20E07 (20F65)},
  mrnumber      = {3971253}
}

@Book{            treves1967,
  author        = {Tr\`eves, Fran\c cois},
  title         = {Topological vector spaces, distributions and kernels},
  publisher     = {Academic Press, New York-London},
  year          = {1967},
  pages         = {xvi+624},
  mrclass       = {46.00},
  mrnumber      = {225131}
}

@Book{            upmeier1987,
  author        = {Harald {Upmeier}},
  title         = {{Jordan algebras in analysis, operator theory, and quantum
                  mechanics}},
  fjournal      = {{Regional Conference Series in Mathematics}},
  journal       = {{Reg. Conf. Ser. Math.}},
  issn          = {0160-7642},
  volume        = {67},
  isbn          = {0-8218-0717-X},
  pages         = {viii + 85},
  year          = {1987},
  publisher     = {Providence, RI: American Mathematical Society (AMS)},
  language      = {English},
  msc2010       = {17-02 46-02 17C65 46H70 32M15 46G20 46L70 47B35 81Q99},
  zbl           = {0608.17013}
}

@Article{         Vaisala_2003,
  author        = {Jussi Väisälä},
  title         = {A Proof of the Mazur-Ulam Theorem},
  year          = 2003,
  journal       = {The American Mathematical Monthly},
  volume        = 110,
  number        = 7,
  publisher     = {Taylor & Francis, Ltd. on behalf of the Mathematical
                  Association of America},
  pages         = {633-635},
  url           = {https://www.jstor.org/stable/3647749},
  doi           = {10.2307/3647749}
}

@Article{         van_der_hoeven,
  author        = {van der Hoeven, Joris},
  year          = {2001},
  month         = {12},
  pages         = {},
  title         = {Operators on generalized power series},
  volume        = {45},
  journal       = {Illinois Journal of Mathematics},
  doi           = {10.1215/ijm/1258138061}
}

@Book{            verdier1996,
  author        = {Verdier, Jean-Louis},
  title         = {Des cat\'{e}gories d\'{e}riv\'{e}es des cat\'{e}gories
                  ab\'{e}liennes},
  note          = {With a preface by Luc Illusie, Edited and with a note by
                  Georges Maltsiniotis},
  journal       = {Ast\'{e}risque},
  number        = {239},
  year          = {1996},
  pages         = {xii+253 pp. (1997)},
  issn          = {0303-1179},
  mrclass       = {18E30 (18-03 18E35)},
  mrnumber      = {1453167}
}

@Article{         veroff,
  author        = {Robert Veroff},
  title         = {A Shortest 2-Basis for Boolean Algebra in Terms of the
                  Sheffer Stroke},
  journal       = {Journal of Automated Reasoning},
  volume        = 31,
  issue         = 1,
  year          = {2003},
  pages         = {1--9},
  url           = {https://www.cs.unm.edu/~veroff/DOCS/2basis.pdf}
}

@Book{            vershynin2018high,
  title         = {High-dimensional probability: An introduction with
                  applications in data science},
  author        = {Vershynin, Roman},
  series        = {Cambridge Series in Statistical and Probabilistic
                  Mathematics},
  volume        = {47},
  year          = {2018},
  publisher     = {Cambridge university press},
  isbn          = {9781108415194}
}

@Book{            Vickers1989,
  author        = {Vickers, Steven},
  title         = {Topology via Logic},
  isbn          = {0-521-57651-2},
  year          = {1989},
  publisher     = {University of Cambridge},
  language      = {English}
}

@Misc{            vistoli2004,
  author        = {Vistoli, Angelo},
  title         = {Notes on {Grothendieck} topologies, fibered categories and
                  descent theory},
  year          = {2004},
  howpublished  = {Preprint, {arXiv}:math/0412512 [math.{AG}] (2004)},
  url           = {https://arxiv.org/abs/math/0412512},
  arxiv         = {arXiv:math/0412512}
}

@Article{         vogt-1971,
  author        = {Vogt, Rainer M.},
  title         = {Convenient categories of topological spaces for homotopy
                  theory},
  journal       = {Arch. Math. (Basel)},
  fjournal      = {Archiv der Mathematik},
  volume        = {22},
  year          = {1971},
  pages         = {545--555},
  issn          = {0003-889X,1420-8938},
  mrclass       = {55D99 (54A99)},
  mrnumber      = {300277},
  doi           = {10.1007/BF01222616},
  url           = {https://doi.org/10.1007/BF01222616}
}

@Article{         vonNeumann-1928,
  title         = {Zur {T}heorie der {G}esellschaftsspiele},
  author        = {{von Neumann}, John},
  year          = 1928,
  journal       = {Mathematische Annalen},
  volume        = {100},
  number        = {1},
  pages         = {295--320},
  issn          = {1432-1807},
  doi           = {10.1007/BF01448847}
}

@InProceedings{   Vorobets2012,
  author        = {Vorobets, Yaroslav},
  title         = {Notes on the {S}chreier graphs of the {G}rigorchuk group},
  booktitle     = {Dynamical systems and group actions},
  series        = {Contemp. Math.},
  volume        = {567},
  pages         = {221--248},
  publisher     = {Amer. Math. Soc., Providence, RI},
  year          = {2012}
}

@Book{            wall2018analytic,
  title         = {Analytic Theory of Continued Fractions},
  author        = {Wall, H.S.},
  isbn          = {9780486830445},
  series        = {Dover Books on Mathematics},
  year          = {2018},
  publisher     = {Dover Publications}
}

@Book{            washington_cyclotomic,
  author        = {Washington, Lawrence C.},
  title         = {Introduction to cyclotomic fields},
  series        = {Graduate Texts in Mathematics},
  volume        = {83},
  edition       = {Second},
  publisher     = {Springer-Verlag, New York},
  year          = {1997}
}

@Book{            wasserman2003,
  author        = {Wasserman, Larry},
  title         = {All Of Statistics: A Concise Course in Statistical
                  Inference},
  year          = 2004,
  publisher     = {Springer}
}

@Misc{            wedhorn_adic,
  author        = {Torsten Wedhorn},
  title         = {Adic Spaces},
  year          = {2019},
  eprint        = {arXiv:1910.05934}
}

@Book{            Weibel2013,
  author        = {Weibel, Charles A.},
  title         = {The {K}-book: an introduction to algebraic {K}-theory},
  isbn          = {978-0-8218-9132-2},
  series        = {Graduate Studies in Mathematics },
  volume        = {145},
  year          = {2013},
  publisher     = {American Mathematical Society},
  url           = {https://sites.math.rutgers.edu/~weibel/Kbook.html}
}

@Book{            weidmann_linear,
  author        = {Weidmann, Joachim},
  title         = {Linear operators in {H}ilbert spaces},
  isbn          = {0-387-90427-1},
  series        = {Graduate Texts in Mathematics},
  volume        = {68},
  note          = {Translated from the German by Joseph Sz\"{u}cs},
  publisher     = {Springer},
  year          = {1980},
  pages         = {xiii+402}
}

@Misc{            weierstrass1895,
  author        = {Weierstrass, Karl},
  title         = {Mathematische {Werke}. {Herausgegeben} unter {Mitwirkung}
                  einer von der {K{\"o}niglich} {Preussischen} {Akademie} der
                  {Wissenschaften} eingesetzten {Commission}. {Zweiter}
                  {Band}. {Abhandlungen} {II}.},
  year          = {1895},
  language      = {German},
  howpublished  = {Berlin. {Mayer} \& {M{\"u}ller}. {VI} + 363 {S}.
                  {{\(4^\circ\)}} (1895).},
  zbmath        = {2677943},
  jfm           = {26.0041.01}
}

@Misc{            welzl_garter,
  author        = {Emo Welzl and Bernd G\"{a}rtner},
  title         = {Cone Programming},
  url           = {https://ti.inf.ethz.ch/ew/lehre/ApproxSDP09/notes/conelp.pdf}
}

@Book{            widder1941,
  author        = {Widder, David Vernon},
  title         = {The {L}aplace Transform},
  year          = {1941},
  publisher     = {Princeton University Press},
  series        = {Princeton Mathematical Series},
  volume        = {6}
}

@Book{            Wielandt-1964,
  title         = {Finite Permutation Groups},
  author        = {Wielandt, Helmut},
  translator    = {Bercov, R.},
  year          = {1964},
  series        = {Academic Paperbacks},
  publisher     = {Academic Press},
  address       = {New York},
  isbn          = {978-0-12-749650-4}
}

@Article{         Wiles-FLT,
  author        = {Wiles, Andrew},
  title         = {Modular elliptic curves and {F}ermat's last theorem},
  journal       = {Ann. of Math. (2)},
  fjournal      = {Annals of Mathematics. Second Series},
  volume        = {141},
  year          = {1995},
  number        = {3},
  pages         = {443--551},
  issn          = {0003-486X,1939-8980},
  mrclass       = {11G05 (11D41 11F11 11F80 11G18)},
  mrnumber      = {1333035},
  mrreviewer    = {Karl\ Rubin},
  doi           = {10.2307/2118559},
  url           = {https://doi.org/10.2307/2118559}
}

@Article{         windisch2021,
  title         = {Equivalent characterizations of non-Archimedean uniform
                  spaces},
  author        = {Daniel Windisch},
  year          = {2021},
  eprint        = {2111.09722},
  archiveprefix = {arXiv},
  primaryclass  = {math.GN},
  url           = {https://arxiv.org/abs/2111.09722}
}

@TechReport{      zaanen1966,
  author        = {Zaanen, A. C.},
  title         = {Lectures on "Riesz Spaces"},
  institution   = {Euratom},
  year          = {1966},
  number        = {EUR 3140.e}
}

@Article{         Zagier1990,
  author        = {Zagier, Don},
  title         = {A One-Sentence Proof That Every Prime {$p\equiv 1(\mod
                  4)$} Is a Sum of Two Squares},
  publisher     = {Mathematical Association of America},
  year          = {1990},
  pages         = {144},
  journal       = {The American Mathematical Monthly},
  volume        = {97},
  number        = {2},
  doi           = {10.2307/2323918},
  url           = {https://doi.org/10.2307/2323918}
}

@Book{            zbMATH02107988,
  author        = {Willard, Stephen},
  title         = {General topology},
  edition       = {Reprint of the 1970 original},
  isbn          = {0-486-43479-6},
  year          = {2004},
  publisher     = {Mineola, NY: Dover Publications},
  language      = {English},
  keywords      = {54-01},
  zbmath        = {2107988},
  zbl           = {1052.54001}
}

@Book{            zbMATH05171613,
  author        = {Watkins, John J.},
  title         = {Topics in commutative ring theory},
  isbn          = {978-0-691-12748-4},
  year          = {2007},
  publisher     = {Princeton, NJ: Princeton University Press},
  language      = {English},
  keywords      = {13-01},
  zbmath        = {5171613},
  zbl           = {1123.13002}
}

@Article{         zbMATH06785026,
  author        = {John F. {Clauser} and Michael A. {Horne} and Abner
                  {Shimony} and Richard A. {Holt}},
  title         = {{Proposed experiment to test local hidden-variable
                  theories}},
  fjournal      = {{Physical Review Letters}},
  journal       = {{Phys. Rev. Lett.}},
  issn          = {0031-9007; 1079-7114/e},
  volume        = {23},
  pages         = {880--883},
  year          = {1969},
  publisher     = {American Physical Society (APS), New York, NY},
  language      = {English},
  msc2010       = {81-05},
  zbl           = {1371.81014},
  doi           = {10.1103/PhysRevLett.23.880},
  url           = {https://doi.org/10.1103/PhysRevLett.23.880}
}

@Article{         zeilberger1984,
  author        = {Zeilberger, Doron},
  title         = {A combinatorial proof of {N}ewton's identities},
  journal       = {Discrete Mathematics},
  volume        = {49},
  number        = {3},
  pages         = {319},
  year          = {1984},
  publisher     = {Elsevier},
  issn          = {0012-365X},
  zbl           = {0535.05010},
  doi           = {10.1016/0012-365X(84)90171-7},
  url           = {https://doi.org/10.1016/0012-365X(84)90171-7}
}

@Book{            zemmour2013diffeology,
  author        = {Patrick Iglesias-Zemmour},
  title         = {Diffeology},
  publisher     = {American Mathematical Society},
  year          = {2013},
  isbn          = {9780821891315},
  lccn          = {2012032894},
  series        = {Mathematical Surveys and Monographs},
  volume        = {185}
}

@Article{         zippel_1979,
  author        = {Zippel, Richard},
  title         = {Probabilistic algorithms for sparse polynomials},
  booktitle     = {Symbolic and Algebraic Computation, EUROSAM '79, An
                  International Symposium on Symbolic and Algebraic
                  Computation, Marseille, France, June 1979, Proceedings},
  series        = {Lecture Notes in Computer Science},
  volume        = {72},
  pages         = {216--226},
  year          = {1979},
  doi           = {10.1007/3-540-09519-5_73},
  isbn          = {978-3-540-09519-4}
}

@Article{         zorn1937,
  author        = {Zorn, Max},
  title         = {On a theorem of {E}ngel},
  journal       = {Bull. Amer. Math. Soc.},
  fjournal      = {Bulletin of the American Mathematical Society},
  volume        = {43},
  year          = {1937},
  number        = {6},
  pages         = {401--404},
  issn          = {0002-9904},
  mrclass       = {DML},
  mrnumber      = {1563550},
  doi           = {10.1090/S0002-9904-1937-06565-7},
  url           = {https://doi.org/10.1090/S0002-9904-1937-06565-7}
}

@Book{            zwillinger2003,
  title         = {CRC standard mathematical tables and formulae},
  publisher     = {chapman and hall/CRC},
  author        = {Zwillinger, Daniel},
  year          = {2003},
  edition       = {31st ed.}
}