{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:QCSYYEL6S5VEFYWWR7DSWZIQWK","short_pith_number":"pith:QCSYYEL6","schema_version":"1.0","canonical_sha256":"80a58c117e976a42e2d68fc72b6510b29ce1a1764a5c96a0554de15a1f17f772","source":{"kind":"arxiv","id":"1910.11181","version":1},"attestation_state":"computed","paper":{"title":"The Measure Game","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"David Simmons, Houston Schuerger, Lior Fishman, Logan Crone, Stephen Jackson","submitted_at":"2019-10-24T14:36:56Z","abstract_excerpt":"We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding result for the game which gives, for example, the measurability of $\\boldsymbol{\\Sigma}^1_1$ sets. We also use the game to give a new, more constructive, proof of a strong form of the R\\'{e}nyi-Lampert"},"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":"1910.11181","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-10-24T14:36:56Z","cross_cats_sorted":[],"title_canon_sha256":"98cf9d1b617a05306ff820468865ab15ea0d207b4acdff9f4872966da618c026","abstract_canon_sha256":"aafbaf9915a286f09ea79f026e5bedca275b1ab6a16686c6621db118d3b1f03e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:14:40.960393Z","signature_b64":"l8wfNBErnaBYpfggkWdpIE+sRZuJqBn9w0lbgr453jGV+o7d5qf/kkC1gmzN/wRGUKzjNZjpEaY8WyRW9/WFCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80a58c117e976a42e2d68fc72b6510b29ce1a1764a5c96a0554de15a1f17f772","last_reissued_at":"2026-07-05T00:14:40.959949Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:14:40.959949Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Measure Game","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"David Simmons, Houston Schuerger, Lior Fishman, Logan Crone, Stephen Jackson","submitted_at":"2019-10-24T14:36:56Z","abstract_excerpt":"We study a game first introduced by Martin (actually we use a slight variation of this game) which plays a role for measure analogous to the Banach-Mazur game for category. We first present proofs for the basic connections between this game and measure, and then use the game to prove fundamental measure theoretic results such as Fubini's theorem, the Borel-Cantelli lemma, and a general unfolding result for the game which gives, for example, the measurability of $\\boldsymbol{\\Sigma}^1_1$ sets. We also use the game to give a new, more constructive, proof of a strong form of the R\\'{e}nyi-Lampert"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.11181","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1910.11181/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"1910.11181","created_at":"2026-07-05T00:14:40.960006+00:00"},{"alias_kind":"arxiv_version","alias_value":"1910.11181v1","created_at":"2026-07-05T00:14:40.960006+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.11181","created_at":"2026-07-05T00:14:40.960006+00:00"},{"alias_kind":"pith_short_12","alias_value":"QCSYYEL6S5VE","created_at":"2026-07-05T00:14:40.960006+00:00"},{"alias_kind":"pith_short_16","alias_value":"QCSYYEL6S5VEFYWW","created_at":"2026-07-05T00:14:40.960006+00:00"},{"alias_kind":"pith_short_8","alias_value":"QCSYYEL6","created_at":"2026-07-05T00:14:40.960006+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/QCSYYEL6S5VEFYWWR7DSWZIQWK","json":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK.json","graph_json":"https://pith.science/api/pith-number/QCSYYEL6S5VEFYWWR7DSWZIQWK/graph.json","events_json":"https://pith.science/api/pith-number/QCSYYEL6S5VEFYWWR7DSWZIQWK/events.json","paper":"https://pith.science/paper/QCSYYEL6"},"agent_actions":{"view_html":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK","download_json":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK.json","view_paper":"https://pith.science/paper/QCSYYEL6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1910.11181&json=true","fetch_graph":"https://pith.science/api/pith-number/QCSYYEL6S5VEFYWWR7DSWZIQWK/graph.json","fetch_events":"https://pith.science/api/pith-number/QCSYYEL6S5VEFYWWR7DSWZIQWK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK/action/storage_attestation","attest_author":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK/action/author_attestation","sign_citation":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK/action/citation_signature","submit_replication":"https://pith.science/pith/QCSYYEL6S5VEFYWWR7DSWZIQWK/action/replication_record"}},"created_at":"2026-07-05T00:14:40.960006+00:00","updated_at":"2026-07-05T00:14:40.960006+00:00"}