{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:YBYYQGYPXPOOZC2WM62HNTSCZ2","short_pith_number":"pith:YBYYQGYP","schema_version":"1.0","canonical_sha256":"c071881b0fbbdcec8b5667b476ce42ce934eba2d4438c9ab7f8668992f5ddf10","source":{"kind":"arxiv","id":"1403.6398","version":4},"attestation_state":"computed","paper":{"title":"Indestructibility of generically strong cardinals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Brent Cody, Sean Cox","submitted_at":"2014-03-25T15:46:46Z","abstract_excerpt":"Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\\omega_1$ is preserved by any proper forcing. We generalize portions of Foreman's Duality Theorem to the context of generic extender embeddings and ideal extenders (as introduced by Claverie in his PhD Thesis, Universitat Munster, 2010). As an application we prove that if $\\omega_1$ is generically strong, then it remains so after adding any number of Cohen subsets of $\\omega_1$; however many other $\\omega_1"},"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":"1403.6398","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-03-25T15:46:46Z","cross_cats_sorted":[],"title_canon_sha256":"9fb2b15ee0140ed289e0a3f81d9cb35b7184009e3e3cdb1dbc62e1350f526296","abstract_canon_sha256":"2b25e6a5d8f8ceb729e112c064ed603cf6cef548c2c7cc1d816c55eb0c7424bc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:02.062089Z","signature_b64":"SE63CW0DEbvA6v8kGsEUKvYNq4A6qEDzJxogZG5mhy8dBkLdaIa6IIyyYV4pzRcPmzDuJVQMFi0oIYtbsg0XCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c071881b0fbbdcec8b5667b476ce42ce934eba2d4438c9ab7f8668992f5ddf10","last_reissued_at":"2026-05-18T01:36:02.061506Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:02.061506Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Indestructibility of generically strong cardinals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Brent Cody, Sean Cox","submitted_at":"2014-03-25T15:46:46Z","abstract_excerpt":"Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\\omega_1$ is preserved by any proper forcing. We generalize portions of Foreman's Duality Theorem to the context of generic extender embeddings and ideal extenders (as introduced by Claverie in his PhD Thesis, Universitat Munster, 2010). As an application we prove that if $\\omega_1$ is generically strong, then it remains so after adding any number of Cohen subsets of $\\omega_1$; however many other $\\omega_1"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.6398","kind":"arxiv","version":4},"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":"1403.6398","created_at":"2026-05-18T01:36:02.061597+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.6398v4","created_at":"2026-05-18T01:36:02.061597+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.6398","created_at":"2026-05-18T01:36:02.061597+00:00"},{"alias_kind":"pith_short_12","alias_value":"YBYYQGYPXPOO","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"YBYYQGYPXPOOZC2W","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"YBYYQGYP","created_at":"2026-05-18T12:28:57.508820+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/YBYYQGYPXPOOZC2WM62HNTSCZ2","json":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2.json","graph_json":"https://pith.science/api/pith-number/YBYYQGYPXPOOZC2WM62HNTSCZ2/graph.json","events_json":"https://pith.science/api/pith-number/YBYYQGYPXPOOZC2WM62HNTSCZ2/events.json","paper":"https://pith.science/paper/YBYYQGYP"},"agent_actions":{"view_html":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2","download_json":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2.json","view_paper":"https://pith.science/paper/YBYYQGYP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.6398&json=true","fetch_graph":"https://pith.science/api/pith-number/YBYYQGYPXPOOZC2WM62HNTSCZ2/graph.json","fetch_events":"https://pith.science/api/pith-number/YBYYQGYPXPOOZC2WM62HNTSCZ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2/action/storage_attestation","attest_author":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2/action/author_attestation","sign_citation":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2/action/citation_signature","submit_replication":"https://pith.science/pith/YBYYQGYPXPOOZC2WM62HNTSCZ2/action/replication_record"}},"created_at":"2026-05-18T01:36:02.061597+00:00","updated_at":"2026-05-18T01:36:02.061597+00:00"}