{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:3YV6C5RQZUXER2YCVEPJDSPJC4","short_pith_number":"pith:3YV6C5RQ","schema_version":"1.0","canonical_sha256":"de2be17630cd2e48eb02a91e91c9e9171f9ffa9d9afcb9da815f6cf45a8184ea","source":{"kind":"arxiv","id":"1203.1238","version":1},"attestation_state":"computed","paper":{"title":"Measuring club-sequences with a large continuum","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"David Asper\\'o, Miguel Angel Mota","submitted_at":"2012-03-06T16:14:50Z","abstract_excerpt":"One of the most frustrating problems faced by set theorists working with iterated proper forcing is the lack of techniques for producing models in which the continuum has size greater than the second uncountable cardinal. In this paper we solve this problem in the specific case of measuring, a very strong negation of Club Guessing introduced by Justin Moore."},"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.1238","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-03-06T16:14:50Z","cross_cats_sorted":[],"title_canon_sha256":"77b51ccf5f48039d40c1d0e40c545fd1297560baa03ed1463584ca5d8fc0d7fc","abstract_canon_sha256":"7d958d1b673768587b8fce639fbca4cdc26c2240165833a4d43dd84c2c91322e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:48:35.450802Z","signature_b64":"ByqGLKuNwV5HCCbZ0YnwxiBVJanG0vVkanmOf5RdKgRYi3K2sta496Ozhzyt8OsumagM5qpnZ2P70WUt93iIAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de2be17630cd2e48eb02a91e91c9e9171f9ffa9d9afcb9da815f6cf45a8184ea","last_reissued_at":"2026-05-18T03:48:35.450162Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:48:35.450162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Measuring club-sequences with a large continuum","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"David Asper\\'o, Miguel Angel Mota","submitted_at":"2012-03-06T16:14:50Z","abstract_excerpt":"One of the most frustrating problems faced by set theorists working with iterated proper forcing is the lack of techniques for producing models in which the continuum has size greater than the second uncountable cardinal. In this paper we solve this problem in the specific case of measuring, a very strong negation of Club Guessing introduced by Justin Moore."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1238","kind":"arxiv","version":1},"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.1238","created_at":"2026-05-18T03:48:35.450257+00:00"},{"alias_kind":"arxiv_version","alias_value":"1203.1238v1","created_at":"2026-05-18T03:48:35.450257+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1238","created_at":"2026-05-18T03:48:35.450257+00:00"},{"alias_kind":"pith_short_12","alias_value":"3YV6C5RQZUXE","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_16","alias_value":"3YV6C5RQZUXER2YC","created_at":"2026-05-18T12:26:53.410803+00:00"},{"alias_kind":"pith_short_8","alias_value":"3YV6C5RQ","created_at":"2026-05-18T12:26:53.410803+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/3YV6C5RQZUXER2YCVEPJDSPJC4","json":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4.json","graph_json":"https://pith.science/api/pith-number/3YV6C5RQZUXER2YCVEPJDSPJC4/graph.json","events_json":"https://pith.science/api/pith-number/3YV6C5RQZUXER2YCVEPJDSPJC4/events.json","paper":"https://pith.science/paper/3YV6C5RQ"},"agent_actions":{"view_html":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4","download_json":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4.json","view_paper":"https://pith.science/paper/3YV6C5RQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1203.1238&json=true","fetch_graph":"https://pith.science/api/pith-number/3YV6C5RQZUXER2YCVEPJDSPJC4/graph.json","fetch_events":"https://pith.science/api/pith-number/3YV6C5RQZUXER2YCVEPJDSPJC4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4/action/storage_attestation","attest_author":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4/action/author_attestation","sign_citation":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4/action/citation_signature","submit_replication":"https://pith.science/pith/3YV6C5RQZUXER2YCVEPJDSPJC4/action/replication_record"}},"created_at":"2026-05-18T03:48:35.450257+00:00","updated_at":"2026-05-18T03:48:35.450257+00:00"}