{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:XFVAWC32X6GGR4FR2UTQYJ7AXF","short_pith_number":"pith:XFVAWC32","schema_version":"1.0","canonical_sha256":"b96a0b0b7abf8c68f0b1d5270c27e0b94aea3773b2a8d8b98618d04637f603f8","source":{"kind":"arxiv","id":"2209.04082","version":2},"attestation_state":"computed","paper":{"title":"Determinacy and reflection principles in second-order arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Keita Yokoyama, Leonardo Pacheco","submitted_at":"2022-09-09T01:56:01Z","abstract_excerpt":"It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalb\\'an, Shore, and others. We prove variations of a result by Ko{\\l}odziejczyk and Michalewski relating determinacy of arbitrary boolean combinations of $\\Sigma^0_2$ sets and reflection in second-order arithmetic. Specifically, we prove that: over $\\mathsf{ACA}_0$, $\\Pi^1_2$-$\\mathsf{Ref}(\\mathsf{ACA}_0)$ is equivalent to $\\forall n.(\\Sigma^0_1)_n$-$\\mathsf{Det}^*_0$"},"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":"2209.04082","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2022-09-09T01:56:01Z","cross_cats_sorted":[],"title_canon_sha256":"938607a8f9287781870de31255cfa2405913918324c604bd8af82d1ea44b941f","abstract_canon_sha256":"8ab57bb32b24eb282b0cf423edaa851e3d49dc2327c624174c1f726459cb3fab"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:11:42.641696Z","signature_b64":"yFjd4zsp1EHEPso+HL5C7wpsiZ3rxQxkXAHkWlEmzZSWhRowAHr9euzqiXdqIOG112cdkHcD/1XicgGtMVrqDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b96a0b0b7abf8c68f0b1d5270c27e0b94aea3773b2a8d8b98618d04637f603f8","last_reissued_at":"2026-07-05T06:11:42.641255Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:11:42.641255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Determinacy and reflection principles in second-order arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Keita Yokoyama, Leonardo Pacheco","submitted_at":"2022-09-09T01:56:01Z","abstract_excerpt":"It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalb\\'an, Shore, and others. We prove variations of a result by Ko{\\l}odziejczyk and Michalewski relating determinacy of arbitrary boolean combinations of $\\Sigma^0_2$ sets and reflection in second-order arithmetic. Specifically, we prove that: over $\\mathsf{ACA}_0$, $\\Pi^1_2$-$\\mathsf{Ref}(\\mathsf{ACA}_0)$ is equivalent to $\\forall n.(\\Sigma^0_1)_n$-$\\mathsf{Det}^*_0$"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.04082","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2209.04082/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":"2209.04082","created_at":"2026-07-05T06:11:42.641310+00:00"},{"alias_kind":"arxiv_version","alias_value":"2209.04082v2","created_at":"2026-07-05T06:11:42.641310+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.04082","created_at":"2026-07-05T06:11:42.641310+00:00"},{"alias_kind":"pith_short_12","alias_value":"XFVAWC32X6GG","created_at":"2026-07-05T06:11:42.641310+00:00"},{"alias_kind":"pith_short_16","alias_value":"XFVAWC32X6GGR4FR","created_at":"2026-07-05T06:11:42.641310+00:00"},{"alias_kind":"pith_short_8","alias_value":"XFVAWC32","created_at":"2026-07-05T06:11:42.641310+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.12962","citing_title":"The reverse mathematics of the Ordered Variable Word theorem","ref_index":40,"is_internal_anchor":false},{"citing_arxiv_id":"2606.12962","citing_title":"The reverse mathematics of the Ordered Variable Word theorem","ref_index":40,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF","json":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF.json","graph_json":"https://pith.science/api/pith-number/XFVAWC32X6GGR4FR2UTQYJ7AXF/graph.json","events_json":"https://pith.science/api/pith-number/XFVAWC32X6GGR4FR2UTQYJ7AXF/events.json","paper":"https://pith.science/paper/XFVAWC32"},"agent_actions":{"view_html":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF","download_json":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF.json","view_paper":"https://pith.science/paper/XFVAWC32","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2209.04082&json=true","fetch_graph":"https://pith.science/api/pith-number/XFVAWC32X6GGR4FR2UTQYJ7AXF/graph.json","fetch_events":"https://pith.science/api/pith-number/XFVAWC32X6GGR4FR2UTQYJ7AXF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF/action/storage_attestation","attest_author":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF/action/author_attestation","sign_citation":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF/action/citation_signature","submit_replication":"https://pith.science/pith/XFVAWC32X6GGR4FR2UTQYJ7AXF/action/replication_record"}},"created_at":"2026-07-05T06:11:42.641310+00:00","updated_at":"2026-07-05T06:11:42.641310+00:00"}