{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:56W6ASYEFLCWEK32O2GR3U4FXF","short_pith_number":"pith:56W6ASYE","canonical_record":{"source":{"id":"1805.09836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-05-24T18:08:01Z","cross_cats_sorted":["math.LO","math.RA"],"title_canon_sha256":"033570480345da8b0b5a758d9e85eb01af958e21321ec424c2425b8e365da782","abstract_canon_sha256":"8940a0b27ef17229a69d380c5409eb5bd89ed8d51959ba661616ff64a0eee1e3"},"schema_version":"1.0"},"canonical_sha256":"efade04b042ac5622b7a768d1dd385b96c90c967439f8ce4b1853d7fa5da93c1","source":{"kind":"arxiv","id":"1805.09836","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.09836","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"1805.09836v1","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.09836","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"56W6ASYEFLCW","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"56W6ASYEFLCWEK32","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"56W6ASYE","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:56W6ASYEFLCWEK32O2GR3U4FXF","target":"record","payload":{"canonical_record":{"source":{"id":"1805.09836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-05-24T18:08:01Z","cross_cats_sorted":["math.LO","math.RA"],"title_canon_sha256":"033570480345da8b0b5a758d9e85eb01af958e21321ec424c2425b8e365da782","abstract_canon_sha256":"8940a0b27ef17229a69d380c5409eb5bd89ed8d51959ba661616ff64a0eee1e3"},"schema_version":"1.0"},"canonical_sha256":"efade04b042ac5622b7a768d1dd385b96c90c967439f8ce4b1853d7fa5da93c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:58.989008Z","signature_b64":"bO0WK19hUt5/RIrRTh4Iji+uxXIIip1cTku8kFPkw4Mcb8+DAbWZmrImCG43hqRfrV3nLQunQfiBEcYu9EEECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"efade04b042ac5622b7a768d1dd385b96c90c967439f8ce4b1853d7fa5da93c1","last_reissued_at":"2026-05-18T00:14:58.987992Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:58.987992Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.09836","source_version":1,"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:14:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r/mpjCqw4JUd/wsw8/MLOX8K85GLjva/W6mx3X8G+c5eVKjN5JWCfC5WgwVHLUbFiPKVd/h0dSznEEAPX8aTBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:44:40.805363Z"},"content_sha256":"ff5e89963d3a2f6308278a619108a3826eb9807df73534e08c8e97bb5906035d","schema_version":"1.0","event_id":"sha256:ff5e89963d3a2f6308278a619108a3826eb9807df73534e08c8e97bb5906035d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:56W6ASYEFLCWEK32O2GR3U4FXF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finiteness spaces and generalized power series","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO","math.RA"],"primary_cat":"math.CT","authors_text":"Philip Scott, Pierre-Alain Jacqmin, Richard Blute, Robin Cockett","submitted_at":"2018-05-24T18:08:01Z","abstract_excerpt":"We consider Ribenboim's construction of rings of generalized power series. Ribenboim's construction makes use of a special class of partially ordered monoids and a special class of their subsets. While the restrictions he imposes might seem conceptually unclear, we demonstrate that they are precisely the appropriate conditions to represent such monoids as internal monoids in an appropriate category of Ehrhard's finiteness spaces. Ehrhard introduced finiteness spaces as the objects of a categorical model of classical linear logic, where a set is equipped with a class of subsets to be thought of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.09836","kind":"arxiv","version":1},"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:14:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UrbExsrmi+M3bh8+5PX3QE3FwIvKSDcoGyTt2wmD9mbTFzRryVsPJOgRM//Pp6MFSPEd25KqWZHyEOkghmi2Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T06:44:40.805714Z"},"content_sha256":"be0492f5f39269f3792861af2ff9a23727c103f619d20715d7db4ac6c11b0658","schema_version":"1.0","event_id":"sha256:be0492f5f39269f3792861af2ff9a23727c103f619d20715d7db4ac6c11b0658"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/56W6ASYEFLCWEK32O2GR3U4FXF/bundle.json","state_url":"https://pith.science/pith/56W6ASYEFLCWEK32O2GR3U4FXF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/56W6ASYEFLCWEK32O2GR3U4FXF/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-05-30T06:44:40Z","links":{"resolver":"https://pith.science/pith/56W6ASYEFLCWEK32O2GR3U4FXF","bundle":"https://pith.science/pith/56W6ASYEFLCWEK32O2GR3U4FXF/bundle.json","state":"https://pith.science/pith/56W6ASYEFLCWEK32O2GR3U4FXF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/56W6ASYEFLCWEK32O2GR3U4FXF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:56W6ASYEFLCWEK32O2GR3U4FXF","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":"8940a0b27ef17229a69d380c5409eb5bd89ed8d51959ba661616ff64a0eee1e3","cross_cats_sorted":["math.LO","math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-05-24T18:08:01Z","title_canon_sha256":"033570480345da8b0b5a758d9e85eb01af958e21321ec424c2425b8e365da782"},"schema_version":"1.0","source":{"id":"1805.09836","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.09836","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"1805.09836v1","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.09836","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"56W6ASYEFLCW","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"56W6ASYEFLCWEK32","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"56W6ASYE","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:be0492f5f39269f3792861af2ff9a23727c103f619d20715d7db4ac6c11b0658","target":"graph","created_at":"2026-05-18T00:14: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 consider Ribenboim's construction of rings of generalized power series. Ribenboim's construction makes use of a special class of partially ordered monoids and a special class of their subsets. While the restrictions he imposes might seem conceptually unclear, we demonstrate that they are precisely the appropriate conditions to represent such monoids as internal monoids in an appropriate category of Ehrhard's finiteness spaces. Ehrhard introduced finiteness spaces as the objects of a categorical model of classical linear logic, where a set is equipped with a class of subsets to be thought of","authors_text":"Philip Scott, Pierre-Alain Jacqmin, Richard Blute, Robin Cockett","cross_cats":["math.LO","math.RA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-05-24T18:08:01Z","title":"Finiteness spaces and generalized power series"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.09836","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:ff5e89963d3a2f6308278a619108a3826eb9807df73534e08c8e97bb5906035d","target":"record","created_at":"2026-05-18T00:14: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":"8940a0b27ef17229a69d380c5409eb5bd89ed8d51959ba661616ff64a0eee1e3","cross_cats_sorted":["math.LO","math.RA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-05-24T18:08:01Z","title_canon_sha256":"033570480345da8b0b5a758d9e85eb01af958e21321ec424c2425b8e365da782"},"schema_version":"1.0","source":{"id":"1805.09836","kind":"arxiv","version":1}},"canonical_sha256":"efade04b042ac5622b7a768d1dd385b96c90c967439f8ce4b1853d7fa5da93c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"efade04b042ac5622b7a768d1dd385b96c90c967439f8ce4b1853d7fa5da93c1","first_computed_at":"2026-05-18T00:14:58.987992Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:58.987992Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bO0WK19hUt5/RIrRTh4Iji+uxXIIip1cTku8kFPkw4Mcb8+DAbWZmrImCG43hqRfrV3nLQunQfiBEcYu9EEECw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:58.989008Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.09836","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff5e89963d3a2f6308278a619108a3826eb9807df73534e08c8e97bb5906035d","sha256:be0492f5f39269f3792861af2ff9a23727c103f619d20715d7db4ac6c11b0658"],"state_sha256":"760a2835a92468c8df69b163734fb5134b09e45485dfefeb9db59ed8f91cc038"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5JylnZicCAW6MlYYeryiw/ykPmKHYCk3d9DFnN4sZFpz/4aoX/c6gfLx4ryIzy0eKEkEbpzfwIQ+G82RZ3i1Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T06:44:40.807661Z","bundle_sha256":"31dea5ae35f5149f374cabe8b0b78127a40add78ab0a788b2ee58b5cf240ac61"}}