Two formalizations of AVL trees with room for extensions. The first formalization is monolithic and shorter, the second one in two stages, longer and a bit simpler. The final implementation is the same. If you are interested in developing this further, please contact .

Introduction Nature is a ubiquitous and powerful word that has been significant for understanding and endorsing forms of being and relationship throughout Western history. However, nature’s meanings—especially the social-relational significations that it carries—have varied over time, according to a range of contexts and “controlling images.”1 Nature is decidedly historical. Its myriad interpre...

Monotonically monolithic spaces were recently introduced by V.V. Tkachuk, and monotonically κ-monolithic spaces by O.Alas, Tkachuk, and R. Wilson. In this note we answer some of their questions by showing that monotonically ω-monolithic compact spaces must be Corson compact, yet there is a Corson compact space which is not monotonically ω-monolithic. We obtain a characterization of monotonic mo...