{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:L2HNSPMWHOTMBAMWKT2YTRONXI","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":"c7a4232dcc13982bf56fa9aef70cea0872ea3b664c16f5a93b43b41a5d5c0f21","cross_cats_sorted":["math.RA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2024-04-16T22:35:02Z","title_canon_sha256":"073578fe9f841c922875ceead74802ffc4e07b7da0962d75838a9f50109f1405"},"schema_version":"1.0","source":{"id":"2404.10937","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.10937","created_at":"2026-07-05T08:09:01Z"},{"alias_kind":"arxiv_version","alias_value":"2404.10937v1","created_at":"2026-07-05T08:09:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.10937","created_at":"2026-07-05T08:09:01Z"},{"alias_kind":"pith_short_12","alias_value":"L2HNSPMWHOTM","created_at":"2026-07-05T08:09:01Z"},{"alias_kind":"pith_short_16","alias_value":"L2HNSPMWHOTMBAMW","created_at":"2026-07-05T08:09:01Z"},{"alias_kind":"pith_short_8","alias_value":"L2HNSPMW","created_at":"2026-07-05T08:09:01Z"}],"graph_snapshots":[{"event_id":"sha256:e12b5ecf31436316ff45b29ca7b1c3d311e2a98e4975cdff3ee79b968930d99c","target":"graph","created_at":"2026-07-05T08:09:01Z","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/2404.10937/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Arithmetic valuations are intimately connected with the structure of the ideals of a commutative ring. We show how the generalized idempotent semiring valuations of Jeffrey and Noah Giansiracusa can be used to make this connection explicit. Through this generalized valuation theory sufficiently complete positive valuations give rise to Galois correspondences with the lattice of ideals of a commutative ring. Up to isomorphism the semiring of ideals of a commutative ring can be defined as a universal factoring semiring for positive valuations. We then further show that this valuation theory can ","authors_text":"William Bernardoni","cross_cats":["math.RA"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2024-04-16T22:35:02Z","title":"A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.10937","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:4d74ae3b12d7ca4c6b14e2443ee11f1dccf04e2f344c27dfdca9f4b1b6dcb06f","target":"record","created_at":"2026-07-05T08:09:01Z","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":"c7a4232dcc13982bf56fa9aef70cea0872ea3b664c16f5a93b43b41a5d5c0f21","cross_cats_sorted":["math.RA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2024-04-16T22:35:02Z","title_canon_sha256":"073578fe9f841c922875ceead74802ffc4e07b7da0962d75838a9f50109f1405"},"schema_version":"1.0","source":{"id":"2404.10937","kind":"arxiv","version":1}},"canonical_sha256":"5e8ed93d963ba6c0819654f589c5cdba07eccb4fff71cec8d2840f09a8515678","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e8ed93d963ba6c0819654f589c5cdba07eccb4fff71cec8d2840f09a8515678","first_computed_at":"2026-07-05T08:09:01.001558Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:09:01.001558Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"G5xMk/b4h1A36eLsZPo5Ow7xTSWxrQfRzjMv1R4IdrVd9Dezqhi8olww1nOTxURs1/zCvAA3NaHCA3WuVVuOBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:09:01.001919Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.10937","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d74ae3b12d7ca4c6b14e2443ee11f1dccf04e2f344c27dfdca9f4b1b6dcb06f","sha256:e12b5ecf31436316ff45b29ca7b1c3d311e2a98e4975cdff3ee79b968930d99c"],"state_sha256":"a33ec890095c5406ca4699152608ee348231c8f307ffefd1f0415599951a9905"}