{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:6JWCE2OP4HGMXLNKAEBT7MP46M","short_pith_number":"pith:6JWCE2OP","schema_version":"1.0","canonical_sha256":"f26c2269cfe1cccbadaa01033fb1fcf328b8828c53e481e361e70454f5010c26","source":{"kind":"arxiv","id":"2605.15052","version":1},"attestation_state":"computed","paper":{"title":"Quasi-Polish spaces and spaces of filters in second-order arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Quasi-Polish spaces have equivalent representations as UF spaces, NP spaces, Π₂⁰ subspaces of P(N), and sober spaces of countably presented frames, all formalizable in second-order arithmetic.","cross_cats":[],"primary_cat":"math.LO","authors_text":"Keita Yokoyama, Yuzuki Kaneko","submitted_at":"2026-05-14T16:45:57Z","abstract_excerpt":"The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\\mathbf{\\Pi}_2^0$ subspaces of $\\mathcal{P}(\\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we formalize these structures within second-order arithmetic and conduct a systematic reverse mathematical analysis of the transitions between them."},"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":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.15052","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-14T16:45:57Z","cross_cats_sorted":[],"title_canon_sha256":"505ea8f1ad4ebec84ea99d76a8a40f47f34a86ab610a24b48dc341c91f574491","abstract_canon_sha256":"fe630a44129203897421c47415b2db57dc837f98a83cc5a77d3d699e893ed903"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:38:54.378595Z","signature_b64":"BQS7erIgjmLQxu1hljaCFPqx22vNxHOqLUYYUwAJY1zFtWFVghsL0pPXuOTsOZJrfgmrKlNWJNDvxzN6SCfyBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f26c2269cfe1cccbadaa01033fb1fcf328b8828c53e481e361e70454f5010c26","last_reissued_at":"2026-05-17T23:38:54.378008Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:38:54.378008Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quasi-Polish spaces and spaces of filters in second-order arithmetic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Quasi-Polish spaces have equivalent representations as UF spaces, NP spaces, Π₂⁰ subspaces of P(N), and sober spaces of countably presented frames, all formalizable in second-order arithmetic.","cross_cats":[],"primary_cat":"math.LO","authors_text":"Keita Yokoyama, Yuzuki Kaneko","submitted_at":"2026-05-14T16:45:57Z","abstract_excerpt":"The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, $\\mathbf{\\Pi}_2^0$ subspaces of $\\mathcal{P}(\\mathbb{N})$, and sober spaces of countably presented frames. In this paper, we formalize these structures within second-order arithmetic and conduct a systematic reverse mathematical analysis of the transitions between them."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, Π₂⁰ subspaces of P(N), and sober spaces of countably presented frames; these structures are formalized in second-order arithmetic and the transitions between them receive a systematic reverse-mathematical analysis.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the listed representations remain equivalent when interpreted inside the language and axioms of second-order arithmetic, without requiring extra set-existence principles beyond those already present in the base theory.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Quasi-Polish spaces and their equivalent representations are formalized in second-order arithmetic, with reverse-mathematical analysis of the transitions between them.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Quasi-Polish spaces have equivalent representations as UF spaces, NP spaces, Π₂⁰ subspaces of P(N), and sober spaces of countably presented frames, all formalizable in second-order arithmetic.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"177a1842a657af29edbf6418fd7d72c42d8154ef683423df6be28b2b0f9f245f"},"source":{"id":"2605.15052","kind":"arxiv","version":1},"verdict":{"id":"a6ada94e-48e9-473e-be6c-3373c2bd3d05","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T03:11:27.499677Z","strongest_claim":"The class of quasi-Polish spaces admits several equivalent representations, including UF spaces, NP spaces, Π₂⁰ subspaces of P(N), and sober spaces of countably presented frames; these structures are formalized in second-order arithmetic and the transitions between them receive a systematic reverse-mathematical analysis.","one_line_summary":"Quasi-Polish spaces and their equivalent representations are formalized in second-order arithmetic, with reverse-mathematical analysis of the transitions between them.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the listed representations remain equivalent when interpreted inside the language and axioms of second-order arithmetic, without requiring extra set-existence principles beyond those already present in the base theory.","pith_extraction_headline":"Quasi-Polish spaces have equivalent representations as UF spaces, NP spaces, Π₂⁰ subspaces of P(N), and sober spaces of countably presented frames, all formalizable in second-order arithmetic."},"references":{"count":11,"sample":[{"doi":"","year":1987,"title":"Notions of closed subsets of a complete separa ble metric space in weak subsystems of second-order arithmetic","work_id":"90dc8b33-9b06-4ffe-befb-64da8f519af9","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2013,"title":"Quasi-Polish spaces","work_id":"1444823c-b353-4f6c-b077-69a7b063a74f","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2018,"title":"A generalization of a theorem of hurewicz fo r quasi- polish spaces","work_id":"5dbc31c5-e8fb-43d4-a52c-9dab64df06e5","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"Ide al pre- sentations and numberings of some classes of effective quasi-Polish spaces","work_id":"8a305d42-624a-4f1b-a1bd-02eb0286bc13","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2015,"title":"Spatiality of countably presentable locales (p roved with the baire category theorem)","work_id":"b1ab17f0-92a7-40bb-967d-f153704a8e48","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":11,"snapshot_sha256":"f2855e1a99641ce05a6f96ba9eb9ce5306b87ba8f17159a4b96757e38e1ef85e","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"d5b8bbf45326ad294ec30a658cc56ef1fc453632595d89496f008512c5d2f60d"},"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":"2605.15052","created_at":"2026-05-17T23:38:54.378119+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.15052v1","created_at":"2026-05-17T23:38:54.378119+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.15052","created_at":"2026-05-17T23:38:54.378119+00:00"},{"alias_kind":"pith_short_12","alias_value":"6JWCE2OP4HGM","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"6JWCE2OP4HGMXLNK","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"6JWCE2OP","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M","json":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M.json","graph_json":"https://pith.science/api/pith-number/6JWCE2OP4HGMXLNKAEBT7MP46M/graph.json","events_json":"https://pith.science/api/pith-number/6JWCE2OP4HGMXLNKAEBT7MP46M/events.json","paper":"https://pith.science/paper/6JWCE2OP"},"agent_actions":{"view_html":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M","download_json":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M.json","view_paper":"https://pith.science/paper/6JWCE2OP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.15052&json=true","fetch_graph":"https://pith.science/api/pith-number/6JWCE2OP4HGMXLNKAEBT7MP46M/graph.json","fetch_events":"https://pith.science/api/pith-number/6JWCE2OP4HGMXLNKAEBT7MP46M/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M/action/storage_attestation","attest_author":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M/action/author_attestation","sign_citation":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M/action/citation_signature","submit_replication":"https://pith.science/pith/6JWCE2OP4HGMXLNKAEBT7MP46M/action/replication_record"}},"created_at":"2026-05-17T23:38:54.378119+00:00","updated_at":"2026-05-17T23:38:54.378119+00:00"}