Transitive Union-Closed Families

Angeliki Koutsoukou-Argyraki 📧 and Lawrence C. Paulson 📧

January 20, 2025

Abstract

We formalise a proof by Aaronson, Ellis and Leader showing that the Union-Closed Conjecture holds for the union-closed family generated by the cyclic translates of any fixed set.

License

BSD License

Topics

Related publications

  • Aaronson, J., Ellis, D., & Leader, I. (2021). A Note on Transitive Union-Closed Families. The Electronic Journal of Combinatorics, 28(2). https://doi.org/10.37236/9956

Session Transitive_Union_Closed_Families

Depends on

Cite

× 
@article{Transitive_Union_Closed_Families-AFP,
  author  = {Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson},
  title   = {Transitive Union-Closed Families},
  journal = {Archive of Formal Proofs},
  month   = {January},
  year    = {2025},
  note    = {\url{https://isa-afp.org/entries/Transitive_Union_Closed_Families.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest