{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:AN6EU52MKJ455ATCO4B3R7V4T7","short_pith_number":"pith:AN6EU52M","schema_version":"1.0","canonical_sha256":"037c4a774c5279de82627703b8febc9fc33d781d08d7a1869e348db777536e00","source":{"kind":"arxiv","id":"1510.05386","version":2},"attestation_state":"computed","paper":{"title":"Covering properties and square principles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Chris Lambie-Hanson","submitted_at":"2015-10-19T08:39:02Z","abstract_excerpt":"Covering matrices were introduced by Viale in his proof that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. In the course of his work and in subsequent work with Sharon, he isolated two reflection principles, $\\mathrm{CP}$ and $\\mathrm{S}$, which may hold of covering matrices. In this paper, we continue previous work of the author investigating connections between failures of $\\mathrm{CP}$ and $\\mathrm{S}$ and variations on Jensen's square principle. We prove that, for a regular cardinal $\\lambda > \\omega_1$, assuming large cardinals, $\\square(\\lambda, 2)$ is consiste"},"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":"1510.05386","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-10-19T08:39:02Z","cross_cats_sorted":[],"title_canon_sha256":"6e763bcfeee4c5595a7781b837e0aaa12bb4b9b851d030073c5836cf6e4a2359","abstract_canon_sha256":"10f4fa9bc09a26357d3bef0dc2586c56d9626aee5fb8f19c695da15427a8132b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:38.553680Z","signature_b64":"UHZA0zEbHOb7LlaNxBp69rzkO4nSWYw5of2kt61WxwzBmZjTRDJHxDJyw7F3elmxmc/Du7qWFGL7Lk3H9L4WAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"037c4a774c5279de82627703b8febc9fc33d781d08d7a1869e348db777536e00","last_reissued_at":"2026-05-18T01:15:38.553022Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:38.553022Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Covering properties and square principles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Chris Lambie-Hanson","submitted_at":"2015-10-19T08:39:02Z","abstract_excerpt":"Covering matrices were introduced by Viale in his proof that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. In the course of his work and in subsequent work with Sharon, he isolated two reflection principles, $\\mathrm{CP}$ and $\\mathrm{S}$, which may hold of covering matrices. In this paper, we continue previous work of the author investigating connections between failures of $\\mathrm{CP}$ and $\\mathrm{S}$ and variations on Jensen's square principle. We prove that, for a regular cardinal $\\lambda > \\omega_1$, assuming large cardinals, $\\square(\\lambda, 2)$ is consiste"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.05386","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":"1510.05386","created_at":"2026-05-18T01:15:38.553115+00:00"},{"alias_kind":"arxiv_version","alias_value":"1510.05386v2","created_at":"2026-05-18T01:15:38.553115+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.05386","created_at":"2026-05-18T01:15:38.553115+00:00"},{"alias_kind":"pith_short_12","alias_value":"AN6EU52MKJ45","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_16","alias_value":"AN6EU52MKJ455ATC","created_at":"2026-05-18T12:29:10.953037+00:00"},{"alias_kind":"pith_short_8","alias_value":"AN6EU52M","created_at":"2026-05-18T12:29:10.953037+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/AN6EU52MKJ455ATCO4B3R7V4T7","json":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7.json","graph_json":"https://pith.science/api/pith-number/AN6EU52MKJ455ATCO4B3R7V4T7/graph.json","events_json":"https://pith.science/api/pith-number/AN6EU52MKJ455ATCO4B3R7V4T7/events.json","paper":"https://pith.science/paper/AN6EU52M"},"agent_actions":{"view_html":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7","download_json":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7.json","view_paper":"https://pith.science/paper/AN6EU52M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1510.05386&json=true","fetch_graph":"https://pith.science/api/pith-number/AN6EU52MKJ455ATCO4B3R7V4T7/graph.json","fetch_events":"https://pith.science/api/pith-number/AN6EU52MKJ455ATCO4B3R7V4T7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7/action/storage_attestation","attest_author":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7/action/author_attestation","sign_citation":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7/action/citation_signature","submit_replication":"https://pith.science/pith/AN6EU52MKJ455ATCO4B3R7V4T7/action/replication_record"}},"created_at":"2026-05-18T01:15:38.553115+00:00","updated_at":"2026-05-18T01:15:38.553115+00:00"}