M
athematics/
O
rder
Subject Classification
AMS:
Order, lattices, ordered algebraic structures
2023
Transport via Partial Galois Connections and Equivalences
by
Kevin Kappelmann
Oct 11
Modal quantales, involutive quantales, Dedekind Quantales
by
Georg Struth
and
Cameron Calk
Jul 25
Formalizing Results on Directed Sets
by
Akihisa Yamada
and
Jérémy Dubut
May 24
2019
Order Extension and Szpilrajn's Extension Theorem
by
Peter Zeller
and
Lukas Stevens
Jul 27
Complete Non-Orders and Fixed Points
by
Akihisa Yamada
and
Jérémy Dubut
Jun 27
2018
Properties of Orderings and Lattices
by
Georg Struth
Dec 11
2016
Allen's Interval Calculus
by
Fadoua Ghourabi
Sep 29
Stone Algebras
by
Walter Guttmann
Sep 06
2011
Lattice Properties
by
Viorel Preoteasa
Sep 22