{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:IC4SIBYMLS76VH3IFQBUOZEUK3","short_pith_number":"pith:IC4SIBYM","schema_version":"1.0","canonical_sha256":"40b924070c5cbfea9f682c0347649456f4fffaddec9f3595c2aa8dc906eca47d","source":{"kind":"arxiv","id":"2008.10490","version":3},"attestation_state":"computed","paper":{"title":"The model theory of the curve graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR","math.LO"],"primary_cat":"math.GT","authors_text":"J. de la Nuez Gonz\\'alez, Thomas Koberda, Valentina Disarlo","submitted_at":"2020-08-24T14:52:18Z","abstract_excerpt":"In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?\n  More specifically, we consider a surface $\\Sigma$ of finite type and its curve graph $\\mathcal C(\\Sigma)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\\mathcal C(\\Sigma)$ is bi-interpr"},"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":"2008.10490","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GT","submitted_at":"2020-08-24T14:52:18Z","cross_cats_sorted":["math.GR","math.LO"],"title_canon_sha256":"29c6dfb884ed8ce74c0731f8c7f7a5263cf059efa02a08430401cdb12335ce18","abstract_canon_sha256":"0acb07f1e155a9384af9049520ae44aed28a80fd052ed3fd0d7bd2d2953d806c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:18:57.702600Z","signature_b64":"c+3dSBPWRLCxRMeg7vqn9Vd9HCWjwAqI3u85/rhe0IcAp89EkAfya9xEVcxKUeqxMlJrZZzFWawswFm7e94mAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"40b924070c5cbfea9f682c0347649456f4fffaddec9f3595c2aa8dc906eca47d","last_reissued_at":"2026-07-05T06:18:57.702176Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:18:57.702176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The model theory of the curve graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR","math.LO"],"primary_cat":"math.GT","authors_text":"J. de la Nuez Gonz\\'alez, Thomas Koberda, Valentina Disarlo","submitted_at":"2020-08-24T14:52:18Z","abstract_excerpt":"In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?\n  More specifically, we consider a surface $\\Sigma$ of finite type and its curve graph $\\mathcal C(\\Sigma)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\\mathcal C(\\Sigma)$ is bi-interpr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2008.10490","kind":"arxiv","version":3},"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/2008.10490/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":"2008.10490","created_at":"2026-07-05T06:18:57.702229+00:00"},{"alias_kind":"arxiv_version","alias_value":"2008.10490v3","created_at":"2026-07-05T06:18:57.702229+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2008.10490","created_at":"2026-07-05T06:18:57.702229+00:00"},{"alias_kind":"pith_short_12","alias_value":"IC4SIBYMLS76","created_at":"2026-07-05T06:18:57.702229+00:00"},{"alias_kind":"pith_short_16","alias_value":"IC4SIBYMLS76VH3I","created_at":"2026-07-05T06:18:57.702229+00:00"},{"alias_kind":"pith_short_8","alias_value":"IC4SIBYM","created_at":"2026-07-05T06:18:57.702229+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2405.08211","citing_title":"Simple Homogeneous Structures and Indiscernible Sequence Invariants","ref_index":27,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3","json":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3.json","graph_json":"https://pith.science/api/pith-number/IC4SIBYMLS76VH3IFQBUOZEUK3/graph.json","events_json":"https://pith.science/api/pith-number/IC4SIBYMLS76VH3IFQBUOZEUK3/events.json","paper":"https://pith.science/paper/IC4SIBYM"},"agent_actions":{"view_html":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3","download_json":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3.json","view_paper":"https://pith.science/paper/IC4SIBYM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2008.10490&json=true","fetch_graph":"https://pith.science/api/pith-number/IC4SIBYMLS76VH3IFQBUOZEUK3/graph.json","fetch_events":"https://pith.science/api/pith-number/IC4SIBYMLS76VH3IFQBUOZEUK3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3/action/storage_attestation","attest_author":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3/action/author_attestation","sign_citation":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3/action/citation_signature","submit_replication":"https://pith.science/pith/IC4SIBYMLS76VH3IFQBUOZEUK3/action/replication_record"}},"created_at":"2026-07-05T06:18:57.702229+00:00","updated_at":"2026-07-05T06:18:57.702229+00:00"}