Quantifier-eliminable locally finite graphs
From MaRDI portal
Publication:2996228
DOI10.1002/malq.200910130zbMath1222.03034OpenAlexW2102789049MaRDI QIDQ2996228
Publication date: 6 May 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910130
locally finite graphquantifier-eliminationdistance predicatelocally finite relational structureultra-homogeneous graph
Structural characterization of families of graphs (05C75) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work