{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:MXF655ARRLEZFRUWIUIOZLBWJ6","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"8c8e09f8ecd03359c8d0a3f7f6b214237a9f4d9c0ab578b90b22e5caa09be0a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-07-02T06:35:08Z","title_canon_sha256":"4d2642770ee71b740391eee00c78322f402ca1f08500d3754bec403af95e1e3b"},"schema_version":"1.0","source":{"id":"1207.0289","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.0289","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"arxiv_version","alias_value":"1207.0289v2","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.0289","created_at":"2026-05-18T03:16:06Z"},{"alias_kind":"pith_short_12","alias_value":"MXF655ARRLEZ","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"MXF655ARRLEZFRUW","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"MXF655AR","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:ff52fb9b3c2dffcf489f182a4be9cd0d7308818280258ea9571c8368752200c8","target":"graph","created_at":"2026-05-18T03:16:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain condition over extension bases (namely, the forking ideal is S1, in Hrushovski's terminology). Using it we prove an independence theorem over extension bases (which, in the case of simple theories, specializes to the ordinary independence theorem). As an application we show that Lascar strong type and compact strong type coincide over extension bases in an NTP2 th","authors_text":"Artem Chernikov, Ita\\\"i Ben Yaacov (ICJ)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-07-02T06:35:08Z","title":"An independence theorem for NTP2 theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.0289","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:acd6e301cc4b1b12fba5d813bb378fc408158aa71e56cf7ec4247e5609b5e259","target":"record","created_at":"2026-05-18T03:16:06Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"8c8e09f8ecd03359c8d0a3f7f6b214237a9f4d9c0ab578b90b22e5caa09be0a1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-07-02T06:35:08Z","title_canon_sha256":"4d2642770ee71b740391eee00c78322f402ca1f08500d3754bec403af95e1e3b"},"schema_version":"1.0","source":{"id":"1207.0289","kind":"arxiv","version":2}},"canonical_sha256":"65cbeef4118ac992c6964510ecac364f8d75fa2b8c487a884687604792619764","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65cbeef4118ac992c6964510ecac364f8d75fa2b8c487a884687604792619764","first_computed_at":"2026-05-18T03:16:06.478531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:06.478531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OwApAqguEWHo8hjKsmrUcTE5NJzHLEYyfleOkCbuaHKcOsv7W+YwK4JSioL8N1X15OlY7Qsq2Cb24b/NtODyCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:06.478955Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.0289","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:acd6e301cc4b1b12fba5d813bb378fc408158aa71e56cf7ec4247e5609b5e259","sha256:ff52fb9b3c2dffcf489f182a4be9cd0d7308818280258ea9571c8368752200c8"],"state_sha256":"f81948cc8817c32a7c33fbeea1ec1d996e7cdd9d2f3edeff73ed45fde41c4d4c"}