{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:ZYRPIWRLEX22JIJ4O2MPH4KE2Q","short_pith_number":"pith:ZYRPIWRL","schema_version":"1.0","canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","source":{"kind":"arxiv","id":"2605.14182","version":1},"attestation_state":"computed","paper":{"title":"The modal theory of linear orders","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","cross_cats":[],"primary_cat":"math.LO","authors_text":"Wojciech Aleksander Wo{\\l}oszyn","submitted_at":"2026-05-13T23:04:51Z","abstract_excerpt":"I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases."},"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.14182","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-13T23:04:51Z","cross_cats_sorted":[],"title_canon_sha256":"0603c9e93e9865e5655c3e985823194cabd70d8500c8b96f5a77ed0c39bc69e2","abstract_canon_sha256":"3b6c509d50529e545f4686db9d0001dc3d899346d2fcc3a77a7531722ba8c579"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:11.236750Z","signature_b64":"kJZm8kf/REd21jTArZ4by/QBkmv5ZOkyHXhsmMvh0JScIfAEFuHRggF+H0Z+w64rWGLi3nC818sHexEZ/wciBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","last_reissued_at":"2026-05-17T23:39:11.236132Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:11.236132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The modal theory of linear orders","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","cross_cats":[],"primary_cat":"math.LO","authors_text":"Wojciech Aleksander Wo{\\l}oszyn","submitted_at":"2026-05-13T23:04:51Z","abstract_excerpt":"I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That standard Kripke semantics on linear orders, together with the listed map classes, suffice to capture the intended modal behavior without hidden assumptions about the underlying orders or the modal language.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Proves modality elimination for embeddings and monotone maps on linear orders, establishes modal definability of scatteredness under condensations, and computes exact modal validities.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"d7d953037d9a510b3f8886cf3079b67b9656b57fedc6cb00db69f7d37bd2b5e0"},"source":{"id":"2605.14182","kind":"arxiv","version":1},"verdict":{"id":"0ee232e4-9d0d-4241-aa2a-b5be28190088","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T01:46:01.447950Z","strongest_claim":"I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.","one_line_summary":"Proves modality elimination for embeddings and monotone maps on linear orders, establishes modal definability of scatteredness under condensations, and computes exact modal validities.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That standard Kripke semantics on linear orders, together with the listed map classes, suffice to capture the intended modal behavior without hidden assumptions about the underlying orders or the modal language.","pith_extraction_headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable."},"references":{"count":15,"sample":[{"doi":"","year":null,"title":"Patrick Blackburn and Maarten de Rijke and Yde Venema , title =","work_id":"9d470b66-14a0-4197-90b5-bd9604069e2f","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Alexander Chagrov and Michael Zakharyaschev , title =","work_id":"fb82bec8-2b2b-457c-bcf5-82510d11e5eb","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1966,"title":"R. A. Bull , title =. 1966 , pages =","work_id":"b6b0c045-5245-4e52-ad00-6879ae05345c","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2016,"title":"2016 , note =","work_id":"c11ef4bd-f8ce-4899-8b4d-d6c0a2af2004","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"Modal model theory , journaltitle =","work_id":"f913c106-49c3-41f9-ac14-1325ef159fe5","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":15,"snapshot_sha256":"d3cf95e34a3e7d66d42bc0ddf88cad5baddd7bc2a18e1b6a497b30105196ce83","internal_anchors":1},"formal_canon":{"evidence_count":2,"snapshot_sha256":"405548bd69838a0cf128069baa960cfe79cfb8415372e7eec9600d7617400e0b"},"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.14182","created_at":"2026-05-17T23:39:11.236223+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.14182v1","created_at":"2026-05-17T23:39:11.236223+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14182","created_at":"2026-05-17T23:39:11.236223+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZYRPIWRLEX22","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZYRPIWRLEX22JIJ4","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZYRPIWRL","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/ZYRPIWRLEX22JIJ4O2MPH4KE2Q","json":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q.json","graph_json":"https://pith.science/api/pith-number/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/graph.json","events_json":"https://pith.science/api/pith-number/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/events.json","paper":"https://pith.science/paper/ZYRPIWRL"},"agent_actions":{"view_html":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q","download_json":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q.json","view_paper":"https://pith.science/paper/ZYRPIWRL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.14182&json=true","fetch_graph":"https://pith.science/api/pith-number/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/graph.json","fetch_events":"https://pith.science/api/pith-number/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/action/storage_attestation","attest_author":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/action/author_attestation","sign_citation":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/action/citation_signature","submit_replication":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/action/replication_record"}},"created_at":"2026-05-17T23:39:11.236223+00:00","updated_at":"2026-05-17T23:39:11.236223+00:00"}