{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:TRYLHKQBGLNRUYHSWWNH5WQVUK","short_pith_number":"pith:TRYLHKQB","schema_version":"1.0","canonical_sha256":"9c70b3aa0132db1a60f2b59a7eda15a29594f39d33f1e161ebc1645c43f45590","source":{"kind":"arxiv","id":"1808.06082","version":2},"attestation_state":"computed","paper":{"title":"On The Computability of Perfect Subsets of Sets with Positive Measure","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Chitat Chong, Wei Li, Wei Wang, Yue Yang","submitted_at":"2018-08-18T12:48:03Z","abstract_excerpt":"A set $X \\subseteq 2^\\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of perfect subsets of sets with positive measure with reverse mathematics."},"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":"1808.06082","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-08-18T12:48:03Z","cross_cats_sorted":[],"title_canon_sha256":"b209c9b37208004b7461ddee61413e555b32a3a8222b19726144a487f5e75719","abstract_canon_sha256":"2d68519693ebe0fa99e3c744db2e8b8d3bee21b9cf5b7c7d28c598fb2e05997a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:43.179297Z","signature_b64":"A0xcaY0Udv/wqqjJHG5qAR3MM9MYjKcIVRHF0nxBD6jquc91yCDBvFxDJPZ64F34ANoekIdUAeZDEfkQK6gPDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9c70b3aa0132db1a60f2b59a7eda15a29594f39d33f1e161ebc1645c43f45590","last_reissued_at":"2026-05-18T00:01:43.178686Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:43.178686Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On The Computability of Perfect Subsets of Sets with Positive Measure","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Chitat Chong, Wei Li, Wei Wang, Yue Yang","submitted_at":"2018-08-18T12:48:03Z","abstract_excerpt":"A set $X \\subseteq 2^\\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of perfect subsets of sets with positive measure with reverse mathematics."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.06082","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":"1808.06082","created_at":"2026-05-18T00:01:43.178782+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.06082v2","created_at":"2026-05-18T00:01:43.178782+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.06082","created_at":"2026-05-18T00:01:43.178782+00:00"},{"alias_kind":"pith_short_12","alias_value":"TRYLHKQBGLNR","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_16","alias_value":"TRYLHKQBGLNRUYHS","created_at":"2026-05-18T12:32:56.356000+00:00"},{"alias_kind":"pith_short_8","alias_value":"TRYLHKQB","created_at":"2026-05-18T12:32:56.356000+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/TRYLHKQBGLNRUYHSWWNH5WQVUK","json":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK.json","graph_json":"https://pith.science/api/pith-number/TRYLHKQBGLNRUYHSWWNH5WQVUK/graph.json","events_json":"https://pith.science/api/pith-number/TRYLHKQBGLNRUYHSWWNH5WQVUK/events.json","paper":"https://pith.science/paper/TRYLHKQB"},"agent_actions":{"view_html":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK","download_json":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK.json","view_paper":"https://pith.science/paper/TRYLHKQB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.06082&json=true","fetch_graph":"https://pith.science/api/pith-number/TRYLHKQBGLNRUYHSWWNH5WQVUK/graph.json","fetch_events":"https://pith.science/api/pith-number/TRYLHKQBGLNRUYHSWWNH5WQVUK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK/action/storage_attestation","attest_author":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK/action/author_attestation","sign_citation":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK/action/citation_signature","submit_replication":"https://pith.science/pith/TRYLHKQBGLNRUYHSWWNH5WQVUK/action/replication_record"}},"created_at":"2026-05-18T00:01:43.178782+00:00","updated_at":"2026-05-18T00:01:43.178782+00:00"}