{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:OHUHN4JIOUBRYBJ5NP5AYWEHVJ","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":"0d7c4fabd3e8146a427cd58e263ad9c715da20a43dfdb5eb3c2cb4ac2f7858e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2011-01-08T22:49:04Z","title_canon_sha256":"017a32ef745a6d7782c220bc68882d753f3bd76618e69a81e11fd1590c30630e"},"schema_version":"1.0","source":{"id":"1101.1627","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.1627","created_at":"2026-05-18T03:37:09Z"},{"alias_kind":"arxiv_version","alias_value":"1101.1627v2","created_at":"2026-05-18T03:37:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.1627","created_at":"2026-05-18T03:37:09Z"},{"alias_kind":"pith_short_12","alias_value":"OHUHN4JIOUBR","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"OHUHN4JIOUBRYBJ5","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"OHUHN4JI","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:165c35a6570b86305721bb0d76a46ed9d50bde6d5cb76f29098028944c14beed","target":"graph","created_at":"2026-05-18T03:37:09Z","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 introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to a special separable subspace, dependent only on the given set (function). We are interested in properties of sets \"to be dense, nowhere dense, meager, residual or porous\" and in properties of functions \"to be continuous, semicontinuous or Fr\\'echet differentiable\". Our method of creating separable subspaces enables us to combine our results, so we easily ge","authors_text":"Marek C\\'uth","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2011-01-08T22:49:04Z","title":"Separable reduction theorems by the method of elementary submodels"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.1627","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:b77ef0f8585c5aa146cbebed51d75bba0f26e0ae8fc92ee561e2e5d722231246","target":"record","created_at":"2026-05-18T03:37:09Z","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":"0d7c4fabd3e8146a427cd58e263ad9c715da20a43dfdb5eb3c2cb4ac2f7858e5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2011-01-08T22:49:04Z","title_canon_sha256":"017a32ef745a6d7782c220bc68882d753f3bd76618e69a81e11fd1590c30630e"},"schema_version":"1.0","source":{"id":"1101.1627","kind":"arxiv","version":2}},"canonical_sha256":"71e876f12875031c053d6bfa0c5887aa59c7d09986770781e52d929bddeefb5c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"71e876f12875031c053d6bfa0c5887aa59c7d09986770781e52d929bddeefb5c","first_computed_at":"2026-05-18T03:37:09.272040Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:37:09.272040Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aYZSI8KqL5BLkL11cu1GYULZLbNNlSuP4JDDX/lYWdyBSy1+o/G4Yw00uRrCQ2TaroOOqv0t2mMWJIfiYmTAAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:37:09.272717Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.1627","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b77ef0f8585c5aa146cbebed51d75bba0f26e0ae8fc92ee561e2e5d722231246","sha256:165c35a6570b86305721bb0d76a46ed9d50bde6d5cb76f29098028944c14beed"],"state_sha256":"5db6ff05e5ccd0538559b70807218413c98d29db7582a7ea2ffef6e8180c097b"}