{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PN3SINV2I2KSDT3MXKSFQWKGPD","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":"515ce192fc53074e16d1c7f354ba02f42f9fb66ea30781f0a303d64f6d100ade","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-12-08T15:07:52Z","title_canon_sha256":"fc2cd32180c13bb0085e81d5a61c86aedcceee535b4f1322daaa38c1ab100e7e"},"schema_version":"1.0","source":{"id":"1612.02683","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.02683","created_at":"2026-05-18T00:55:33Z"},{"alias_kind":"arxiv_version","alias_value":"1612.02683v1","created_at":"2026-05-18T00:55:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.02683","created_at":"2026-05-18T00:55:33Z"},{"alias_kind":"pith_short_12","alias_value":"PN3SINV2I2KS","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PN3SINV2I2KSDT3M","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PN3SINV2","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:90cb4446b79bb04eca702f1ac686193bccc6c44dd2720c721df40e92db5bc7b7","target":"graph","created_at":"2026-05-18T00:55:33Z","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 prove that in a $P$-minimal structure, every definable set can be partitioned as a finite union of classical cells and regular clustered cells. This is a generalization of previously known cell decomposition results by Denef and Mourgues, which were dependent on the existence of definable Skolem functions. Clustered cells have the same geometric structure as classical, Denef-type cells, but do not have a definable function as center. Instead, the center is given by a definable set whose fibers are finite unions of balls.","authors_text":"Eva Leenknegt, Pablo Cubides Kovacsics, Saskia Chambille","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-12-08T15:07:52Z","title":"Clustered Cell Decomposition in P-Minimal Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.02683","kind":"arxiv","version":1},"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:295c19cf4bc040dfda0e233073d32ebda9f9d4745fa56689a82151ff3af9c390","target":"record","created_at":"2026-05-18T00:55:33Z","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":"515ce192fc53074e16d1c7f354ba02f42f9fb66ea30781f0a303d64f6d100ade","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-12-08T15:07:52Z","title_canon_sha256":"fc2cd32180c13bb0085e81d5a61c86aedcceee535b4f1322daaa38c1ab100e7e"},"schema_version":"1.0","source":{"id":"1612.02683","kind":"arxiv","version":1}},"canonical_sha256":"7b772436ba469521cf6cbaa458594678f2febac5b83b8d9c6a9cb4f356236c79","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b772436ba469521cf6cbaa458594678f2febac5b83b8d9c6a9cb4f356236c79","first_computed_at":"2026-05-18T00:55:33.028489Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:55:33.028489Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mm0genc2JFyfER9RABhyS95ZYk52yOba9f1UUZhJG+8aPriuY1VJVnuOfqK6/eBKRswacUY+veAPAMAUO9UbBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:55:33.029163Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.02683","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:295c19cf4bc040dfda0e233073d32ebda9f9d4745fa56689a82151ff3af9c390","sha256:90cb4446b79bb04eca702f1ac686193bccc6c44dd2720c721df40e92db5bc7b7"],"state_sha256":"64b1a746648f802dae70d27abaa7ca671acf6008170f096861ea3d5e63131cd5"}