{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:4YKGFMKOHZJQRJ7EDKZHWSOCIO","short_pith_number":"pith:4YKGFMKO","schema_version":"1.0","canonical_sha256":"e61462b14e3e5308a7e41ab27b49c243b52cc14d3a850eb7ff0ec7a317df4103","source":{"kind":"arxiv","id":"2411.16950","version":1},"attestation_state":"computed","paper":{"title":"Effectiveness and strong graph indivisibility","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andrea Volpi, Damir D. Dzhafarov, Reed Solomon","submitted_at":"2024-11-25T21:42:26Z","abstract_excerpt":"A relational structure is \\emph{strongly indivisible} if for every partition $M = X_0 \\sqcup X_1$, the induced substructure on $X_0$ or $X_1$ is isomorphic to $\\mathcal{M}$. Cameron (1997) showed that a graph is strongly indivisible if and only if it is the complete graph, the completely disconnected graph, or the random graph. We analyze the strength of Cameron's theorem using tools from computability theory and reverse mathematics. We show that Cameron's theorem is is effective up to computable presentation, and give a partial result towards showing that the full theorem holds in the $\\omega"},"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":"2411.16950","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2024-11-25T21:42:26Z","cross_cats_sorted":[],"title_canon_sha256":"e93f306cbcfca370fbc17412cc4b1aac076b68fe1f5bf2cfb8fb29be73af72af","abstract_canon_sha256":"b0663cf1909d9d253bdb5138d32b4de0bc759f6db76177fd7935217bbe3819a6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:25.082675Z","signature_b64":"RW3T4S+9Rqp3yV5P6VeXjsscvrODoSDuezultMaCPvmAu75Q6d3t4t5Jj8nrpYsGzMzqBXHsYpZwtIAkSKroAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e61462b14e3e5308a7e41ab27b49c243b52cc14d3a850eb7ff0ec7a317df4103","last_reissued_at":"2026-07-05T09:40:25.082215Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:25.082215Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Effectiveness and strong graph indivisibility","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Andrea Volpi, Damir D. Dzhafarov, Reed Solomon","submitted_at":"2024-11-25T21:42:26Z","abstract_excerpt":"A relational structure is \\emph{strongly indivisible} if for every partition $M = X_0 \\sqcup X_1$, the induced substructure on $X_0$ or $X_1$ is isomorphic to $\\mathcal{M}$. Cameron (1997) showed that a graph is strongly indivisible if and only if it is the complete graph, the completely disconnected graph, or the random graph. We analyze the strength of Cameron's theorem using tools from computability theory and reverse mathematics. We show that Cameron's theorem is is effective up to computable presentation, and give a partial result towards showing that the full theorem holds in the $\\omega"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.16950","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/2411.16950/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":"2411.16950","created_at":"2026-07-05T09:40:25.082273+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.16950v1","created_at":"2026-07-05T09:40:25.082273+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.16950","created_at":"2026-07-05T09:40:25.082273+00:00"},{"alias_kind":"pith_short_12","alias_value":"4YKGFMKOHZJQ","created_at":"2026-07-05T09:40:25.082273+00:00"},{"alias_kind":"pith_short_16","alias_value":"4YKGFMKOHZJQRJ7E","created_at":"2026-07-05T09:40:25.082273+00:00"},{"alias_kind":"pith_short_8","alias_value":"4YKGFMKO","created_at":"2026-07-05T09:40:25.082273+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO","json":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO.json","graph_json":"https://pith.science/api/pith-number/4YKGFMKOHZJQRJ7EDKZHWSOCIO/graph.json","events_json":"https://pith.science/api/pith-number/4YKGFMKOHZJQRJ7EDKZHWSOCIO/events.json","paper":"https://pith.science/paper/4YKGFMKO"},"agent_actions":{"view_html":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO","download_json":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO.json","view_paper":"https://pith.science/paper/4YKGFMKO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.16950&json=true","fetch_graph":"https://pith.science/api/pith-number/4YKGFMKOHZJQRJ7EDKZHWSOCIO/graph.json","fetch_events":"https://pith.science/api/pith-number/4YKGFMKOHZJQRJ7EDKZHWSOCIO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO/action/storage_attestation","attest_author":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO/action/author_attestation","sign_citation":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO/action/citation_signature","submit_replication":"https://pith.science/pith/4YKGFMKOHZJQRJ7EDKZHWSOCIO/action/replication_record"}},"created_at":"2026-07-05T09:40:25.082273+00:00","updated_at":"2026-07-05T09:40:25.082273+00:00"}