Segment transit function of the induced path function of graphs and its first-order definability
From MaRDI portal
Publication:6132572
DOI10.1007/978-3-031-26689-8_9MaRDI QIDQ6132572FDOQ6132572
Publication date: 17 August 2023
Published in: Logic and Its Applications (Search for Journal in Brave)
Recommendations
- The induced path transit function and the Pasch axiom
- Induced Path Transit Function, Betweenness and Monotonicity
- scientific article; zbMATH DE number 5499517
- Induced path transit function, monotone and Peano axioms
- \(n\)-ary transit functions in graphs
- Remarks on path-transitivity in finite graphs
- Semi-transitivity of directed split graphs generated by morphisms
- Definability in first-order theories of graph orderings
- Definability in first order theories of graph orderings
- The first order definability of graphs: Upper bounds for quantifier depth
Cites Work
- Title not available (Why is that?)
- Convex sets in graphs. II: Minimal path convexity
- Convexities related to path properties on graphs
- Complexity results related to monophonic convexity
- An application of games to the completeness problem for formalized theories
- Title not available (Why is that?)
- The All-Paths Transit Function of a Graph
- A characterization of the interval function of a connected graph
- Title not available (Why is that?)
- Title not available (Why is that?)
- Axiomatic characterization of the interval function of a graph
- The induced path convexity, betweenness, and svelte graphs
- Title not available (Why is that?)
- The induced path function, monotonicity and betweenness
- A First Order Logic Definition of Beyond-Planar Graphs
- A note on the interval function of a disconnected graph
- Betweenness in graphs: a short survey on shortest and induced path betweenness
This page was built for publication: Segment transit function of the induced path function of graphs and its first-order definability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132572)
