{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:R2SEX2OYA3LRS7R335S3GRHQEW","short_pith_number":"pith:R2SEX2OY","schema_version":"1.0","canonical_sha256":"8ea44be9d806d7197e3bdf65b344f025b2141dafbf74c8b6b953abf8fdb310b4","source":{"kind":"arxiv","id":"1707.09654","version":2},"attestation_state":"computed","paper":{"title":"Pseudo-Prikry sequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Chris Lambie-Hanson","submitted_at":"2017-07-30T18:00:13Z","abstract_excerpt":"We generalize results of Gitik, Dzamonja-Shelah, and Magidor-Sinapova on the existence of pseudo-Prikry sequences, which are sequences that approximate the behavior of the generic objects introduced by Prikry-type forcings, in outer models of set theory. Such sequences play an important role in the study of singular cardinal combinatorics by placing restrictions on the type of behavior that can consistently be obtained in outer models. In addition, we provide results about the existence of diagonal pseudo-Prikry sequences, which approximate the behavior of the generic objects introduced by dia"},"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":"1707.09654","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-07-30T18:00:13Z","cross_cats_sorted":[],"title_canon_sha256":"690512791d5c83aa9da3c27b41c5a7f51076d8a4d67a9da96fcc3627fc5ea050","abstract_canon_sha256":"cd33dcff9ae4e40fd758ed388eea05f34336b381d6d6eaa14c5888fc66f5fbb9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:31:50.661891Z","signature_b64":"03ms6iyVIsn3JKCTGNYj45TCbrAv2X3RpBwd8hJyqOoubaY/4oJQ4FGha4gxake56fbrzEnkf70yHdR3vuRxBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ea44be9d806d7197e3bdf65b344f025b2141dafbf74c8b6b953abf8fdb310b4","last_reissued_at":"2026-05-18T00:31:50.661519Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:31:50.661519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Pseudo-Prikry sequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Chris Lambie-Hanson","submitted_at":"2017-07-30T18:00:13Z","abstract_excerpt":"We generalize results of Gitik, Dzamonja-Shelah, and Magidor-Sinapova on the existence of pseudo-Prikry sequences, which are sequences that approximate the behavior of the generic objects introduced by Prikry-type forcings, in outer models of set theory. Such sequences play an important role in the study of singular cardinal combinatorics by placing restrictions on the type of behavior that can consistently be obtained in outer models. In addition, we provide results about the existence of diagonal pseudo-Prikry sequences, which approximate the behavior of the generic objects introduced by dia"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.09654","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":"1707.09654","created_at":"2026-05-18T00:31:50.661569+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.09654v2","created_at":"2026-05-18T00:31:50.661569+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.09654","created_at":"2026-05-18T00:31:50.661569+00:00"},{"alias_kind":"pith_short_12","alias_value":"R2SEX2OYA3LR","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"R2SEX2OYA3LRS7R3","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"R2SEX2OY","created_at":"2026-05-18T12:31:39.905425+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/R2SEX2OYA3LRS7R335S3GRHQEW","json":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW.json","graph_json":"https://pith.science/api/pith-number/R2SEX2OYA3LRS7R335S3GRHQEW/graph.json","events_json":"https://pith.science/api/pith-number/R2SEX2OYA3LRS7R335S3GRHQEW/events.json","paper":"https://pith.science/paper/R2SEX2OY"},"agent_actions":{"view_html":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW","download_json":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW.json","view_paper":"https://pith.science/paper/R2SEX2OY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.09654&json=true","fetch_graph":"https://pith.science/api/pith-number/R2SEX2OYA3LRS7R335S3GRHQEW/graph.json","fetch_events":"https://pith.science/api/pith-number/R2SEX2OYA3LRS7R335S3GRHQEW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW/action/storage_attestation","attest_author":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW/action/author_attestation","sign_citation":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW/action/citation_signature","submit_replication":"https://pith.science/pith/R2SEX2OYA3LRS7R335S3GRHQEW/action/replication_record"}},"created_at":"2026-05-18T00:31:50.661569+00:00","updated_at":"2026-05-18T00:31:50.661569+00:00"}