MSO 0-1 law for recursive random trees

Autor: Malyshkin, Y. A., Zhukovskii, M. E.
Rok vydání: 2020
Předmět:
Druh dokumentu: Working Paper
Popis: 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.
Databáze: arXiv