{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:6RCMX3FO4YY6UFR3HYNESE5OYH","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":"b1f9c5550b22ea1e03042ba53c84f02a9bba4fc26d00630457c4a61c46974791","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2006-12-31T00:30:55Z","title_canon_sha256":"6fae1d8841dedc19b88efa3840c6a76ee5b5837343b1252217104ed0411f1dc2"},"schema_version":"1.0","source":{"id":"math/0701011","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0701011","created_at":"2026-05-18T00:26:58Z"},{"alias_kind":"arxiv_version","alias_value":"math/0701011v5","created_at":"2026-05-18T00:26:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0701011","created_at":"2026-05-18T00:26:58Z"},{"alias_kind":"pith_short_12","alias_value":"6RCMX3FO4YY6","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_16","alias_value":"6RCMX3FO4YY6UFR3","created_at":"2026-05-18T12:25:53Z"},{"alias_kind":"pith_short_8","alias_value":"6RCMX3FO","created_at":"2026-05-18T12:25:53Z"}],"graph_snapshots":[{"event_id":"sha256:7130c0ed40a8873ae21ca2a1c0183d9a1af23beecf481a7e5d60c157363124c9","target":"graph","created_at":"2026-05-18T00:26:58Z","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 the theory of the $p$-adics ${\\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\\rm GL}_n({\\mathbb Q}_p)/{\\rm GL}_n({\\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence relations. This also yields analogous results for definable equivalence relations over local fields of positive characteristic. The appendix contains an alternative proof, using cell decomposition, of t","authors_text":"Ben Martin, Ehud Hrushovski, Raf Cluckers, Silvain Rideau","cross_cats":["math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2006-12-31T00:30:55Z","title":"Definable equivalence relations and zeta functions of groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0701011","kind":"arxiv","version":5},"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:d3ceb171c85bb1c496d1cc84b8e4a1ac423bdd700dd49c396b37a8441d693833","target":"record","created_at":"2026-05-18T00:26:58Z","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":"b1f9c5550b22ea1e03042ba53c84f02a9bba4fc26d00630457c4a61c46974791","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2006-12-31T00:30:55Z","title_canon_sha256":"6fae1d8841dedc19b88efa3840c6a76ee5b5837343b1252217104ed0411f1dc2"},"schema_version":"1.0","source":{"id":"math/0701011","kind":"arxiv","version":5}},"canonical_sha256":"f444cbecaee631ea163b3e1a4913aec1ca9d1e728d6e3e341ce4977db82acb86","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f444cbecaee631ea163b3e1a4913aec1ca9d1e728d6e3e341ce4977db82acb86","first_computed_at":"2026-05-18T00:26:58.120486Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:58.120486Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Em5gst9vpyGmCv7BVKLA+L2E89NmuXyXQzWAd+vBz45aLBmTJAFdHAE8zzGO1yaqERznA0WOQ2Ve4AbLvLUPCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:58.121157Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0701011","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d3ceb171c85bb1c496d1cc84b8e4a1ac423bdd700dd49c396b37a8441d693833","sha256:7130c0ed40a8873ae21ca2a1c0183d9a1af23beecf481a7e5d60c157363124c9"],"state_sha256":"13e71d7364eb70a2fccfb4409143c743ffef1ff2b1f13d4b281c50b42fe43fa5"}