{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4GZTHEQSW5LYVNBJJ4HTU2SYXR","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":"185edcdc307d4bc66646d717120a71a6e1e946518221c49282b9a4e04610e87a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-08-21T07:30:14Z","title_canon_sha256":"8459f79d8aeebb227f465d69a47e18f1980afc8dba9678fe8586662f192be700"},"schema_version":"1.0","source":{"id":"1708.06103","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06103","created_at":"2026-05-18T00:37:43Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06103v1","created_at":"2026-05-18T00:37:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06103","created_at":"2026-05-18T00:37:43Z"},{"alias_kind":"pith_short_12","alias_value":"4GZTHEQSW5LY","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_16","alias_value":"4GZTHEQSW5LYVNBJ","created_at":"2026-05-18T12:30:58Z"},{"alias_kind":"pith_short_8","alias_value":"4GZTHEQS","created_at":"2026-05-18T12:30:58Z"}],"graph_snapshots":[{"event_id":"sha256:da8fe0e871a3064051609ee96fdb55ca30ceb692221d74abc3566e69695be8f1","target":"graph","created_at":"2026-05-18T00:37:43Z","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 show that many large cardinal notions can be characterized in terms of the existence of certain elementary embeddings between transitive set-sized structures, that map their critical point to the large cardinal in question. In particular, we provide such embedding characterizations also for several large cardinal notions for which no embedding characterizations have been known so far, namely for subtle, for ineffable, and for $\\lambda$-ineffable cardinals. As an application, which we will study in detail in a subsequent paper, we present the basic idea of our concept of internal large cardi","authors_text":"Ana Njegomir, Peter Holy, Philipp L\\\"ucke","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-08-21T07:30:14Z","title":"Small Embedding Characterizations for Large Cardinals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06103","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:d1f01bca20cd6019e8a1534115fa45b415e84f2a13efc6e69755ef0ec43fa53b","target":"record","created_at":"2026-05-18T00:37:43Z","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":"185edcdc307d4bc66646d717120a71a6e1e946518221c49282b9a4e04610e87a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-08-21T07:30:14Z","title_canon_sha256":"8459f79d8aeebb227f465d69a47e18f1980afc8dba9678fe8586662f192be700"},"schema_version":"1.0","source":{"id":"1708.06103","kind":"arxiv","version":1}},"canonical_sha256":"e1b3339212b7578ab4294f0f3a6a58bc4477e565513ed133cd7628d3d3a475ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1b3339212b7578ab4294f0f3a6a58bc4477e565513ed133cd7628d3d3a475ed","first_computed_at":"2026-05-18T00:37:43.200969Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:43.200969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fZgX/KsjYnjDkvpLlwz7Zr7OPAqdhjTSbo/bveQRbjqmT48HQJeqhALoMEgXlZhE/2lxOh6SSr70O7EqTI3iBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:43.201521Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.06103","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d1f01bca20cd6019e8a1534115fa45b415e84f2a13efc6e69755ef0ec43fa53b","sha256:da8fe0e871a3064051609ee96fdb55ca30ceb692221d74abc3566e69695be8f1"],"state_sha256":"33e6142adcf1cf5b05901bc1ac2a541db433fe988cdb52308da391c2e0310760"}