{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:7CBCMZXEFABN2DN7GES4WF3JBD","short_pith_number":"pith:7CBCMZXE","canonical_record":{"source":{"id":"1203.4538","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-20T18:33:07Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"f4dd72052a65dbc5a357becd03d04942a533739850fcc8363be8c4e40c3be24b","abstract_canon_sha256":"37d71c46e21ea9bf3618d94923b08e7b492bb2e50946ee7bc972b6ae88d79379"},"schema_version":"1.0"},"canonical_sha256":"f8822666e42802dd0dbf3125cb176908d42e51d581f005f098b5d9085921cd1d","source":{"kind":"arxiv","id":"1203.4538","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.4538","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1203.4538v1","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.4538","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"7CBCMZXEFABN","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"7CBCMZXEFABN2DN7","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"7CBCMZXE","created_at":"2026-05-18T12:26:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:7CBCMZXEFABN2DN7GES4WF3JBD","target":"record","payload":{"canonical_record":{"source":{"id":"1203.4538","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-20T18:33:07Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"f4dd72052a65dbc5a357becd03d04942a533739850fcc8363be8c4e40c3be24b","abstract_canon_sha256":"37d71c46e21ea9bf3618d94923b08e7b492bb2e50946ee7bc972b6ae88d79379"},"schema_version":"1.0"},"canonical_sha256":"f8822666e42802dd0dbf3125cb176908d42e51d581f005f098b5d9085921cd1d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:02:59.628263Z","signature_b64":"a9vQU3/aWBH45z98MIW9PR4FQ11DZ3K/uqlwx50H/oxvlT7N/GIumAUvWmF3yO692M7mwDawpjs+ZIiGZanrAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8822666e42802dd0dbf3125cb176908d42e51d581f005f098b5d9085921cd1d","last_reissued_at":"2026-05-18T01:02:59.627769Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:02:59.627769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.4538","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-18T01:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VwEZHqJGpltZK8horoSfImJba+mro4gCU1MMr2HN8DbcOgmUQ6QyN9pinulAV4IrF6cQcAMEaPh2XhKLSAkNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:17:31.450573Z"},"content_sha256":"543ab952a949c970fd2dd2728127d0906fd5a1b86b3820a32cd5984e5eadd2af","schema_version":"1.0","event_id":"sha256:543ab952a949c970fd2dd2728127d0906fd5a1b86b3820a32cd5984e5eadd2af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:7CBCMZXEFABN2DN7GES4WF3JBD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The exponential-logarithmic equivalence classes of surreal numbers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.AC","authors_text":"Micka\\\"el Matusinski, Salma Kuhlmann","submitted_at":"2012-03-20T18:33:07Z","abstract_excerpt":"In his monograph, H. Gonshor showed that Conway's real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed that it is a model of the elementary theory of the field of real numbers with the exponential function. In this paper, we give a complete description of the exponential equivalence classes in the spirit of the classical Archimedean and multiplicative equivalence classes. This description is made in terms of a recursive formula as well as a sign sequence formula for the family of representatives of minimal length "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.4538","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-18T01:02:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JJWe5js9zrZX2G/idSLcL0dsXU0jtND/hdxvlO3kED26BSyRqiCF/IU51viVHh5nMe/rrB1AgDc8VL25u0vfAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:17:31.450954Z"},"content_sha256":"e3e5098f48ab4bedef99daeb1955da5aabcee5f1f0911da4617ab6433b9f2eba","schema_version":"1.0","event_id":"sha256:e3e5098f48ab4bedef99daeb1955da5aabcee5f1f0911da4617ab6433b9f2eba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7CBCMZXEFABN2DN7GES4WF3JBD/bundle.json","state_url":"https://pith.science/pith/7CBCMZXEFABN2DN7GES4WF3JBD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7CBCMZXEFABN2DN7GES4WF3JBD/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-30T07:17:31Z","links":{"resolver":"https://pith.science/pith/7CBCMZXEFABN2DN7GES4WF3JBD","bundle":"https://pith.science/pith/7CBCMZXEFABN2DN7GES4WF3JBD/bundle.json","state":"https://pith.science/pith/7CBCMZXEFABN2DN7GES4WF3JBD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7CBCMZXEFABN2DN7GES4WF3JBD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:7CBCMZXEFABN2DN7GES4WF3JBD","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":"37d71c46e21ea9bf3618d94923b08e7b492bb2e50946ee7bc972b6ae88d79379","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-20T18:33:07Z","title_canon_sha256":"f4dd72052a65dbc5a357becd03d04942a533739850fcc8363be8c4e40c3be24b"},"schema_version":"1.0","source":{"id":"1203.4538","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.4538","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"arxiv_version","alias_value":"1203.4538v1","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.4538","created_at":"2026-05-18T01:02:59Z"},{"alias_kind":"pith_short_12","alias_value":"7CBCMZXEFABN","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_16","alias_value":"7CBCMZXEFABN2DN7","created_at":"2026-05-18T12:26:56Z"},{"alias_kind":"pith_short_8","alias_value":"7CBCMZXE","created_at":"2026-05-18T12:26:56Z"}],"graph_snapshots":[{"event_id":"sha256:e3e5098f48ab4bedef99daeb1955da5aabcee5f1f0911da4617ab6433b9f2eba","target":"graph","created_at":"2026-05-18T01:02: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 his monograph, H. Gonshor showed that Conway's real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed that it is a model of the elementary theory of the field of real numbers with the exponential function. In this paper, we give a complete description of the exponential equivalence classes in the spirit of the classical Archimedean and multiplicative equivalence classes. This description is made in terms of a recursive formula as well as a sign sequence formula for the family of representatives of minimal length ","authors_text":"Micka\\\"el Matusinski, Salma Kuhlmann","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-20T18:33:07Z","title":"The exponential-logarithmic equivalence classes of surreal numbers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.4538","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:543ab952a949c970fd2dd2728127d0906fd5a1b86b3820a32cd5984e5eadd2af","target":"record","created_at":"2026-05-18T01:02: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":"37d71c46e21ea9bf3618d94923b08e7b492bb2e50946ee7bc972b6ae88d79379","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2012-03-20T18:33:07Z","title_canon_sha256":"f4dd72052a65dbc5a357becd03d04942a533739850fcc8363be8c4e40c3be24b"},"schema_version":"1.0","source":{"id":"1203.4538","kind":"arxiv","version":1}},"canonical_sha256":"f8822666e42802dd0dbf3125cb176908d42e51d581f005f098b5d9085921cd1d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8822666e42802dd0dbf3125cb176908d42e51d581f005f098b5d9085921cd1d","first_computed_at":"2026-05-18T01:02:59.627769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:02:59.627769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a9vQU3/aWBH45z98MIW9PR4FQ11DZ3K/uqlwx50H/oxvlT7N/GIumAUvWmF3yO692M7mwDawpjs+ZIiGZanrAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:02:59.628263Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.4538","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:543ab952a949c970fd2dd2728127d0906fd5a1b86b3820a32cd5984e5eadd2af","sha256:e3e5098f48ab4bedef99daeb1955da5aabcee5f1f0911da4617ab6433b9f2eba"],"state_sha256":"277e53bcb471030e5281cd4e083466a14742917cb34f7114ed295a0346bfe3e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MWKC4eNPQL1natMTDfVcfvxZD55l8RgFq2YC9rHekZarSbIeUZrpIP6dK8qQzztFy2z7gUmX2tiTs6dRbqnlDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:17:31.453641Z","bundle_sha256":"641cb7ca3334850b81750e0471c81500c7defe4dc56b78355d3f93d7b4bb6b54"}}