First-Order Definability of Trees and Sparse Random Graphs
From MaRDI portal
Publication:3438138
DOI10.1017/S0963548306008376zbMath1119.03025arXivmath/0506288WikidataQ57401489 ScholiaQ57401489MaRDI QIDQ3438138
Tomasz Łuczak, Tom Bohman, Oleg Pikhurko, Oleg Verbitsky, J. H. Spencer, Alan M. Frieze, Clifford D. Smyth
Publication date: 15 May 2007
Published in: Combinatorics, Probability and Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0506288
05C05: Trees
05C80: Random graphs (graph-theoretic aspects)
03C13: Model theory of finite structures
03C40: Interpolation, preservation, definability
68Q19: Descriptive complexity and finite models