3 papers
math.LO2026
A note on ultrahomogeneous unary algebras
Cheng Liao
In a recent paper \cite{q}, Quinn-Gregson fully classified ultrahomogeneous mono-unary algebras. In particular, he proved that every locally finite mono-unary algebra with finitely…
math.LO2026
On the sunflower property and the galah property
Cheng Liao
Sunflowerability, or the infinite sunflower property, was introduced and studied by Ackerman, Karker and Mirabi as a structural generalization of the well-known Î-system lemma for…
math.LO2026
Stable Canonical Rules for Intuitionistic Modal Logics
Cheng Liao
This paper develops stable canonical rules for intuitionistic modal logics, which were first introduced for superintuitionistic logics and transitive nor mal modal logics in [1] an…