{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:MXOU5CZECYLIKBWCRNTSNDPIV6","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":"b39959e9d629447f4dbed87856079d5d622c58746cd933b6413ef83e82fde681","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2010-03-09T18:08:10Z","title_canon_sha256":"ef002247fbd1bea29522de6595cce10b11c122d90822bdfe266527aa3704b12b"},"schema_version":"1.0","source":{"id":"1003.1943","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1003.1943","created_at":"2026-05-18T00:31:59Z"},{"alias_kind":"arxiv_version","alias_value":"1003.1943v5","created_at":"2026-05-18T00:31:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1003.1943","created_at":"2026-05-18T00:31:59Z"},{"alias_kind":"pith_short_12","alias_value":"MXOU5CZECYLI","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"MXOU5CZECYLIKBWC","created_at":"2026-05-18T12:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"MXOU5CZE","created_at":"2026-05-18T12:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:f460b3cad455b2ef0da4ac98f2040b17580a5c3368fe60cea079a386ecbf80ba","target":"graph","created_at":"2026-05-18T00:31:59Z","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 this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of computability need to be turned into constructive ones. We do this explicitly for the often-studied example Abelian category of finitely presented modules over a so-called computable ring $R$, i.e., a ring with an explicit algorithm to solve one-sided (in)homogeneous linear systems over $R$. For a finitely generated maximal ideal $\\mathfrak{m}$ in a commutative ring $R$","authors_text":"Markus Lange-Hegermann, Mohamed Barakat","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2010-03-09T18:08:10Z","title":"An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1003.1943","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:b04d3abd9a1411401f08a86e1b5d3bb4ca92615a8b6bacc704ac1a967fc7a7ba","target":"record","created_at":"2026-05-18T00:31:59Z","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":"b39959e9d629447f4dbed87856079d5d622c58746cd933b6413ef83e82fde681","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2010-03-09T18:08:10Z","title_canon_sha256":"ef002247fbd1bea29522de6595cce10b11c122d90822bdfe266527aa3704b12b"},"schema_version":"1.0","source":{"id":"1003.1943","kind":"arxiv","version":5}},"canonical_sha256":"65dd4e8b2416168506c28b67268de8afa3a20b309f0293a33a689266722a49e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65dd4e8b2416168506c28b67268de8afa3a20b309f0293a33a689266722a49e9","first_computed_at":"2026-05-18T00:31:59.208681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:31:59.208681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3NoKEemRUKsENIiuJ8SGOR/1sVSEo6dc736pfCNYPSvg/loHI1ivmgw6PMJM81O9wRgyIblw6YquE6v8edX/CA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:31:59.209123Z","signed_message":"canonical_sha256_bytes"},"source_id":"1003.1943","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b04d3abd9a1411401f08a86e1b5d3bb4ca92615a8b6bacc704ac1a967fc7a7ba","sha256:f460b3cad455b2ef0da4ac98f2040b17580a5c3368fe60cea079a386ecbf80ba"],"state_sha256":"be6ce527ac881a8ad7824902dc1b863895bb8051edd05323646c65ffbdb3c7c7"}