{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:FUT2B5ESOIWKPCW7BDKADP4RH7","short_pith_number":"pith:FUT2B5ES","schema_version":"1.0","canonical_sha256":"2d27a0f492722ca78adf08d401bf913fe9b427161a8c79e1fe5d886f849cc9dd","source":{"kind":"arxiv","id":"1404.1494","version":3},"attestation_state":"computed","paper":{"title":"Canonical forking in AECs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alexei Kolesnikov, Rami Grossberg, Sebastien Vasey, Will Boney","submitted_at":"2014-04-05T17:55:11Z","abstract_excerpt":"Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah's good frames. The usual tools of first-order logic (like the finite equivalence relation theorem or the type amalgamation theorem in simple theories) are not available in this context. In addition to the los"},"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":"1404.1494","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-04-05T17:55:11Z","cross_cats_sorted":[],"title_canon_sha256":"426c122e1da3c7a8f51f233b0cdee2e726f03e516a964d4073c5c025eb6d8c44","abstract_canon_sha256":"f4b33844481d1e76bc9539be0760b19c2e252d60a37818945b9f006cec60ad75"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:19.173414Z","signature_b64":"OUKg9X6wG/20ZAP47i6LPiSUef18UbeFhFK0ibzUJAFb/oW/7zIPhm0BXFPRpB2HlOdhtwNM8ZLmYeI2HMpJCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2d27a0f492722ca78adf08d401bf913fe9b427161a8c79e1fe5d886f849cc9dd","last_reissued_at":"2026-05-18T01:16:19.172724Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:19.172724Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Canonical forking in AECs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alexei Kolesnikov, Rami Grossberg, Sebastien Vasey, Will Boney","submitted_at":"2014-04-05T17:55:11Z","abstract_excerpt":"Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah's good frames. The usual tools of first-order logic (like the finite equivalence relation theorem or the type amalgamation theorem in simple theories) are not available in this context. In addition to the los"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1494","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":""},"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":"1404.1494","created_at":"2026-05-18T01:16:19.172830+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.1494v3","created_at":"2026-05-18T01:16:19.172830+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1494","created_at":"2026-05-18T01:16:19.172830+00:00"},{"alias_kind":"pith_short_12","alias_value":"FUT2B5ESOIWK","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"FUT2B5ESOIWKPCW7","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"FUT2B5ES","created_at":"2026-05-18T12:28:28.263976+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/FUT2B5ESOIWKPCW7BDKADP4RH7","json":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7.json","graph_json":"https://pith.science/api/pith-number/FUT2B5ESOIWKPCW7BDKADP4RH7/graph.json","events_json":"https://pith.science/api/pith-number/FUT2B5ESOIWKPCW7BDKADP4RH7/events.json","paper":"https://pith.science/paper/FUT2B5ES"},"agent_actions":{"view_html":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7","download_json":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7.json","view_paper":"https://pith.science/paper/FUT2B5ES","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.1494&json=true","fetch_graph":"https://pith.science/api/pith-number/FUT2B5ESOIWKPCW7BDKADP4RH7/graph.json","fetch_events":"https://pith.science/api/pith-number/FUT2B5ESOIWKPCW7BDKADP4RH7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7/action/storage_attestation","attest_author":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7/action/author_attestation","sign_citation":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7/action/citation_signature","submit_replication":"https://pith.science/pith/FUT2B5ESOIWKPCW7BDKADP4RH7/action/replication_record"}},"created_at":"2026-05-18T01:16:19.172830+00:00","updated_at":"2026-05-18T01:16:19.172830+00:00"}