{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:HWY7PFHD3U7P4EBXRRQHE2YHLT","short_pith_number":"pith:HWY7PFHD","schema_version":"1.0","canonical_sha256":"3db1f794e3dd3efe10378c60726b075cc63fe3de0518fee5fd27b67149c3c8b7","source":{"kind":"arxiv","id":"1203.5207","version":2},"attestation_state":"computed","paper":{"title":"Linear extensions of partial orders and Reverse Mathematics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alberto Marcone, Emanuele Frittaion","submitted_at":"2012-03-23T10:35:53Z","abstract_excerpt":"We introduce the notion of \\tau-like partial order, where \\tau is one of the linear order types \\omega, \\omega*, \\omega+\\omega*, and \\zeta. For example, being \\omega-like means that every element has finitely many predecessors, while being \\zeta-like means that every interval is finite. We consider statements of the form \"any \\tau-like partial order has a \\tau-like linear extension\" and \"any \\tau-like partial order is embeddable into \\tau\" (when \\tau\\ is \\zeta\\ this result appears to be new). Working in the framework of reverse mathematics, we show that these statements are equivalent either t"},"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":"1203.5207","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-03-23T10:35:53Z","cross_cats_sorted":[],"title_canon_sha256":"99029cbd474de7263d989ef9ce1bda9ce1b4190074883973de36ca97b1fa3c82","abstract_canon_sha256":"bff0b20860335ee45c05cfe7dc25aa67c5215c7592ed124af77e4e422bb7e3af"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:16.338032Z","signature_b64":"75PyS9TLPI+mMCKXIPt5pe3R95T3T15PvsKhyYcLgghUIdVzKM6iEllxR0zFzDtLsEH2CqIy4igWWajxZnwXAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3db1f794e3dd3efe10378c60726b075cc63fe3de0518fee5fd27b67149c3c8b7","last_reissued_at":"2026-05-18T03:34:16.337352Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:16.337352Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Linear extensions of partial orders and Reverse Mathematics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alberto Marcone, Emanuele Frittaion","submitted_at":"2012-03-23T10:35:53Z","abstract_excerpt":"We introduce the notion of \\tau-like partial order, where \\tau is one of the linear order types \\omega, \\omega*, \\omega+\\omega*, and \\zeta. For example, being \\omega-like means that every element has finitely many predecessors, while being \\zeta-like means that every interval is finite. We consider statements of the form \"any \\tau-like partial order has a \\tau-like linear extension\" and \"any \\tau-like partial order is embeddable into \\tau\" (when \\tau\\ is \\zeta\\ this result appears to be new). Working in the framework of reverse mathematics, we show that these statements are equivalent either t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.5207","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":"1203.5207","created_at":"2026-05-18T03:34:16.337458+00:00"},{"alias_kind":"arxiv_version","alias_value":"1203.5207v2","created_at":"2026-05-18T03:34:16.337458+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.5207","created_at":"2026-05-18T03:34:16.337458+00:00"},{"alias_kind":"pith_short_12","alias_value":"HWY7PFHD3U7P","created_at":"2026-05-18T12:27:09.501522+00:00"},{"alias_kind":"pith_short_16","alias_value":"HWY7PFHD3U7P4EBX","created_at":"2026-05-18T12:27:09.501522+00:00"},{"alias_kind":"pith_short_8","alias_value":"HWY7PFHD","created_at":"2026-05-18T12:27:09.501522+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/HWY7PFHD3U7P4EBXRRQHE2YHLT","json":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT.json","graph_json":"https://pith.science/api/pith-number/HWY7PFHD3U7P4EBXRRQHE2YHLT/graph.json","events_json":"https://pith.science/api/pith-number/HWY7PFHD3U7P4EBXRRQHE2YHLT/events.json","paper":"https://pith.science/paper/HWY7PFHD"},"agent_actions":{"view_html":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT","download_json":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT.json","view_paper":"https://pith.science/paper/HWY7PFHD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1203.5207&json=true","fetch_graph":"https://pith.science/api/pith-number/HWY7PFHD3U7P4EBXRRQHE2YHLT/graph.json","fetch_events":"https://pith.science/api/pith-number/HWY7PFHD3U7P4EBXRRQHE2YHLT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT/action/storage_attestation","attest_author":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT/action/author_attestation","sign_citation":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT/action/citation_signature","submit_replication":"https://pith.science/pith/HWY7PFHD3U7P4EBXRRQHE2YHLT/action/replication_record"}},"created_at":"2026-05-18T03:34:16.337458+00:00","updated_at":"2026-05-18T03:34:16.337458+00:00"}