{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:1995:QMXPUI6Q3KM6V3F77N6FY7FZOJ","short_pith_number":"pith:QMXPUI6Q","canonical_record":{"source":{"id":"math/9503204","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"1995-03-07T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"09890a497e5f345c57706055e6442d53d0c71ccbf2085894c0ed09aafc8c6b02","abstract_canon_sha256":"7d2c8b7aa580d626e0ab5b1af3d4412c6a7f5716046190b1fef76ec94372708d"},"schema_version":"1.0"},"canonical_sha256":"832efa23d0da99eaecbffb7c5c7cb972533d0a29d7e0c53648d1b449aed57063","source":{"kind":"arxiv","id":"math/9503204","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9503204","created_at":"2026-05-18T01:05:50Z"},{"alias_kind":"arxiv_version","alias_value":"math/9503204v1","created_at":"2026-05-18T01:05:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9503204","created_at":"2026-05-18T01:05:50Z"},{"alias_kind":"pith_short_12","alias_value":"QMXPUI6Q3KM6","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"QMXPUI6Q3KM6V3F7","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"QMXPUI6Q","created_at":"2026-05-18T12:25:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:1995:QMXPUI6Q3KM6V3F77N6FY7FZOJ","target":"record","payload":{"canonical_record":{"source":{"id":"math/9503204","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"1995-03-07T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"09890a497e5f345c57706055e6442d53d0c71ccbf2085894c0ed09aafc8c6b02","abstract_canon_sha256":"7d2c8b7aa580d626e0ab5b1af3d4412c6a7f5716046190b1fef76ec94372708d"},"schema_version":"1.0"},"canonical_sha256":"832efa23d0da99eaecbffb7c5c7cb972533d0a29d7e0c53648d1b449aed57063","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:05:50.423987Z","signature_b64":"Ts+vjMutmvhN4pGsrMyB0nglq0ElamnpGnaYGd+7npCfCvdxzWyudNGXLVWTaZq4Q+erQ6zRw+U+aI6NDik2Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"832efa23d0da99eaecbffb7c5c7cb972533d0a29d7e0c53648d1b449aed57063","last_reissued_at":"2026-05-18T01:05:50.423546Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:05:50.423546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/9503204","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:05:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mJPJCcSlNfh+nby+i3EqHfh7vjEtrv1nKnH+3NLhd0FoeelQnK6SFwJbqFXVJKmjEcAY4CZHZOoskm8A8MAbCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T16:25:10.960824Z"},"content_sha256":"a260b8187d9db178b51d51206d2c3f10d7021fa9fc74eb2cc9375b2c1927e52e","schema_version":"1.0","event_id":"sha256:a260b8187d9db178b51d51206d2c3f10d7021fa9fc74eb2cc9375b2c1927e52e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:1995:QMXPUI6Q3KM6V3F77N6FY7FZOJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Critical points in an algebra of elementary embeddings, II","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Randall Dougherty","submitted_at":"1995-03-07T00:00:00Z","abstract_excerpt":"In this paper, we continue the study of a left-distributive algebra of elementary embeddings from the collection of sets of rank less than lambda to itself, as well as related finite left-distributive algebras (which can be defined without reference to large cardinals).  In particular, we look at the critical points (least ordinals moved) of the elementary embeddings; simple statements about these ordinals can be reformulated as purely algebraic statements concerning the left distributive law.  Previously, lower bounds on the number of critical points have been used to show that certain such a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9503204","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:05:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C66tjGJ/o5bTEQPVN+qHkpCPCFp5DenHk0tK2EcnyL92PrSphcSKcxxXbV6oogjXS4/vmc6i4JazeuDRCh2aDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T16:25:10.961545Z"},"content_sha256":"6b9525240981055ac0952777589d7d5ed7006e3b9736e8cb4ddde88543eb4a68","schema_version":"1.0","event_id":"sha256:6b9525240981055ac0952777589d7d5ed7006e3b9736e8cb4ddde88543eb4a68"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ/bundle.json","state_url":"https://pith.science/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ/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-08T16:25:10Z","links":{"resolver":"https://pith.science/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ","bundle":"https://pith.science/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ/bundle.json","state":"https://pith.science/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QMXPUI6Q3KM6V3F77N6FY7FZOJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:1995:QMXPUI6Q3KM6V3F77N6FY7FZOJ","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":"7d2c8b7aa580d626e0ab5b1af3d4412c6a7f5716046190b1fef76ec94372708d","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"1995-03-07T00:00:00Z","title_canon_sha256":"09890a497e5f345c57706055e6442d53d0c71ccbf2085894c0ed09aafc8c6b02"},"schema_version":"1.0","source":{"id":"math/9503204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/9503204","created_at":"2026-05-18T01:05:50Z"},{"alias_kind":"arxiv_version","alias_value":"math/9503204v1","created_at":"2026-05-18T01:05:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9503204","created_at":"2026-05-18T01:05:50Z"},{"alias_kind":"pith_short_12","alias_value":"QMXPUI6Q3KM6","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_16","alias_value":"QMXPUI6Q3KM6V3F7","created_at":"2026-05-18T12:25:47Z"},{"alias_kind":"pith_short_8","alias_value":"QMXPUI6Q","created_at":"2026-05-18T12:25:47Z"}],"graph_snapshots":[{"event_id":"sha256:6b9525240981055ac0952777589d7d5ed7006e3b9736e8cb4ddde88543eb4a68","target":"graph","created_at":"2026-05-18T01:05:50Z","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 this paper, we continue the study of a left-distributive algebra of elementary embeddings from the collection of sets of rank less than lambda to itself, as well as related finite left-distributive algebras (which can be defined without reference to large cardinals).  In particular, we look at the critical points (least ordinals moved) of the elementary embeddings; simple statements about these ordinals can be reformulated as purely algebraic statements concerning the left distributive law.  Previously, lower bounds on the number of critical points have been used to show that certain such a","authors_text":"Randall Dougherty","cross_cats":[],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"1995-03-07T00:00:00Z","title":"Critical points in an algebra of elementary embeddings, II"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9503204","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:a260b8187d9db178b51d51206d2c3f10d7021fa9fc74eb2cc9375b2c1927e52e","target":"record","created_at":"2026-05-18T01:05:50Z","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":"7d2c8b7aa580d626e0ab5b1af3d4412c6a7f5716046190b1fef76ec94372708d","cross_cats_sorted":[],"license":"","primary_cat":"math.LO","submitted_at":"1995-03-07T00:00:00Z","title_canon_sha256":"09890a497e5f345c57706055e6442d53d0c71ccbf2085894c0ed09aafc8c6b02"},"schema_version":"1.0","source":{"id":"math/9503204","kind":"arxiv","version":1}},"canonical_sha256":"832efa23d0da99eaecbffb7c5c7cb972533d0a29d7e0c53648d1b449aed57063","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"832efa23d0da99eaecbffb7c5c7cb972533d0a29d7e0c53648d1b449aed57063","first_computed_at":"2026-05-18T01:05:50.423546Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:05:50.423546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ts+vjMutmvhN4pGsrMyB0nglq0ElamnpGnaYGd+7npCfCvdxzWyudNGXLVWTaZq4Q+erQ6zRw+U+aI6NDik2Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:05:50.423987Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/9503204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a260b8187d9db178b51d51206d2c3f10d7021fa9fc74eb2cc9375b2c1927e52e","sha256:6b9525240981055ac0952777589d7d5ed7006e3b9736e8cb4ddde88543eb4a68"],"state_sha256":"7daa2e20bc49670ce2d7536d47991b4ad863615cb896c931c3aaf5d414fcd736"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qANNj/mMQWPCjy7+pr3DNnQg3+Ctc/v5TMlnhhpG2ScjO/KYzGfT2hztQ0NnEOMzqKKSrt34GIlireIrB8uuDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T16:25:10.965953Z","bundle_sha256":"99151578bce1b9eb37033628b0d953b291243fbfc44b7b2d99e9265dc636a68d"}}