First order non-definability of some transit functions on graphs

DOI10.1016/J.DAM.2025.07.050MaRDI QIDQ6906724zbMATH OpenFDO

Authors Jeny Jacob, Manoj Changat

Publication date 4 November 2025

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

Full work available at URL https://doi.org/10.1016/J.DAM.2025.07.050

zbMATH Keywords

interval functionsegment functiontriangle-induced path transit function

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Paths and cycles (05C38)

Cites work

• A characterization of the interval function of a connected graph
• A note on the interval function of a disconnected graph
• An application of games to the completeness problem for formalized theories
• Axiomatic characterization of the interval function of a graph
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• Convexities related to path properties on graphs
• scientific article; zbMATH DE number 439012 (Why is no real title available?)
• scientific article; zbMATH DE number 3697163 (Why is no real title available?)
• scientific article; zbMATH DE number 1842910 (Why is no real title available?)
• scientific article; zbMATH DE number 1449370 (Why is no real title available?)
• scientific article; zbMATH DE number 5499517 (Why is no real title available?)
• On the computation of the hull number of a graph
• On triangle path convexity in graphs
• Segment transit function of the induced path function of graphs and its first-order definability
• The All-Paths Transit Function of a Graph
• The induced path convexity, betweenness, and svelte graphs
• The induced path function, monotonicity and betweenness
• Triangle path transit functions, betweenness and pseudo-modular graphs

This page was built for publication: First order non-definability of some transit functions on graphs

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