Errata to "On the logical structure of some maximality and well-foundedness principles equivalent to choice principles"
by Hugo Herbelin and Jad Koleilat
--------------------------------------------------------------------------------------------------

July 2024:
∃MPCF- should be ∃MPCF⁻ and TTL^N should be TTL^ℕ in the conclusion, page 15.

February 2025:
Page 9, proof of Theorem 19: "⊂ is a strict order on P(P(A))" should
be "⊂ is a strict order on P(A)" (thanks to Dimitar Mitov).