{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:EIRDBTAFM24AH5KYX62ED3AJE6","short_pith_number":"pith:EIRDBTAF","canonical_record":{"source":{"id":"1202.4022","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2012-02-19T12:26:40Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"c2e10bae63f588d3cea10e9f5af6a0047d5306385cf356f22aacb5b5a871d3a7","abstract_canon_sha256":"945de3795684aa0ea3c6c07b5e640f3034e9b61cc6322cae18c806f0125ce5a0"},"schema_version":"1.0"},"canonical_sha256":"222230cc0566b803f558bfb441ec0927af119fad3e558a40d7ef10b3027fd7b0","source":{"kind":"arxiv","id":"1202.4022","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.4022","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"arxiv_version","alias_value":"1202.4022v2","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.4022","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"pith_short_12","alias_value":"EIRDBTAFM24A","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EIRDBTAFM24AH5KY","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EIRDBTAF","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:EIRDBTAFM24AH5KYX62ED3AJE6","target":"record","payload":{"canonical_record":{"source":{"id":"1202.4022","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2012-02-19T12:26:40Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"c2e10bae63f588d3cea10e9f5af6a0047d5306385cf356f22aacb5b5a871d3a7","abstract_canon_sha256":"945de3795684aa0ea3c6c07b5e640f3034e9b61cc6322cae18c806f0125ce5a0"},"schema_version":"1.0"},"canonical_sha256":"222230cc0566b803f558bfb441ec0927af119fad3e558a40d7ef10b3027fd7b0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:52.706485Z","signature_b64":"3uvk/oJ5SaYuG6lwrZNCSLb/AhB1ZBYoXVakcin+xKfcIur9qYVPTzvbD4FIn7yzfBzHLSDm+Y4K5RCGuBTfBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"222230cc0566b803f558bfb441ec0927af119fad3e558a40d7ef10b3027fd7b0","last_reissued_at":"2026-05-18T00:51:52.705796Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:52.705796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.4022","source_version":2,"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:51:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WGkvQJyC5uJGFZqLgC0IMCpH6j7LG3uTiELT4W1Vqd5w/LSFi0TrFIym7UYFMMB1fM02uUefWBbPjOaZRgBJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T10:57:31.020061Z"},"content_sha256":"fc8209a9746293a89182c3ae7dc4a859756a0a2d52819455389a49b624945f5d","schema_version":"1.0","event_id":"sha256:fc8209a9746293a89182c3ae7dc4a859756a0a2d52819455389a49b624945f5d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:EIRDBTAFM24AH5KYX62ED3AJE6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A pseudoexponentiation-like structure on the algebraic numbers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.NT","authors_text":"Vincenzo Mantova","submitted_at":"2012-02-19T12:26:40Z","abstract_excerpt":"Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure.\n  Here we show that if we remove the Schanuel Property and just care about existential closure, it is possible to create several existentially closed exponential functions on the algebraic numbers that still have similarities with complex exponentiation. The main difficulties are related to the arithmetic of algebraic numbers, and they can be overcome with known results about spe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.4022","kind":"arxiv","version":2},"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:51:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jhtyff/hW/EAA1Pniu5iM9JTVQPgNTSYmqcaa0cx/OeCS/jl5qdFkI7KObJXrPlxrxV71LD/cdGbFSq4CqFqAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T10:57:31.020426Z"},"content_sha256":"a4758051f3f80adbd674d3b596399833b997f556bb8a116a8e1dd4b7103617c1","schema_version":"1.0","event_id":"sha256:a4758051f3f80adbd674d3b596399833b997f556bb8a116a8e1dd4b7103617c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EIRDBTAFM24AH5KYX62ED3AJE6/bundle.json","state_url":"https://pith.science/pith/EIRDBTAFM24AH5KYX62ED3AJE6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EIRDBTAFM24AH5KYX62ED3AJE6/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-06-25T10:57:31Z","links":{"resolver":"https://pith.science/pith/EIRDBTAFM24AH5KYX62ED3AJE6","bundle":"https://pith.science/pith/EIRDBTAFM24AH5KYX62ED3AJE6/bundle.json","state":"https://pith.science/pith/EIRDBTAFM24AH5KYX62ED3AJE6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EIRDBTAFM24AH5KYX62ED3AJE6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:EIRDBTAFM24AH5KYX62ED3AJE6","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":"945de3795684aa0ea3c6c07b5e640f3034e9b61cc6322cae18c806f0125ce5a0","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2012-02-19T12:26:40Z","title_canon_sha256":"c2e10bae63f588d3cea10e9f5af6a0047d5306385cf356f22aacb5b5a871d3a7"},"schema_version":"1.0","source":{"id":"1202.4022","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.4022","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"arxiv_version","alias_value":"1202.4022v2","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.4022","created_at":"2026-05-18T00:51:52Z"},{"alias_kind":"pith_short_12","alias_value":"EIRDBTAFM24A","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EIRDBTAFM24AH5KY","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EIRDBTAF","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:a4758051f3f80adbd674d3b596399833b997f556bb8a116a8e1dd4b7103617c1","target":"graph","created_at":"2026-05-18T00:51:52Z","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":"Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure.\n  Here we show that if we remove the Schanuel Property and just care about existential closure, it is possible to create several existentially closed exponential functions on the algebraic numbers that still have similarities with complex exponentiation. The main difficulties are related to the arithmetic of algebraic numbers, and they can be overcome with known results about spe","authors_text":"Vincenzo Mantova","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2012-02-19T12:26:40Z","title":"A pseudoexponentiation-like structure on the algebraic numbers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.4022","kind":"arxiv","version":2},"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:fc8209a9746293a89182c3ae7dc4a859756a0a2d52819455389a49b624945f5d","target":"record","created_at":"2026-05-18T00:51:52Z","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":"945de3795684aa0ea3c6c07b5e640f3034e9b61cc6322cae18c806f0125ce5a0","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2012-02-19T12:26:40Z","title_canon_sha256":"c2e10bae63f588d3cea10e9f5af6a0047d5306385cf356f22aacb5b5a871d3a7"},"schema_version":"1.0","source":{"id":"1202.4022","kind":"arxiv","version":2}},"canonical_sha256":"222230cc0566b803f558bfb441ec0927af119fad3e558a40d7ef10b3027fd7b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"222230cc0566b803f558bfb441ec0927af119fad3e558a40d7ef10b3027fd7b0","first_computed_at":"2026-05-18T00:51:52.705796Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:52.705796Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3uvk/oJ5SaYuG6lwrZNCSLb/AhB1ZBYoXVakcin+xKfcIur9qYVPTzvbD4FIn7yzfBzHLSDm+Y4K5RCGuBTfBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:52.706485Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.4022","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc8209a9746293a89182c3ae7dc4a859756a0a2d52819455389a49b624945f5d","sha256:a4758051f3f80adbd674d3b596399833b997f556bb8a116a8e1dd4b7103617c1"],"state_sha256":"be697d5a06fb444264b8ea6897320ecd6353e5163d48669c87934efa6c125300"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VeQqVYq3WcCZeRD8mqj3Lz9wBQwWJd7zdpgqNRPgj5/htkqEIexeDJYdIpZDnCAqNsrewxeDcSnGpHh0NGlcCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T10:57:31.022412Z","bundle_sha256":"09f7a00880c6a60e1f21ee23a8f4e3401f1d4aaba6b9c90c33b56b96138ed4df"}}