{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:FNXRYYNLFDWEKDGYGEZPPHANDK","short_pith_number":"pith:FNXRYYNL","schema_version":"1.0","canonical_sha256":"2b6f1c61ab28ec450cd83132f79c0d1a9d4f83bc2e88b04bb9bbb4c23cf5fc0e","source":{"kind":"arxiv","id":"1201.4408","version":1},"attestation_state":"computed","paper":{"title":"Computing Maximal Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"Alberto Marcone, Antonio Montalb\\'an, Richard A. Shore","submitted_at":"2012-01-20T22:49:37Z","abstract_excerpt":"In 1967 Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that such maximal chain cannot be found computably, not even hyperarithmetically: No hyperarithmetic set can compute maximal chains in all computable wpos. However, we prove that almost every set, in the sense of category, can compute maximal chains in all computable wpos.\n  Wolk's original result actually shows that every wpo has a strongly maximal chain, which we define below. We show that a set computes strongly maxima"},"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":"1201.4408","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-01-20T22:49:37Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"9793841e4df5808ba0bf71191efbfec0be02510356719400b581f6cebcc425a5","abstract_canon_sha256":"3fcaeaa3a3b882652dd1348485983e87a591cb69b2c20fe5507f688f21d5570c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:16.357407Z","signature_b64":"g3DlgWC/Jl4asn3/8aWs5DNmFbOl1mqyDMj3Cu5Ec592Hyw9X+SLOx1Ew2adYDrhcfMVOPi22ckIaCRR6WMVAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b6f1c61ab28ec450cd83132f79c0d1a9d4f83bc2e88b04bb9bbb4c23cf5fc0e","last_reissued_at":"2026-05-18T03:34:16.356763Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:16.356763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computing Maximal Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"Alberto Marcone, Antonio Montalb\\'an, Richard A. Shore","submitted_at":"2012-01-20T22:49:37Z","abstract_excerpt":"In 1967 Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that such maximal chain cannot be found computably, not even hyperarithmetically: No hyperarithmetic set can compute maximal chains in all computable wpos. However, we prove that almost every set, in the sense of category, can compute maximal chains in all computable wpos.\n  Wolk's original result actually shows that every wpo has a strongly maximal chain, which we define below. We show that a set computes strongly maxima"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.4408","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":""},"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":"1201.4408","created_at":"2026-05-18T03:34:16.356858+00:00"},{"alias_kind":"arxiv_version","alias_value":"1201.4408v1","created_at":"2026-05-18T03:34:16.356858+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.4408","created_at":"2026-05-18T03:34:16.356858+00:00"},{"alias_kind":"pith_short_12","alias_value":"FNXRYYNLFDWE","created_at":"2026-05-18T12:27:06.952714+00:00"},{"alias_kind":"pith_short_16","alias_value":"FNXRYYNLFDWEKDGY","created_at":"2026-05-18T12:27:06.952714+00:00"},{"alias_kind":"pith_short_8","alias_value":"FNXRYYNL","created_at":"2026-05-18T12:27:06.952714+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/FNXRYYNLFDWEKDGYGEZPPHANDK","json":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK.json","graph_json":"https://pith.science/api/pith-number/FNXRYYNLFDWEKDGYGEZPPHANDK/graph.json","events_json":"https://pith.science/api/pith-number/FNXRYYNLFDWEKDGYGEZPPHANDK/events.json","paper":"https://pith.science/paper/FNXRYYNL"},"agent_actions":{"view_html":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK","download_json":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK.json","view_paper":"https://pith.science/paper/FNXRYYNL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1201.4408&json=true","fetch_graph":"https://pith.science/api/pith-number/FNXRYYNLFDWEKDGYGEZPPHANDK/graph.json","fetch_events":"https://pith.science/api/pith-number/FNXRYYNLFDWEKDGYGEZPPHANDK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK/action/storage_attestation","attest_author":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK/action/author_attestation","sign_citation":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK/action/citation_signature","submit_replication":"https://pith.science/pith/FNXRYYNLFDWEKDGYGEZPPHANDK/action/replication_record"}},"created_at":"2026-05-18T03:34:16.356858+00:00","updated_at":"2026-05-18T03:34:16.356858+00:00"}