Existential monadic second order logic on random rooted trees

DOI10.1016/j.disc.2018.09.012zbMath1400.05211arXiv1706.06192OpenAlexW2897052940WikidataQ129113599 ScholiaQ129113599MaRDI QIDQ1618231

Alexander E. Holroyd, Avi Levy, Moumanti Podder, J. H. Spencer

Publication date: 13 November 2018

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.06192

zbMATH Keywords

Galton-Watson treealmost sure expressibilityexistential monadic second order propertiesfiniteness of tree

Mathematics Subject Classification ID

Trees (05C05) Random graphs (graph-theoretic aspects) (05C80)

Related Items (1)

Galton–Watson games

Cites Work

• Elements of finite model theory.
• Second-Order Logic and Foundations of Mathematics
• Model Theory
• Existential second-order logic over graphs
• The strange logic of random graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Existential monadic second order logic on random rooted trees