{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:7DAYO6GFY25KD6IE7AOE7JW6IJ","short_pith_number":"pith:7DAYO6GF","canonical_record":{"source":{"id":"1505.07578","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-28T07:51:24Z","cross_cats_sorted":["cs.LO","math.RA"],"title_canon_sha256":"06fa33f48a10d2d96599d37e3992f9549d8f1c97bb90bb5f0553302cafc1fa7e","abstract_canon_sha256":"ce143e7d4e2e9a06d596088da8dd00838cbd45591deeb505d4a2cc754478966f"},"schema_version":"1.0"},"canonical_sha256":"f8c18778c5c6baa1f904f81c4fa6de4242d730bd40896b1c1107ef7f3e2d1058","source":{"kind":"arxiv","id":"1505.07578","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.07578","created_at":"2026-05-18T00:38:32Z"},{"alias_kind":"arxiv_version","alias_value":"1505.07578v3","created_at":"2026-05-18T00:38:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.07578","created_at":"2026-05-18T00:38:32Z"},{"alias_kind":"pith_short_12","alias_value":"7DAYO6GFY25K","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"7DAYO6GFY25KD6IE","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"7DAYO6GF","created_at":"2026-05-18T12:29:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:7DAYO6GFY25KD6IE7AOE7JW6IJ","target":"record","payload":{"canonical_record":{"source":{"id":"1505.07578","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-28T07:51:24Z","cross_cats_sorted":["cs.LO","math.RA"],"title_canon_sha256":"06fa33f48a10d2d96599d37e3992f9549d8f1c97bb90bb5f0553302cafc1fa7e","abstract_canon_sha256":"ce143e7d4e2e9a06d596088da8dd00838cbd45591deeb505d4a2cc754478966f"},"schema_version":"1.0"},"canonical_sha256":"f8c18778c5c6baa1f904f81c4fa6de4242d730bd40896b1c1107ef7f3e2d1058","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:32.213183Z","signature_b64":"P5a+Q32AD1z6WPYGAy+qeB3f2tA5JW/vC86lloshn0hdMg4lyMlwawZ/QESMi0LIvE/QWryeOUmqEmHXu0B3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8c18778c5c6baa1f904f81c4fa6de4242d730bd40896b1c1107ef7f3e2d1058","last_reissued_at":"2026-05-18T00:38:32.212783Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:32.212783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.07578","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:38:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8+P1rWE46OhgHsalkQbMyrC4VNsMwFekIPszYboVi5cXFZry5grtaOE/k8wk1C9zs2xpfTLGhWOU6cXVyFqPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:51:59.818887Z"},"content_sha256":"9a5bdcadaf4e6c92dbdb064905962815d12f409de1ca491e9e4f4cc08a25c32b","schema_version":"1.0","event_id":"sha256:9a5bdcadaf4e6c92dbdb064905962815d12f409de1ca491e9e4f4cc08a25c32b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:7DAYO6GFY25KD6IE7AOE7JW6IJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.RA"],"primary_cat":"cs.DM","authors_text":"Emmanuel Jeandel (CARTE)","submitted_at":"2015-05-28T07:51:24Z","abstract_excerpt":"In many instances in first order logic or computable algebra, classical theorems  show that many problems are undecidable for general structures, but become  decidable if some rigidity is imposed on the structure.  For example, the set of theorems in many finitely axiomatisable theories is  nonrecursive, but the set of theorems for any finitely axiomatisable complete  theory is recursive.  Finitely presented groups might have an nonrecursive word problem, but  finitely presented simple groups have a recursive word problem.  In this article we introduce a topological framework based on closure "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.07578","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:38:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3/iGWB4OA7f7i27q2xrBER/rGhbFT7t+7mEmP5JoA8FFQyLSo7jBvx7ygLfPJkREu8hSsLSPfotooI76AKVRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:51:59.819535Z"},"content_sha256":"13e19dd88a2e1fe952624ffcd91fe07758d85b0a24bff8fd0bd62f1bb8d598e7","schema_version":"1.0","event_id":"sha256:13e19dd88a2e1fe952624ffcd91fe07758d85b0a24bff8fd0bd62f1bb8d598e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ/bundle.json","state_url":"https://pith.science/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T20:51:59Z","links":{"resolver":"https://pith.science/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ","bundle":"https://pith.science/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ/bundle.json","state":"https://pith.science/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7DAYO6GFY25KD6IE7AOE7JW6IJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7DAYO6GFY25KD6IE7AOE7JW6IJ","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":"ce143e7d4e2e9a06d596088da8dd00838cbd45591deeb505d4a2cc754478966f","cross_cats_sorted":["cs.LO","math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-28T07:51:24Z","title_canon_sha256":"06fa33f48a10d2d96599d37e3992f9549d8f1c97bb90bb5f0553302cafc1fa7e"},"schema_version":"1.0","source":{"id":"1505.07578","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.07578","created_at":"2026-05-18T00:38:32Z"},{"alias_kind":"arxiv_version","alias_value":"1505.07578v3","created_at":"2026-05-18T00:38:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.07578","created_at":"2026-05-18T00:38:32Z"},{"alias_kind":"pith_short_12","alias_value":"7DAYO6GFY25K","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"7DAYO6GFY25KD6IE","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"7DAYO6GF","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:13e19dd88a2e1fe952624ffcd91fe07758d85b0a24bff8fd0bd62f1bb8d598e7","target":"graph","created_at":"2026-05-18T00:38:32Z","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":"In many instances in first order logic or computable algebra, classical theorems  show that many problems are undecidable for general structures, but become  decidable if some rigidity is imposed on the structure.  For example, the set of theorems in many finitely axiomatisable theories is  nonrecursive, but the set of theorems for any finitely axiomatisable complete  theory is recursive.  Finitely presented groups might have an nonrecursive word problem, but  finitely presented simple groups have a recursive word problem.  In this article we introduce a topological framework based on closure ","authors_text":"Emmanuel Jeandel (CARTE)","cross_cats":["cs.LO","math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-28T07:51:24Z","title":"Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.07578","kind":"arxiv","version":3},"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:9a5bdcadaf4e6c92dbdb064905962815d12f409de1ca491e9e4f4cc08a25c32b","target":"record","created_at":"2026-05-18T00:38:32Z","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":"ce143e7d4e2e9a06d596088da8dd00838cbd45591deeb505d4a2cc754478966f","cross_cats_sorted":["cs.LO","math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-05-28T07:51:24Z","title_canon_sha256":"06fa33f48a10d2d96599d37e3992f9549d8f1c97bb90bb5f0553302cafc1fa7e"},"schema_version":"1.0","source":{"id":"1505.07578","kind":"arxiv","version":3}},"canonical_sha256":"f8c18778c5c6baa1f904f81c4fa6de4242d730bd40896b1c1107ef7f3e2d1058","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8c18778c5c6baa1f904f81c4fa6de4242d730bd40896b1c1107ef7f3e2d1058","first_computed_at":"2026-05-18T00:38:32.212783Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:38:32.212783Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P5a+Q32AD1z6WPYGAy+qeB3f2tA5JW/vC86lloshn0hdMg4lyMlwawZ/QESMi0LIvE/QWryeOUmqEmHXu0B3AA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:38:32.213183Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.07578","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a5bdcadaf4e6c92dbdb064905962815d12f409de1ca491e9e4f4cc08a25c32b","sha256:13e19dd88a2e1fe952624ffcd91fe07758d85b0a24bff8fd0bd62f1bb8d598e7"],"state_sha256":"52fc1111a4647a228067481ab62ec3f4af8896e51ab3d61c4edeb29d7ab37a12"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ohma/S4JZd9lt38JZUbVvSChg4Yb3B3Odk6Ztl3hjI9b3k2hdfp9BEnqIMsd00WpBp0vw8oVc4Fi4x1QQDdcBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T20:51:59.823296Z","bundle_sha256":"64192072df2900b8c6d0f9b8aff0b2e68bf832e96119b118ad03201aadb0aa6d"}}