Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law

Jason Bell, Stanley Burris, Karen Yeats

Let $\cT$ be a monadic-second order class of finite trees, and let $\bT(x)$ be its (ordinary) generating function, with radius of convergence $\rho$. If $\rho \ge 1$ then $\cT$ has an exp…