First-order logic axiomatization of metric graph theory (Q6196830): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2024.114460
@@ Property / DOI: 10.1016/j.tcs.2024.114460 / rank @@
-Normal rank
@@ Property / cites work @@
+Convexity in partial cubes: the hull number
@@ Property / cites work: Convexity in partial cubes: the hull number / rank @@
+Normal rank
@@ Property / cites work @@
+On bridged graphs and cop-win graphs
@@ Property / cites work: On bridged graphs and cop-win graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform hyperbolicity of the graphs of curves
@@ Property / cites work: Uniform hyperbolicity of the graphs of curves / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Ternary Distributive Semi-Lattices
@@ Property / cites work: Metric Ternary Distributive Semi-Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic characterization of the interval function of a block graph
+Normal rank
@@ Property / cites work @@
+Retracts of hypercubes
@@ Property / cites work: Retracts of hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+Graphs with intrinsic s3 convexities
@@ Property / cites work: Graphs with intrinsic s3 convexities / rank @@
+Normal rank
@@ Property / cites work @@
+A Helly theorem in weakly modular space
@@ Property / cites work: A Helly theorem in weakly modular space / rank @@
+Normal rank
@@ Property / cites work @@
+Cellular bipartite graphs
@@ Property / cites work: Cellular bipartite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition and \(l_1\)-embedding of weakly median graphs
+Normal rank
@@ Property / cites work @@
+Graphs with Connected Medians
@@ Property / cites work: Graphs with Connected Medians / rank @@
+Normal rank
@@ Property / cites work @@
+-Hyperbolic Graphs
@@ Property / cites work: 1-Hyperbolic Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3514516
@@ Property / cites work: Q3514516 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics of lopsided sets
@@ Property / cites work: Combinatorics of lopsided sets / rank @@
+Normal rank
@@ Property / cites work @@
+COMs: complexes of oriented matroids
@@ Property / cites work: COMs: complexes of oriented matroids / rank @@
+Normal rank
@@ Property / cites work @@
+A canonical decomposition theory for metrics on a finite set
+Normal rank
@@ Property / cites work @@
+Distance-hereditary graphs
@@ Property / cites work: Distance-hereditary graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite median graphs, (0, 2)-graphs, and hypercubes
+Normal rank
@@ Property / cites work @@
+Pseudo-modular graphs
@@ Property / cites work: Pseudo-modular graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-median graphs are join spaces
@@ Property / cites work: Pseudo-median graphs are join spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi‐median graphs and algebras
@@ Property / cites work: Quasi‐median graphs and algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Dismantling absolute retracts of reflexive graphs
@@ Property / cites work: Dismantling absolute retracts of reflexive graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Clique graphs and Helly graphs
@@ Property / cites work: Clique graphs and Helly graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Interval Spaces
@@ Property / cites work: Modular Interval Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Median graphs, parallelism and posets
@@ Property / cites work: Median graphs, parallelism and posets / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of derived graphs
@@ Property / cites work: Characterizations of derived graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088860
@@ Property / cites work: Q4088860 / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for plane geometry, based on scale and protractor
+Normal rank
@@ Property / cites work @@
+A ternary operation in distributive lattices
@@ Property / cites work: A ternary operation in distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Orientability of matroids
@@ Property / cites work: Orientability of matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperplane arrangements with a lattice of regions
@@ Property / cites work: Hyperplane arrangements with a lattice of regions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003411
@@ Property / cites work: Q4003411 / rank @@
+Normal rank
@@ Property / cites work @@
+Defect Sauer results
@@ Property / cites work: Defect Sauer results / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing almost-median graphs
@@ Property / cites work: Characterizing almost-median graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Bucolic complexes
@@ Property / cites work: Bucolic complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4720067
@@ Property / cites work: Q4720067 / rank @@
+Normal rank
@@ Property / cites work @@
+Local recognition of Tits geometries of classical type
+Normal rank
@@ Property / cites work @@
+Q5818996
@@ Property / cites work: Q5818996 / rank @@
+Normal rank
@@ Property / cites work @@
+Coxeter matroids. With illustrations by Anna Borovik
+Normal rank
@@ Property / cites work @@
+Greedy algorithm and symmetric matroids
@@ Property / cites work: Greedy algorithm and symmetric matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection numbers and the hyperbolicity of the curve complex
+Normal rank
@@ Property / cites work @@
+Some Elementary Properties of Interval Convexities
+Normal rank
@@ Property / cites work @@
+Dual polar spaces
@@ Property / cites work: Dual polar spaces / rank @@
+Normal rank
@@ Property / cites work @@
+On two conjectures of maurer concerning basis graphs of matroids
+Normal rank
@@ Property / cites work @@
+A counterexample to Thiagarajan's conjecture on regular event structures
+Normal rank
@@ Property / cites work @@
+-Safe Petri Nets and Special Cube Complexes
@@ Property / cites work: 1-Safe Petri Nets and Special Cube Complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly Modular Graphs and Nonpositive                     Curvature
@@ Property / cites work: Weakly Modular Graphs and Nonpositive Curvature / rank @@
+Normal rank
@@ Property / cites work @@
+Unlabeled sample compression schemes and corner peelings for ample and maximum classes
+Normal rank
@@ Property / cites work @@
+Graphs with convex balls
@@ Property / cites work: Graphs with convex balls / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudomatroids
@@ Property / cites work: Pseudomatroids / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the interval function of a disconnected graph
+Normal rank
@@ Property / cites work @@
+Axiomatic characterization of the interval function of a bipartite graph
+Normal rank
@@ Property / cites work @@
+A forbidden subgraph characterization of some graph classes using betweenness axioms
+Normal rank
@@ Property / cites work @@
+Q4206015
@@ Property / cites work: Q4206015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815353
@@ Property / cites work: Q3815353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983321
@@ Property / cites work: Q3983321 / rank @@
+Normal rank
@@ Property / cites work @@
+Isometric subgraphs of Hamming graphs and d-convexity
+Normal rank
@@ Property / cites work @@
+Separation of two convex sets in convexity structures
+Normal rank
@@ Property / cites work @@
+Bridged graphs are cop-win graphs: An algorithmic proof
+Normal rank
@@ Property / cites work @@
+On Distance-Preserving and Domination Elimination Orderings
+Normal rank
@@ Property / cites work @@
+Graphs of some CAT(0) complexes
@@ Property / cites work: Graphs of some CAT(0) complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Basis graphs of even delta-matroids
@@ Property / cites work: Basis graphs of even delta-matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Nice Labeling Problem for Event Structures: A Counterexample
+Normal rank
@@ Property / cites work @@
+Distance-preserving subgraphs of Johnson graphs
@@ Property / cites work: Distance-preserving subgraphs of Johnson graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Diameters, centers, and approximating trees of delta-hyperbolicgeodesic spaces and graphs
+Normal rank
@@ Property / cites work @@
+Hypercellular graphs: partial cubes without \(Q_3^-\) as partial cube minor
+Normal rank
@@ Property / cites work @@
+Dismantlability of weakly systolic complexes and applications
+Normal rank
@@ Property / cites work @@
+On distance-preserving elimination orderings in graphs: complexity and algorithms
+Normal rank
@@ Property / cites work @@
+Axioms for maximal vectors of an oriented matroid: A combinatorial characterization of the regions determined by an arrangement of pseudohyperplanes
+Normal rank
@@ Property / cites work @@
+Q5431018
@@ Property / cites work: Q5431018 / rank @@
+Normal rank
@@ Property / cites work @@
+Les immeubles des groupes de tresses généralises
+Normal rank
@@ Property / cites work @@
+Geometry of cuts and metrics
@@ Property / cites work: Geometry of cuts and metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Distance-preserving subgraphs of hypercubes
@@ Property / cites work: Distance-preserving subgraphs of hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+Obstructions to a small hyperbolicity in Helly graphs
+Normal rank
@@ Property / cites work @@
+Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces
+Normal rank
@@ Property / cites work @@
+Some combinatorial properties of discriminants in metric vector spaces
+Normal rank
@@ Property / cites work @@
+The theory of convex geometries
@@ Property / cites work: The theory of convex geometries / rank @@
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+A general set-separation theorem
@@ Property / cites work: A general set-separation theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Oriented matroids
@@ Property / cites work: Oriented matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3230355
@@ Property / cites work: Q3230355 / rank @@
+Normal rank
@@ Property / cites work @@
+On local convexity in graphs
@@ Property / cites work: On local convexity in graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic graph theory and perfect graphs
@@ Property / cites work: Algorithmic graph theory and perfect graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3772406
@@ Property / cites work: Q3772406 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Addressing Problem for Loop Switching
@@ Property / cites work: On the Addressing Problem for Loop Switching / rank @@
+Normal rank
@@ Property / cites work @@
+Weak hyperbolicity of cube complexes and quasi-arboreal groups
+Normal rank
@@ Property / cites work @@
+Q4217340
@@ Property / cites work: Q4217340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005852
@@ Property / cites work: Q3005852 / rank @@
+Normal rank
@@ Property / cites work @@
+Ternary spaces, media, and Chebyshev sets
@@ Property / cites work: Ternary spaces, media, and Chebyshev sets / rank @@
+Normal rank
@@ Property / cites work @@
+-slim triangles and uniform hyperbolicity for arc graphs and curve graphs
+Normal rank
@@ Property / cites work @@
+Discrete convexity and polynomial solvability in minimum 0-extension problems
+Normal rank
@@ Property / cites work @@
+A CHARACTERIZATION OF DISTANCE-HEREDITARY GRAPHS
@@ Property / cites work: A CHARACTERIZATION OF DISTANCE-HEREDITARY GRAPHS / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of ptolemaic graphs
@@ Property / cites work: A characterization of ptolemaic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A convexity lemma and expansion procedures for bipartite graphs
+Normal rank
@@ Property / cites work @@
+Six theorems about injective metric spaces
@@ Property / cites work: Six theorems about injective metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Median Algebra
@@ Property / cites work: Median Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial nonpositive curvature
@@ Property / cites work: Simplicial nonpositive curvature / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Certain Ptolemaic Graphs
@@ Property / cites work: A Characterization of Certain Ptolemaic Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic convexity theory and relationships between the Carathéodory, Helly, and Radon numbers
+Normal rank
@@ Property / cites work @@
+Characterizing almost-median graphs. II.
@@ Property / cites work: Characterizing almost-median graphs. II. / rank @@
+Normal rank
@@ Property / cites work @@
+On tope graphs of complexes of oriented matroids
@@ Property / cites work: On tope graphs of complexes of oriented matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264556
@@ Property / cites work: Q4264556 / rank @@
+Normal rank
@@ Property / cites work @@
+Lopsided sets and orthant-intersection by convex sets
+Normal rank
@@ Property / cites work @@
+Geometry of the complex of curves. I: Hyperbolicity
+Normal rank
@@ Property / cites work @@
+The geometry of the disk complex
@@ Property / cites work: The geometry of the disk complex / rank @@
+Normal rank
@@ Property / cites work @@
+Matroid basis graphs. I
@@ Property / cites work: Matroid basis graphs. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3943565
@@ Property / cites work: Q3943565 / rank @@
+Normal rank
@@ Property / cites work @@
+On weak \(\epsilon\)-nets and the Radon number
@@ Property / cites work: On weak \(\epsilon\)-nets and the Radon number / rank @@
+Normal rank
@@ Property / cites work @@
+Q3890733
@@ Property / cites work: Q3890733 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic characterization of the interval function of a graph
+Normal rank
@@ Property / cites work @@
+Median graphs and Helly hypergraphs
@@ Property / cites work: Median graphs and Helly hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618400
@@ Property / cites work: Q5618400 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the interval function of a connected graph
+Normal rank
@@ Property / cites work @@
+Vertex-to-vertex pursuit in a graph
@@ Property / cites work: Vertex-to-vertex pursuit in a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal extensions of graphs to absolute retracts
@@ Property / cites work: Minimal extensions of graphs to absolute retracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5397210
@@ Property / cites work: Q5397210 / rank @@
+Normal rank
@@ Property / cites work @@
+Transitivities of Betweenness
@@ Property / cites work: Transitivities of Betweenness / rank @@
+Normal rank
@@ Property / cites work @@
+Netlike partial cubes. I. General properties
@@ Property / cites work: Netlike partial cubes. I. General properties / rank @@
+Normal rank
@@ Property / cites work @@
+Netlike partial cubes II. Retracts and netlike subgraphs
+Normal rank
@@ Property / cites work @@
+Netlike partial cubes III. The median cycle property
+Normal rank
@@ Property / cites work @@
+Netlike partial cubes, IV: Fixed finite subgraph theorems
+Normal rank
@@ Property / cites work @@
+Q5680698
@@ Property / cites work: Q5680698 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Helly property working as a compactness criterion on graphs
+Normal rank
@@ Property / cites work @@
+Q5390304
@@ Property / cites work: Q5390304 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Trees, Lattices, Order, and Betweenness
@@ Property / cites work: Trees, Lattices, Order, and Betweenness / rank @@
+Normal rank
@@ Property / cites work @@
+Medians and Betweenness
@@ Property / cites work: Medians and Betweenness / rank @@
+Normal rank
@@ Property / cites work @@
+Medians, Lattices, and Trees
@@ Property / cites work: Medians, Lattices, and Trees / rank @@
+Normal rank
@@ Property / cites work @@
+On scale embeddings of graphs into hypercubes
@@ Property / cites work: On scale embeddings of graphs into hypercubes / rank @@
+Normal rank
@@ Property / cites work @@
+Points and lines. Characterizing the classical geometries
+Normal rank
@@ Property / cites work @@
+Q3346369
@@ Property / cites work: Q3346369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5185609
@@ Property / cites work: Q5185609 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditions for invariance of set diameters under d-convexification in a graph
+Normal rank
@@ Property / cites work @@
+Q4940014
@@ Property / cites work: Q4940014 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Buildings of spherical type and finite BN-pairs
@@ Property / cites work: Buildings of spherical type and finite BN-pairs / rank @@
+Normal rank
@@ Property / cites work @@
+On the definability of properties of finite graphs
+Normal rank
@@ Property / cites work @@
+Invariant Arcs, Whitney Levels, and Kelley Continua
+Normal rank
@@ Property / cites work @@
+Q3141898
@@ Property / cites work: Q3141898 / rank @@
+Normal rank
@@ Property / cites work @@
+Isometric embeddings in Hamming graphs
@@ Property / cites work: Isometric embeddings in Hamming graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Isometric embedding in products of complete graphs
+Normal rank
@@ Property / cites work @@
+Q3980816
@@ Property / cites work: Q3980816 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2024.114460
@@ Property / DOI: 10.1016/J.TCS.2024.114460 / rank @@
+Normal rank