Quantifier-eliminable locally finite graphs

DOI10.1002/MALQ.200910130MaRDI QIDQ2996228zbMATH OpenOpenAlexFDO

Authors Shawn Hedman, Wai Yan Pong

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

zbMATH Keywords

distance predicatelocally finite graphlocally finite relational structurequantifier-eliminationultra-homogeneous graph

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Structural characterization of families of graphs (05C75)

Cites work

• 6-transitive graphs
• Countable connected-homogeneous graphs
• Countable Ultrahomogeneous Undirected Graphs
• Homogeneous graphs
• scientific article; zbMATH DE number 1600999 (Why is no real title available?)
• scientific article; zbMATH DE number 1894708 (Why is no real title available?)
• scientific article; zbMATH DE number 914513 (Why is no real title available?)
• Infinite distance transitive graphs of finite valency
• Locally finite homogeneous graphs

Cited in

(1)

• Locally finite homogeneous graphs

This page was built for publication: Quantifier-eliminable locally finite graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996228)