{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:6HZTEB33JIBGHGDB5SDLLEYCFU","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":"efcaa7b3c3394b01cf98539f399c1b794b709094be7fc8593c97c469a266b211","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2016-03-10T18:23:16Z","title_canon_sha256":"d28dd43d190307e3de704f74ba9d1bb2dc61385066cdc519e6ff1a8747400143"},"schema_version":"1.0","source":{"id":"1603.03361","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.03361","created_at":"2026-05-18T01:01:15Z"},{"alias_kind":"arxiv_version","alias_value":"1603.03361v3","created_at":"2026-05-18T01:01:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.03361","created_at":"2026-05-18T01:01:15Z"},{"alias_kind":"pith_short_12","alias_value":"6HZTEB33JIBG","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_16","alias_value":"6HZTEB33JIBGHGDB","created_at":"2026-05-18T12:30:01Z"},{"alias_kind":"pith_short_8","alias_value":"6HZTEB33","created_at":"2026-05-18T12:30:01Z"}],"graph_snapshots":[{"event_id":"sha256:306fd45307f733d02283499e410edb205b391b6483a083f329c52f6b883c5d0d","target":"graph","created_at":"2026-05-18T01:01:15Z","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 construct Menger subsets of the real line whose product is not Menger in the plane. In contrast to earlier constructions, our approach is purely combinatorial. The set theoretic hypothesis used in our construction is far milder than earlier ones, and holds in all but the most exotic models of real set theory. On the other hand, we establish productive properties for versions of Menger's property parameterized by filters and semifilters. In particular, the Continuum Hypothesis implies that every productively Menger set of real numbers is productively Hurewicz, and each ultrafilter version of","authors_text":"Boaz Tsaban, Piotr Szewczak","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2016-03-10T18:23:16Z","title":"Products of Menger spaces: a combinatorial approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.03361","kind":"arxiv","version":3},"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:ebd2ffdd7fb629f126d8627e3cb5ea4496e7bbcf27114e477309cd2411007fb4","target":"record","created_at":"2026-05-18T01:01:15Z","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":"efcaa7b3c3394b01cf98539f399c1b794b709094be7fc8593c97c469a266b211","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2016-03-10T18:23:16Z","title_canon_sha256":"d28dd43d190307e3de704f74ba9d1bb2dc61385066cdc519e6ff1a8747400143"},"schema_version":"1.0","source":{"id":"1603.03361","kind":"arxiv","version":3}},"canonical_sha256":"f1f332077b4a02639861ec86b593022d38354555373dd65dbfcf168014daad16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1f332077b4a02639861ec86b593022d38354555373dd65dbfcf168014daad16","first_computed_at":"2026-05-18T01:01:15.826248Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:01:15.826248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zK6KfePCf1sLLPQ5Dmq+vNh5Y2XyYlJoofnj0FmELFOMRnKJWCQYlGGJkvaWyRevX7smfF7cboWOtfdoRQMjDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:01:15.826859Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.03361","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ebd2ffdd7fb629f126d8627e3cb5ea4496e7bbcf27114e477309cd2411007fb4","sha256:306fd45307f733d02283499e410edb205b391b6483a083f329c52f6b883c5d0d"],"state_sha256":"71be0008cdbab5df7bb4957ed43f5055e391354365f8495a992f2b89abb5d3de"}