{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:QHQS2EQ2NKHFIESNXPTDB73QBF","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":"d5e114db8dd85b7385eae42dbb0eedd29d4f7e3d2139d2713b313c4cb08ed242","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2022-12-12T19:52:07Z","title_canon_sha256":"061a14b9c2b77ebf2bd2b44f1848c228d0795d8f8715fcceea701ca8814a3719"},"schema_version":"1.0","source":{"id":"2212.06213","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.06213","created_at":"2026-07-05T05:24:47Z"},{"alias_kind":"arxiv_version","alias_value":"2212.06213v1","created_at":"2026-07-05T05:24:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.06213","created_at":"2026-07-05T05:24:47Z"},{"alias_kind":"pith_short_12","alias_value":"QHQS2EQ2NKHF","created_at":"2026-07-05T05:24:47Z"},{"alias_kind":"pith_short_16","alias_value":"QHQS2EQ2NKHFIESN","created_at":"2026-07-05T05:24:47Z"},{"alias_kind":"pith_short_8","alias_value":"QHQS2EQ2","created_at":"2026-07-05T05:24:47Z"}],"graph_snapshots":[{"event_id":"sha256:a789ba6cb4bf169d66c4b2f65df57896c0b4da3581b5b9feae268a09642b1ca7","target":"graph","created_at":"2026-07-05T05:24:47Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2212.06213/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An integral domain $R$ is atomic if each nonzero nonunit of $R$ factors into irreducibles. In addition, an integral domain $R$ satisfies the ascending chain condition on principal ideals (ACCP) if every increasing sequence of principal ideals (under inclusion) becomes constant from one point on. Although it is not hard to verify that every integral domain satisfying ACCP is atomic, examples of atomic domains that do not satisfy ACCP are notoriously hard to construct. The first of such examples was constructed by A. Grams back in 1974. In this paper we delve into the class of atomic domains tha","authors_text":"Bangzheng Li, Felix Gotti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2022-12-12T19:52:07Z","title":"Divisibility and a weak ascending chain condition on principal ideals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.06213","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:4dbf3f5a90911a42fe049cb625c5344a97b994ea8ae6e5923dc189c9b316fe8b","target":"record","created_at":"2026-07-05T05:24:47Z","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":"d5e114db8dd85b7385eae42dbb0eedd29d4f7e3d2139d2713b313c4cb08ed242","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2022-12-12T19:52:07Z","title_canon_sha256":"061a14b9c2b77ebf2bd2b44f1848c228d0795d8f8715fcceea701ca8814a3719"},"schema_version":"1.0","source":{"id":"2212.06213","kind":"arxiv","version":1}},"canonical_sha256":"81e12d121a6a8e54124dbbe630ff70097abb6251cdf98e58560518acfcf916e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81e12d121a6a8e54124dbbe630ff70097abb6251cdf98e58560518acfcf916e0","first_computed_at":"2026-07-05T05:24:47.793393Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:24:47.793393Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ky+bnTxyr9U0K3R5qbOGbDsGbZrnTIRY+gifW0WfZQegq5dlfxkXOHHhhJ+myHKiOSPXgpuslJxh0iBR9PL3Cw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:24:47.793823Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.06213","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4dbf3f5a90911a42fe049cb625c5344a97b994ea8ae6e5923dc189c9b316fe8b","sha256:a789ba6cb4bf169d66c4b2f65df57896c0b4da3581b5b9feae268a09642b1ca7"],"state_sha256":"a072867203f23d9c0a8077efa46e21d3f3a13817900777fb85d07d233da0c00e"}