{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:O4QHERAHIH5XW3R65MMVLDSCK6","short_pith_number":"pith:O4QHERAH","schema_version":"1.0","canonical_sha256":"772072440741fb7b6e3eeb19558e4257b2019adcbb3c7dfeb9713bd917a780b7","source":{"kind":"arxiv","id":"1910.11025","version":6},"attestation_state":"computed","paper":{"title":"Finiteness classes arising from Ramsey-theoretic statements in set theory without choice","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"David Fern\\'andez-Bret\\'on, Joshua Brot, Mengyang Cao","submitted_at":"2019-10-24T10:51:14Z","abstract_excerpt":"We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very precise information as to where such sets are located within the hierarchy of infinite Dedekind-finite sets."},"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":"1910.11025","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-10-24T10:51:14Z","cross_cats_sorted":[],"title_canon_sha256":"f9a579c2421a1e0181218059429fc0a33ff0450fb4a8ed108935bdc707abfbc8","abstract_canon_sha256":"9b7030a48a3a440d0f3b5fab09aacd351a7f0246a90cbfb60b6fde86304383db"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:19:14.559635Z","signature_b64":"H5cfm0jqOF52zOENtqFCaIcLEQW1snM4rrUYbfIJ05nVYsyC6Q6qMAQuDm4VoGt0nHYDergKNpIs/mtUVNFUCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"772072440741fb7b6e3eeb19558e4257b2019adcbb3c7dfeb9713bd917a780b7","last_reissued_at":"2026-07-05T02:19:14.559072Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:19:14.559072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Finiteness classes arising from Ramsey-theoretic statements in set theory without choice","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"David Fern\\'andez-Bret\\'on, Joshua Brot, Mengyang Cao","submitted_at":"2019-10-24T10:51:14Z","abstract_excerpt":"We investigate infinite sets that witness the failure of certain Ramsey-theoretic statements, such as Ramsey's or (appropriately phrased) Hindman's theorem; such sets may exist if one does not assume the Axiom of Choice. We obtain very precise information as to where such sets are located within the hierarchy of infinite Dedekind-finite sets."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.11025","kind":"arxiv","version":6},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1910.11025/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"1910.11025","created_at":"2026-07-05T02:19:14.559138+00:00"},{"alias_kind":"arxiv_version","alias_value":"1910.11025v6","created_at":"2026-07-05T02:19:14.559138+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.11025","created_at":"2026-07-05T02:19:14.559138+00:00"},{"alias_kind":"pith_short_12","alias_value":"O4QHERAHIH5X","created_at":"2026-07-05T02:19:14.559138+00:00"},{"alias_kind":"pith_short_16","alias_value":"O4QHERAHIH5XW3R6","created_at":"2026-07-05T02:19:14.559138+00:00"},{"alias_kind":"pith_short_8","alias_value":"O4QHERAH","created_at":"2026-07-05T02:19:14.559138+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/O4QHERAHIH5XW3R65MMVLDSCK6","json":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6.json","graph_json":"https://pith.science/api/pith-number/O4QHERAHIH5XW3R65MMVLDSCK6/graph.json","events_json":"https://pith.science/api/pith-number/O4QHERAHIH5XW3R65MMVLDSCK6/events.json","paper":"https://pith.science/paper/O4QHERAH"},"agent_actions":{"view_html":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6","download_json":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6.json","view_paper":"https://pith.science/paper/O4QHERAH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1910.11025&json=true","fetch_graph":"https://pith.science/api/pith-number/O4QHERAHIH5XW3R65MMVLDSCK6/graph.json","fetch_events":"https://pith.science/api/pith-number/O4QHERAHIH5XW3R65MMVLDSCK6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6/action/storage_attestation","attest_author":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6/action/author_attestation","sign_citation":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6/action/citation_signature","submit_replication":"https://pith.science/pith/O4QHERAHIH5XW3R65MMVLDSCK6/action/replication_record"}},"created_at":"2026-07-05T02:19:14.559138+00:00","updated_at":"2026-07-05T02:19:14.559138+00:00"}