{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:XZSKVFMKDC6V7ZDNWHUHR76CHU","short_pith_number":"pith:XZSKVFMK","canonical_record":{"source":{"id":"1111.5180","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-22T12:43:44Z","cross_cats_sorted":[],"title_canon_sha256":"da7b0113129292f54d92a2ce4d87b103e30dcbbaa3d04cc5b1fd1784d22627ed","abstract_canon_sha256":"17e3b14619fa13316d132e4595743705188555c0a68ec448c7907c1980078472"},"schema_version":"1.0"},"canonical_sha256":"be64aa958a18bd5fe46db1e878ffc23d3a7c0540ef6055adf889d994edbf64ef","source":{"kind":"arxiv","id":"1111.5180","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.5180","created_at":"2026-05-18T04:07:53Z"},{"alias_kind":"arxiv_version","alias_value":"1111.5180v1","created_at":"2026-05-18T04:07:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.5180","created_at":"2026-05-18T04:07:53Z"},{"alias_kind":"pith_short_12","alias_value":"XZSKVFMKDC6V","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XZSKVFMKDC6V7ZDN","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XZSKVFMK","created_at":"2026-05-18T12:26:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:XZSKVFMKDC6V7ZDNWHUHR76CHU","target":"record","payload":{"canonical_record":{"source":{"id":"1111.5180","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-22T12:43:44Z","cross_cats_sorted":[],"title_canon_sha256":"da7b0113129292f54d92a2ce4d87b103e30dcbbaa3d04cc5b1fd1784d22627ed","abstract_canon_sha256":"17e3b14619fa13316d132e4595743705188555c0a68ec448c7907c1980078472"},"schema_version":"1.0"},"canonical_sha256":"be64aa958a18bd5fe46db1e878ffc23d3a7c0540ef6055adf889d994edbf64ef","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:53.227812Z","signature_b64":"o04s6nfQLlaGy1acQith3briHTzpjRGW52chNayyP3cGfdw8F8e5sFToFjU1h2YUeFMN3wLJys740Htdi+REAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be64aa958a18bd5fe46db1e878ffc23d3a7c0540ef6055adf889d994edbf64ef","last_reissued_at":"2026-05-18T04:07:53.226987Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:53.226987Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1111.5180","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-18T04:07:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gqv7GGSSsIPMw8NES05mXyENP68Q8+HlrdrbCAIf18FF01ip70b+OOyTWcGfTWUKB2xhMqFZPy2fUFauxWgJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:26:10.690746Z"},"content_sha256":"fec02cd6d3f95fcc3703050d602f2239d983378a22b16215777500e18a130258","schema_version":"1.0","event_id":"sha256:fec02cd6d3f95fcc3703050d602f2239d983378a22b16215777500e18a130258"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:XZSKVFMKDC6V7ZDNWHUHR76CHU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Are There Enough Injective Sets?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Benno van den Berg, Johan Granstroem, Peter Aczel, Peter Schuster","submitted_at":"2011-11-22T12:43:44Z","abstract_excerpt":"The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Loef's intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argument fails to work in CZF. The aim of this paper is to shed some light on the problem whether there are (enough) injective sets in CZF.\n  We show that no two element set is injective unless the law of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.5180","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-18T04:07:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5EgmzsPEkTAe7M2Vj9QzKB5vtpClTEg7/QTElWuvML9xPK4j703UkAB2Cbd/fVTFSmACVAHO0ezYQIDQLrhMBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:26:10.691491Z"},"content_sha256":"1c6212a34622f1a7fe14052ac3a483e504a9878187ff533d434c99b30f6efc9e","schema_version":"1.0","event_id":"sha256:1c6212a34622f1a7fe14052ac3a483e504a9878187ff533d434c99b30f6efc9e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU/bundle.json","state_url":"https://pith.science/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU/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-27T12:26:10Z","links":{"resolver":"https://pith.science/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU","bundle":"https://pith.science/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU/bundle.json","state":"https://pith.science/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XZSKVFMKDC6V7ZDNWHUHR76CHU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:XZSKVFMKDC6V7ZDNWHUHR76CHU","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":"17e3b14619fa13316d132e4595743705188555c0a68ec448c7907c1980078472","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-22T12:43:44Z","title_canon_sha256":"da7b0113129292f54d92a2ce4d87b103e30dcbbaa3d04cc5b1fd1784d22627ed"},"schema_version":"1.0","source":{"id":"1111.5180","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1111.5180","created_at":"2026-05-18T04:07:53Z"},{"alias_kind":"arxiv_version","alias_value":"1111.5180v1","created_at":"2026-05-18T04:07:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1111.5180","created_at":"2026-05-18T04:07:53Z"},{"alias_kind":"pith_short_12","alias_value":"XZSKVFMKDC6V","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_16","alias_value":"XZSKVFMKDC6V7ZDN","created_at":"2026-05-18T12:26:47Z"},{"alias_kind":"pith_short_8","alias_value":"XZSKVFMK","created_at":"2026-05-18T12:26:47Z"}],"graph_snapshots":[{"event_id":"sha256:1c6212a34622f1a7fe14052ac3a483e504a9878187ff533d434c99b30f6efc9e","target":"graph","created_at":"2026-05-18T04:07:53Z","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":"The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Loef's intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argument fails to work in CZF. The aim of this paper is to shed some light on the problem whether there are (enough) injective sets in CZF.\n  We show that no two element set is injective unless the law of ","authors_text":"Benno van den Berg, Johan Granstroem, Peter Aczel, Peter Schuster","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-22T12:43:44Z","title":"Are There Enough Injective Sets?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1111.5180","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:fec02cd6d3f95fcc3703050d602f2239d983378a22b16215777500e18a130258","target":"record","created_at":"2026-05-18T04:07:53Z","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":"17e3b14619fa13316d132e4595743705188555c0a68ec448c7907c1980078472","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2011-11-22T12:43:44Z","title_canon_sha256":"da7b0113129292f54d92a2ce4d87b103e30dcbbaa3d04cc5b1fd1784d22627ed"},"schema_version":"1.0","source":{"id":"1111.5180","kind":"arxiv","version":1}},"canonical_sha256":"be64aa958a18bd5fe46db1e878ffc23d3a7c0540ef6055adf889d994edbf64ef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be64aa958a18bd5fe46db1e878ffc23d3a7c0540ef6055adf889d994edbf64ef","first_computed_at":"2026-05-18T04:07:53.226987Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:07:53.226987Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"o04s6nfQLlaGy1acQith3briHTzpjRGW52chNayyP3cGfdw8F8e5sFToFjU1h2YUeFMN3wLJys740Htdi+REAA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:07:53.227812Z","signed_message":"canonical_sha256_bytes"},"source_id":"1111.5180","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fec02cd6d3f95fcc3703050d602f2239d983378a22b16215777500e18a130258","sha256:1c6212a34622f1a7fe14052ac3a483e504a9878187ff533d434c99b30f6efc9e"],"state_sha256":"062e3cef65e24b30c0d8270d3349f89e5b3c0c8b9ea0bd15321f6ce9ac69b83d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VDXuOMvzExLBleYJmt2WywlZV6+Z44YJvZqzIj5y4X6S8Mcr2WabU3Jy8Nbu6YZj9yMWwK+M1cNKLafNj+gCAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T12:26:10.695092Z","bundle_sha256":"6a90643a9843b80d3011347147a5759431e7ae766336b90795202922ca2e44d1"}}