{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XX7DCUM5JON7NRFHPWDGAO4AGA","short_pith_number":"pith:XX7DCUM5","canonical_record":{"source":{"id":"1609.04254","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-09-11T19:17:06Z","cross_cats_sorted":[],"title_canon_sha256":"2388abf41eea49df8839870293ae71252a6373f91b11cb351d6292cae71bf140","abstract_canon_sha256":"94e7c8ca939f7f565267c5f7e22d19bae43eba01969a81b2daa06282c0ceae8b"},"schema_version":"1.0"},"canonical_sha256":"bdfe31519d4b9bf6c4a77d86603b8030245a34e32677b154ae53d445acc65c37","source":{"kind":"arxiv","id":"1609.04254","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.04254","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1609.04254v4","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.04254","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"XX7DCUM5JON7","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XX7DCUM5JON7NRFH","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XX7DCUM5","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XX7DCUM5JON7NRFHPWDGAO4AGA","target":"record","payload":{"canonical_record":{"source":{"id":"1609.04254","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-09-11T19:17:06Z","cross_cats_sorted":[],"title_canon_sha256":"2388abf41eea49df8839870293ae71252a6373f91b11cb351d6292cae71bf140","abstract_canon_sha256":"94e7c8ca939f7f565267c5f7e22d19bae43eba01969a81b2daa06282c0ceae8b"},"schema_version":"1.0"},"canonical_sha256":"bdfe31519d4b9bf6c4a77d86603b8030245a34e32677b154ae53d445acc65c37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:21.890636Z","signature_b64":"Ie2nbJbIBqjOI+uKDoR9yD9llZA2k3MMzIJLqJdq8tRBCMJS04wa45zwg4qQTRK3NFVXTBfjwIsxKk4YfXpHDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bdfe31519d4b9bf6c4a77d86603b8030245a34e32677b154ae53d445acc65c37","last_reissued_at":"2026-05-17T23:51:21.890044Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:21.890044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.04254","source_version":4,"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-17T23:51:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dty4213TU+J6MUCmLYwuuK0cMoVywXYeJsKU4EGht0VroEb1mmgxpzDl2eAlj1DYLn/snNFyKgTkB7K1pxZRCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:29:33.174958Z"},"content_sha256":"1ed251f6792fcbba4e1b0adca44a592772b73dead942e6b9fbc17cc073e2de30","schema_version":"1.0","event_id":"sha256:1ed251f6792fcbba4e1b0adca44a592772b73dead942e6b9fbc17cc073e2de30"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XX7DCUM5JON7NRFHPWDGAO4AGA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Some theorems on passing from local to global presence of properties of functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Bulgaria), Dimiter Skordev (Sofia University, Faculty of Mathematics, Informatics, Sofia","submitted_at":"2016-09-11T19:17:06Z","abstract_excerpt":"When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to all of them belong to this class. The collections with the formulated property are said to be strongly join permitting for the given class (the notion of join permitting collection is defined in the same way, but without the words \"a subset of\"). Three theorems concerning certain instances of the problem are proved. A necessary and sufficient condition for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.04254","kind":"arxiv","version":4},"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-17T23:51:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uZFocQfaeGhndSjHrpFxJr85pacowpv17/7sxO6/1hfNH45FgP8xBV/kbI3n9N5Ah8xUqnhVbCQRcqYTxN6UCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:29:33.175586Z"},"content_sha256":"748bf11c723c96ee6d3a2e15cb0862ecf8cbf6e559e41c50c84aeca9bf66bb5d","schema_version":"1.0","event_id":"sha256:748bf11c723c96ee6d3a2e15cb0862ecf8cbf6e559e41c50c84aeca9bf66bb5d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XX7DCUM5JON7NRFHPWDGAO4AGA/bundle.json","state_url":"https://pith.science/pith/XX7DCUM5JON7NRFHPWDGAO4AGA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XX7DCUM5JON7NRFHPWDGAO4AGA/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-05T07:29:33Z","links":{"resolver":"https://pith.science/pith/XX7DCUM5JON7NRFHPWDGAO4AGA","bundle":"https://pith.science/pith/XX7DCUM5JON7NRFHPWDGAO4AGA/bundle.json","state":"https://pith.science/pith/XX7DCUM5JON7NRFHPWDGAO4AGA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XX7DCUM5JON7NRFHPWDGAO4AGA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XX7DCUM5JON7NRFHPWDGAO4AGA","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":"94e7c8ca939f7f565267c5f7e22d19bae43eba01969a81b2daa06282c0ceae8b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-09-11T19:17:06Z","title_canon_sha256":"2388abf41eea49df8839870293ae71252a6373f91b11cb351d6292cae71bf140"},"schema_version":"1.0","source":{"id":"1609.04254","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.04254","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"arxiv_version","alias_value":"1609.04254v4","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.04254","created_at":"2026-05-17T23:51:21Z"},{"alias_kind":"pith_short_12","alias_value":"XX7DCUM5JON7","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XX7DCUM5JON7NRFH","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XX7DCUM5","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:748bf11c723c96ee6d3a2e15cb0862ecf8cbf6e559e41c50c84aeca9bf66bb5d","target":"graph","created_at":"2026-05-17T23:51:21Z","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":"When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to all of them belong to this class. The collections with the formulated property are said to be strongly join permitting for the given class (the notion of join permitting collection is defined in the same way, but without the words \"a subset of\"). Three theorems concerning certain instances of the problem are proved. A necessary and sufficient condition for ","authors_text":"Bulgaria), Dimiter Skordev (Sofia University, Faculty of Mathematics, Informatics, Sofia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-09-11T19:17:06Z","title":"Some theorems on passing from local to global presence of properties of functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.04254","kind":"arxiv","version":4},"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:1ed251f6792fcbba4e1b0adca44a592772b73dead942e6b9fbc17cc073e2de30","target":"record","created_at":"2026-05-17T23:51:21Z","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":"94e7c8ca939f7f565267c5f7e22d19bae43eba01969a81b2daa06282c0ceae8b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-09-11T19:17:06Z","title_canon_sha256":"2388abf41eea49df8839870293ae71252a6373f91b11cb351d6292cae71bf140"},"schema_version":"1.0","source":{"id":"1609.04254","kind":"arxiv","version":4}},"canonical_sha256":"bdfe31519d4b9bf6c4a77d86603b8030245a34e32677b154ae53d445acc65c37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bdfe31519d4b9bf6c4a77d86603b8030245a34e32677b154ae53d445acc65c37","first_computed_at":"2026-05-17T23:51:21.890044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:21.890044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ie2nbJbIBqjOI+uKDoR9yD9llZA2k3MMzIJLqJdq8tRBCMJS04wa45zwg4qQTRK3NFVXTBfjwIsxKk4YfXpHDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:21.890636Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.04254","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ed251f6792fcbba4e1b0adca44a592772b73dead942e6b9fbc17cc073e2de30","sha256:748bf11c723c96ee6d3a2e15cb0862ecf8cbf6e559e41c50c84aeca9bf66bb5d"],"state_sha256":"cc5b178b248d25a1a16f2ab2654c11f93088bddbd9d1e4d93978aadee4d7538f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QLnImMe8pf97c/s0mxpB/JCVlcjp7++zzKyx1u53WyBufl+KoezdTLXWNcXkU843L8XgV6CuCQTzeaA60XpWBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T07:29:33.178991Z","bundle_sha256":"326623a07adea3680920b51b35b67e7b821e6826916a318c677dce1bf5fa8a9f"}}