{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:A5TC254TEBIVVUISZYCRBIUGYI","short_pith_number":"pith:A5TC254T","schema_version":"1.0","canonical_sha256":"07662d779320515ad112ce0510a286c219a2348c49551cfe2c81e1488932a9f0","source":{"kind":"arxiv","id":"1806.10385","version":2},"attestation_state":"computed","paper":{"title":"Products of Menger spaces in the Miller model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GN","authors_text":"Lyubomyr Zdomskyy","submitted_at":"2018-06-27T10:02:19Z","abstract_excerpt":"We prove that in the Miller model the Menger property is preserved by finite products of metrizable spaces. This answers several open questions and gives another instance of the interplay between classical forcing posets with fusion and combinatorial covering properties in topology."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1806.10385","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-06-27T10:02:19Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"293cd7ae42253be8ac60b6a2e70ead7604d429a3dff24b91cdb0bcc0c94030f2","abstract_canon_sha256":"c3b561ae4be3dfd48a5eb56fb998d0571347aeef5c0573560b2ed3b54cb28c9b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:04.775730Z","signature_b64":"0wJCvLebLRJmLPfXwaHAOo2VWfq7kxNrVmpjS4y+9tS1gPJu7D0DqzkGnnDXmW/2mo+YaDz9zhJVGiBP/Z3NDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07662d779320515ad112ce0510a286c219a2348c49551cfe2c81e1488932a9f0","last_reissued_at":"2026-05-18T00:05:04.775022Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:04.775022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Products of Menger spaces in the Miller model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.GN","authors_text":"Lyubomyr Zdomskyy","submitted_at":"2018-06-27T10:02:19Z","abstract_excerpt":"We prove that in the Miller model the Menger property is preserved by finite products of metrizable spaces. This answers several open questions and gives another instance of the interplay between classical forcing posets with fusion and combinatorial covering properties in topology."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.10385","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.10385","created_at":"2026-05-18T00:05:04.775146+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.10385v2","created_at":"2026-05-18T00:05:04.775146+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.10385","created_at":"2026-05-18T00:05:04.775146+00:00"},{"alias_kind":"pith_short_12","alias_value":"A5TC254TEBIV","created_at":"2026-05-18T12:32:13.499390+00:00"},{"alias_kind":"pith_short_16","alias_value":"A5TC254TEBIVVUIS","created_at":"2026-05-18T12:32:13.499390+00:00"},{"alias_kind":"pith_short_8","alias_value":"A5TC254T","created_at":"2026-05-18T12:32:13.499390+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI","json":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI.json","graph_json":"https://pith.science/api/pith-number/A5TC254TEBIVVUISZYCRBIUGYI/graph.json","events_json":"https://pith.science/api/pith-number/A5TC254TEBIVVUISZYCRBIUGYI/events.json","paper":"https://pith.science/paper/A5TC254T"},"agent_actions":{"view_html":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI","download_json":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI.json","view_paper":"https://pith.science/paper/A5TC254T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.10385&json=true","fetch_graph":"https://pith.science/api/pith-number/A5TC254TEBIVVUISZYCRBIUGYI/graph.json","fetch_events":"https://pith.science/api/pith-number/A5TC254TEBIVVUISZYCRBIUGYI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI/action/storage_attestation","attest_author":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI/action/author_attestation","sign_citation":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI/action/citation_signature","submit_replication":"https://pith.science/pith/A5TC254TEBIVVUISZYCRBIUGYI/action/replication_record"}},"created_at":"2026-05-18T00:05:04.775146+00:00","updated_at":"2026-05-18T00:05:04.775146+00:00"}