{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:2H6KHAFPQXT6DBXZR3STLLDMGF","short_pith_number":"pith:2H6KHAFP","schema_version":"1.0","canonical_sha256":"d1fca380af85e7e186f98ee535ac6c314539b1e6054a4136307a12c114f863ea","source":{"kind":"arxiv","id":"2203.01070","version":1},"attestation_state":"computed","paper":{"title":"First-order logic axiomatization of metric graph theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.LO"],"primary_cat":"math.CO","authors_text":"Jeny Jacob, J\\'er\\'emie Chalopin, Manoj Changat, Victor Chepoi","submitted_at":"2022-03-02T12:43:27Z","abstract_excerpt":"The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $\\Delta$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Pe"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2203.01070","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2022-03-02T12:43:27Z","cross_cats_sorted":["cs.DM","cs.LO"],"title_canon_sha256":"dd019d1dea519ed942a1b3cfa610067414fb4f521c3061e545d97b9b82cf0c40","abstract_canon_sha256":"144f297a304bf15ca4bdcc7662069bbb561ec40e296294fd1b53cff57456b2ea"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:42:27.868515Z","signature_b64":"MjUYJnHqd6dXUuaj3DVQbGHHDJE589ZqrHHfQLY0krp9QO6IS4WJfilaZnLJkPo5Zb3Asn6EYbpOSUN7nTGPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1fca380af85e7e186f98ee535ac6c314539b1e6054a4136307a12c114f863ea","last_reissued_at":"2026-07-05T08:42:27.867973Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:42:27.867973Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"First-order logic axiomatization of metric graph theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.LO"],"primary_cat":"math.CO","authors_text":"Jeny Jacob, J\\'er\\'emie Chalopin, Manoj Changat, Victor Chepoi","submitted_at":"2022-03-02T12:43:27Z","abstract_excerpt":"The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $\\Delta$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Pe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2203.01070","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2203.01070/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2203.01070","created_at":"2026-07-05T08:42:27.868033+00:00"},{"alias_kind":"arxiv_version","alias_value":"2203.01070v1","created_at":"2026-07-05T08:42:27.868033+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2203.01070","created_at":"2026-07-05T08:42:27.868033+00:00"},{"alias_kind":"pith_short_12","alias_value":"2H6KHAFPQXT6","created_at":"2026-07-05T08:42:27.868033+00:00"},{"alias_kind":"pith_short_16","alias_value":"2H6KHAFPQXT6DBXZ","created_at":"2026-07-05T08:42:27.868033+00:00"},{"alias_kind":"pith_short_8","alias_value":"2H6KHAFP","created_at":"2026-07-05T08:42:27.868033+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2404.14792","citing_title":"$\\alpha_i$-Metric Graphs: Hyperbolicity","ref_index":9,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF","json":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF.json","graph_json":"https://pith.science/api/pith-number/2H6KHAFPQXT6DBXZR3STLLDMGF/graph.json","events_json":"https://pith.science/api/pith-number/2H6KHAFPQXT6DBXZR3STLLDMGF/events.json","paper":"https://pith.science/paper/2H6KHAFP"},"agent_actions":{"view_html":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF","download_json":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF.json","view_paper":"https://pith.science/paper/2H6KHAFP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2203.01070&json=true","fetch_graph":"https://pith.science/api/pith-number/2H6KHAFPQXT6DBXZR3STLLDMGF/graph.json","fetch_events":"https://pith.science/api/pith-number/2H6KHAFPQXT6DBXZR3STLLDMGF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF/action/storage_attestation","attest_author":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF/action/author_attestation","sign_citation":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF/action/citation_signature","submit_replication":"https://pith.science/pith/2H6KHAFPQXT6DBXZR3STLLDMGF/action/replication_record"}},"created_at":"2026-07-05T08:42:27.868033+00:00","updated_at":"2026-07-05T08:42:27.868033+00:00"}