MC-finiteness of labeled ternary spaces
Determine the number of labeled ternary spaces on an n-element universe satisfying axioms $T_1$–$T_4$, and establish whether the resulting counting sequence is MC-finite.
References
What is the number of labeled ternary spaces? Is it MC-finite?
— Effective MC-finiteness
(2502.10212 - Filmus et al., 14 Feb 2025) in Section 4, “Examples of ternary structures and properties,” second Problem environment