Mathematics/Order

Subject Classification

AMS: Order, lattices, ordered algebraic structures

2025

Formal Proof of Dilworth's Theorem

by Vivek Soorya Maadoori, Syed Mohammad Meesum, Shiv Pillai, T. V. H. Prathamesh and Aditya Swami

Mar 25

2024

Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering

by Martin Desharnais

Oct 24

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