{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:7HVKYWH66QO737SWMQKLALQZNS","short_pith_number":"pith:7HVKYWH6","schema_version":"1.0","canonical_sha256":"f9eaac58fef41dfdfe566414b02e196ca28e3087e7a6ae14cafa33718d14d763","source":{"kind":"arxiv","id":"2311.09951","version":2},"attestation_state":"computed","paper":{"title":"Counting Sets with Surnatural Numbers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Michael Mackey, Peter Lynch","submitted_at":"2023-11-16T15:10:52Z","abstract_excerpt":"How many odd numbers are there? How many even numbers? From Galileo to Cantor, the suggestion was that there are the same number of odd, even and natural numbers, because all three sets can be mapped in one-one fashion to each other. This jars with our intuition: cardinality fails to discriminate between sets that are intuitively of different sizes.\n  The class of surreal numbers $\\boldsymbol{\\mathsf{No}}$ is the largest possible ordered field. In this work we define a function, the magnum, mapping a selection of countable sets to a subclass of the surreals, the surnatural numbers $\\boldsymbol"},"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":"2311.09951","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-11-16T15:10:52Z","cross_cats_sorted":[],"title_canon_sha256":"a41826359b33149124990c8cdd3c5f50a7a0d3563cdf9c53ab93934c915dbd66","abstract_canon_sha256":"b959e1e347a7d1a16530c510f6214a27fa1e23330dcc4319c1ac7ea6f09f45c3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:05:08.133050Z","signature_b64":"+O5r8rpMd6eQBiMcv2qdvnqLpkUnDPz1kkiOz1QIggAJMfwTZ1KY6Wb2E2zDO9D31U+quv3Dy4nxDbiYDNC4Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f9eaac58fef41dfdfe566414b02e196ca28e3087e7a6ae14cafa33718d14d763","last_reissued_at":"2026-07-05T10:05:08.132605Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:05:08.132605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Counting Sets with Surnatural Numbers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Michael Mackey, Peter Lynch","submitted_at":"2023-11-16T15:10:52Z","abstract_excerpt":"How many odd numbers are there? How many even numbers? From Galileo to Cantor, the suggestion was that there are the same number of odd, even and natural numbers, because all three sets can be mapped in one-one fashion to each other. This jars with our intuition: cardinality fails to discriminate between sets that are intuitively of different sizes.\n  The class of surreal numbers $\\boldsymbol{\\mathsf{No}}$ is the largest possible ordered field. In this work we define a function, the magnum, mapping a selection of countable sets to a subclass of the surreals, the surnatural numbers $\\boldsymbol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.09951","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2311.09951/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":"2311.09951","created_at":"2026-07-05T10:05:08.132662+00:00"},{"alias_kind":"arxiv_version","alias_value":"2311.09951v2","created_at":"2026-07-05T10:05:08.132662+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.09951","created_at":"2026-07-05T10:05:08.132662+00:00"},{"alias_kind":"pith_short_12","alias_value":"7HVKYWH66QO7","created_at":"2026-07-05T10:05:08.132662+00:00"},{"alias_kind":"pith_short_16","alias_value":"7HVKYWH66QO737SW","created_at":"2026-07-05T10:05:08.132662+00:00"},{"alias_kind":"pith_short_8","alias_value":"7HVKYWH6","created_at":"2026-07-05T10:05:08.132662+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/7HVKYWH66QO737SWMQKLALQZNS","json":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS.json","graph_json":"https://pith.science/api/pith-number/7HVKYWH66QO737SWMQKLALQZNS/graph.json","events_json":"https://pith.science/api/pith-number/7HVKYWH66QO737SWMQKLALQZNS/events.json","paper":"https://pith.science/paper/7HVKYWH6"},"agent_actions":{"view_html":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS","download_json":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS.json","view_paper":"https://pith.science/paper/7HVKYWH6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2311.09951&json=true","fetch_graph":"https://pith.science/api/pith-number/7HVKYWH66QO737SWMQKLALQZNS/graph.json","fetch_events":"https://pith.science/api/pith-number/7HVKYWH66QO737SWMQKLALQZNS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS/action/storage_attestation","attest_author":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS/action/author_attestation","sign_citation":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS/action/citation_signature","submit_replication":"https://pith.science/pith/7HVKYWH66QO737SWMQKLALQZNS/action/replication_record"}},"created_at":"2026-07-05T10:05:08.132662+00:00","updated_at":"2026-07-05T10:05:08.132662+00:00"}