{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BTEZMZGLIKX4TFNZGNSFKFDAZO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e1fb5cdea01fdc3988bb8a3a150161d07e311eb962298bc8dd281c20aef7c47f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-06-03T14:51:32Z","title_canon_sha256":"fdfd876af0d159edd17a98f5975674e3b56e142247c445cff3e8d714d8af0d26"},"schema_version":"1.0","source":{"id":"1906.00849","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.00849","created_at":"2026-05-17T23:44:23Z"},{"alias_kind":"arxiv_version","alias_value":"1906.00849v1","created_at":"2026-05-17T23:44:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.00849","created_at":"2026-05-17T23:44:23Z"},{"alias_kind":"pith_short_12","alias_value":"BTEZMZGLIKX4","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BTEZMZGLIKX4TFNZ","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BTEZMZGL","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:d82206c2f8e734e5c96777a1d1308d6c2bd2d7503b515e2c6270e06d326c4003","target":"graph","created_at":"2026-05-17T23:44:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We analyse the complexity of the class of (special) Aronszajn, Suslin and Kurepa trees in the projective hierarchy of the higher Baire-space $\\omega_1^{\\omega_1}$. First, we will show that none of these classes have the Baire property (unless they are empty). Moreover, under $(V=L)$, (a) the class of Aronszajn and Suslin trees is $\\Pi_1^1$-complete, (b) the class of special Aronszajn trees is $\\Sigma_1^1$-complete, and (c) the class of Kurepa trees is $\\Pi^1_2$-complete. We achieve these results by finding nicely definable reductions that map subsets $X$ of $\\omega_1$ to trees $T_X$ so that $T","authors_text":"D\\'aniel T. Soukup, Sy-David Friedman","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-06-03T14:51:32Z","title":"On the complexity of classes of uncountable structures: trees on $\\aleph_1$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.00849","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:da45a21914f3ebf887a8e870229011506e5107a211029d707eab6b8f89f609d2","target":"record","created_at":"2026-05-17T23:44:23Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e1fb5cdea01fdc3988bb8a3a150161d07e311eb962298bc8dd281c20aef7c47f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-06-03T14:51:32Z","title_canon_sha256":"fdfd876af0d159edd17a98f5975674e3b56e142247c445cff3e8d714d8af0d26"},"schema_version":"1.0","source":{"id":"1906.00849","kind":"arxiv","version":1}},"canonical_sha256":"0cc99664cb42afc995b93364551460cba69039ce8ff83d3fc1d2a16a956bd82c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0cc99664cb42afc995b93364551460cba69039ce8ff83d3fc1d2a16a956bd82c","first_computed_at":"2026-05-17T23:44:23.723200Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:23.723200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pY+CmNuoJzpCn4Ct0B3cfjvm6Zd8XOzz7FhtCE47/u8w3alvaXYmQdoQUD0skkMV8RZ9mnsEEKgHskKdUkpxCQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:23.723754Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.00849","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da45a21914f3ebf887a8e870229011506e5107a211029d707eab6b8f89f609d2","sha256:d82206c2f8e734e5c96777a1d1308d6c2bd2d7503b515e2c6270e06d326c4003"],"state_sha256":"c5c608fe8df043b41d0ddc2e57ba785a861531ccd53d8389617db68f8742a988"}