{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QJINH7XSATPALG2GSTZS7VEB3F","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4ef9e20faf0f1b10d19793c96a45f221d1de3db6e2696219a5fd8a30ea52bb1a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","title_canon_sha256":"bcd5d061738c34eac1d658dd6637b11b02b205d0177b5da693474e4398bbfdb8"},"schema_version":"1.0","source":{"id":"2605.13102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13102","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13102v1","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13102","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"QJINH7XSATPA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"QJINH7XSATPALG2G","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"QJINH7XS","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:a1960b6b691d9e4d121a8ef0e5534f5b331525b3c125e6ea63d876822dac7753","target":"graph","created_at":"2026-05-18T03:08:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We sketch a recent theory of infinitesimal analysis that formalizes Leibnizian definitions and heuristic principles while eschewing both the axiom of choice and ultrafilters, thus challenging received philosophical views on the nature of infinitesimals."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the newly introduced concept of ringinals provides a coherent arithmetic framework for infinitesimals that integrates with a conservative extension of ZF without introducing inconsistencies or relying on unstated assumptions about the continuum."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Leibnizian infinitesimals can be formalized using ringinals in a conservative extension of ZF set theory without the axiom of choice or ultrafilters."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory."}],"snapshot_sha256":"1046ac80d7cecff825ba53621cc6bb4ee890bf82aed93a3a1e7808970ba51cb9"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"2430b9b881b66f7c5877e84b9852da94052fc22f058f3019144d451e8488a4fb"},"paper":{"abstract_excerpt":"We explore the issue of providing a foundational framework for Leibnizian infinitesimals in the light of modern standard and nonstandard approaches. We outline a trichotomy of ordinals, cardinals and ringinals as a historiographic tool. A ringinal is a concept of infinite number, arithmetic in nature, different from Cantor's transfinite ordinals and cardinals. The continuum is not necessarily identifiable with R; even if one seeks such an identification, infinitesimals are not ruled out. Analysis with unlimited numbers (via the predicate standard) is possible in a conservative extension of Zer","authors_text":"Karl Kuhlemann, Mikhail G. Katz, Taras Kudryk, Vladimir Kanovei","cross_cats":[],"headline":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","title":"A philosophical history of infinitesimals"},"references":{"count":139,"internal_anchors":1,"resolved_work":139,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Gauss theorem and pointlike charges: When infinitesimals make the difference.The Physics Teacher61(2023), no","work_id":"697fb734-3699-44e5-b3e6-f6a27c6b0174","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"W.; Ferraro, Giovanni; Gray, Jeremy; Jesseph, Douglas; L¨ utzen, Jesper; Panza, Marco; Rabouin, David; Schubring, Gert","work_id":"6f202c7f-2a12-4de6-85ae-1147cfc9fa1a","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"On the unviability of interpreting Leib- niz’s infinitesimals through non-standard analysis.Historia Math.66(2024), 26–42","work_id":"40c9cfd0-98c1-43cb-9aa7-bec6c49dee52","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"On the failure of the correspondences al- leged between nonstandard analysis and Leibniz’s conception of infinitesimals (arxiv, in preparation)","work_id":"3d79c0cb-ab1e-41ab-a75a-fdcf90727640","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"The debate between Peletier and Clavius on superposi- tion.Historia Mathematica45(2018), no","work_id":"8aaffb3a-04d6-4eb7-94b0-66dc40995d01","year":2018}],"snapshot_sha256":"bcade8f04cf340ecef1f6ddb5b00b19ca42c40a5e064bc8a1a2fbfdc90bb72f0"},"source":{"id":"2605.13102","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T01:44:27.038346Z","id":"ac3a50d4-e859-420e-90ce-f75f5d24c647","model_set":{"reader":"grok-4.3"},"one_line_summary":"Leibnizian infinitesimals can be formalized using ringinals in a conservative extension of ZF set theory without the axiom of choice or ultrafilters.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory.","strongest_claim":"We sketch a recent theory of infinitesimal analysis that formalizes Leibnizian definitions and heuristic principles while eschewing both the axiom of choice and ultrafilters, thus challenging received philosophical views on the nature of infinitesimals.","weakest_assumption":"That the newly introduced concept of ringinals provides a coherent arithmetic framework for infinitesimals that integrates with a conservative extension of ZF without introducing inconsistencies or relying on unstated assumptions about the continuum."}},"verdict_id":"ac3a50d4-e859-420e-90ce-f75f5d24c647"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0a1d494650fc7aef75a577f6ebb01e879af913f3dd3ba9a701fddb4edb2670dc","target":"record","created_at":"2026-05-18T03:08:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4ef9e20faf0f1b10d19793c96a45f221d1de3db6e2696219a5fd8a30ea52bb1a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","title_canon_sha256":"bcd5d061738c34eac1d658dd6637b11b02b205d0177b5da693474e4398bbfdb8"},"schema_version":"1.0","source":{"id":"2605.13102","kind":"arxiv","version":1}},"canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","first_computed_at":"2026-05-18T03:08:58.252031Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:58.252031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pBON6M6PVNteMAePuv0LngVOn0G7OC4SZJXIdUH9xxTmmTtHsu+RqOokVYdGagXltMTN05Y2fJoz+ouDKLRoDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:58.252837Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a1d494650fc7aef75a577f6ebb01e879af913f3dd3ba9a701fddb4edb2670dc","sha256:a1960b6b691d9e4d121a8ef0e5534f5b331525b3c125e6ea63d876822dac7753","sha256:fd59e404e77474320be1ac141372ac43cb307fc870c7ff5ca682b72f750393c0"],"state_sha256":"23340571f359a0973c6838672fe6491439dc6c7c9c9eb9135cf23fdfb2403f72"}