  We prove the monadic second order 0-1 law for two recursive tree models:
uniform attachment tree and preferential attachment tree. We also show that the
first order 0-1 law does not hold for non-tree uniform attachment models.
