{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:YO6YCEFQ4EM6LOM53BOFY63C3B","short_pith_number":"pith:YO6YCEFQ","canonical_record":{"source":{"id":"1605.03501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-05-11T16:27:00Z","cross_cats_sorted":["math.HO"],"title_canon_sha256":"ab31478df62d216ce24014448801eaf1982b4898e7b8acdf097adfa6cee377cc","abstract_canon_sha256":"bcb5bd2ca76e3289497101fbf9d3e344d64cc5cd47c3bb1c07fd01152a7a2b66"},"schema_version":"1.0"},"canonical_sha256":"c3bd8110b0e119e5b99dd85c5c7b62d87c80eb750e1d41e337c8b262e57cd348","source":{"kind":"arxiv","id":"1605.03501","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03501","created_at":"2026-05-18T01:15:05Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03501v1","created_at":"2026-05-18T01:15:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03501","created_at":"2026-05-18T01:15:05Z"},{"alias_kind":"pith_short_12","alias_value":"YO6YCEFQ4EM6","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YO6YCEFQ4EM6LOM5","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YO6YCEFQ","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:YO6YCEFQ4EM6LOM53BOFY63C3B","target":"record","payload":{"canonical_record":{"source":{"id":"1605.03501","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-05-11T16:27:00Z","cross_cats_sorted":["math.HO"],"title_canon_sha256":"ab31478df62d216ce24014448801eaf1982b4898e7b8acdf097adfa6cee377cc","abstract_canon_sha256":"bcb5bd2ca76e3289497101fbf9d3e344d64cc5cd47c3bb1c07fd01152a7a2b66"},"schema_version":"1.0"},"canonical_sha256":"c3bd8110b0e119e5b99dd85c5c7b62d87c80eb750e1d41e337c8b262e57cd348","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:15:05.265566Z","signature_b64":"4XaxCUPatnUVsLeN1AHAkY9FKgTbvv7B97c2+Wexh56riZg0rnFG82Yuv0+QPIanCfkEI0rYcOJ41vtsK5XTAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3bd8110b0e119e5b99dd85c5c7b62d87c80eb750e1d41e337c8b262e57cd348","last_reissued_at":"2026-05-18T01:15:05.264768Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:15:05.264768Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.03501","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:15:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uhfXPIRD6Go25U/VPydwum7pBYOYJ3WfWekLXprYXqCq/zlh2tRWyMV6qyaCOxNndGfFShxtPL2Z1o+8e58/Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:23:27.795635Z"},"content_sha256":"37fc4f498f539f91818f593f1b7b37e00c1cf9eac4554390cb4f0ac0a9a594aa","schema_version":"1.0","event_id":"sha256:37fc4f498f539f91818f593f1b7b37e00c1cf9eac4554390cb4f0ac0a9a594aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:YO6YCEFQ4EM6LOM53BOFY63C3B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Is Leibnizian calculus embeddable in first order logic?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.HO"],"primary_cat":"math.LO","authors_text":"David Sherry, Karin U. Katz, Mikhail G. Katz, Piotr Blaszczyk, Taras Kudryk, Thomas Mormann, Vladimir Kanovei","submitted_at":"2016-05-11T16:27:00Z","abstract_excerpt":"To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03501","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:15:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eRERvMwaqAr05y6ew4uPRt9VV/PYWBA3h79N5m8mZcO+ohE77gioMhx3trRoLnGoirFUp2BMvTR6jO8+CnACAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T22:23:27.795986Z"},"content_sha256":"ad229d3d960b83d9ccff0905201aaf40c5f0f3e5e6a5374173b09a26486c222c","schema_version":"1.0","event_id":"sha256:ad229d3d960b83d9ccff0905201aaf40c5f0f3e5e6a5374173b09a26486c222c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YO6YCEFQ4EM6LOM53BOFY63C3B/bundle.json","state_url":"https://pith.science/pith/YO6YCEFQ4EM6LOM53BOFY63C3B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YO6YCEFQ4EM6LOM53BOFY63C3B/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T22:23:27Z","links":{"resolver":"https://pith.science/pith/YO6YCEFQ4EM6LOM53BOFY63C3B","bundle":"https://pith.science/pith/YO6YCEFQ4EM6LOM53BOFY63C3B/bundle.json","state":"https://pith.science/pith/YO6YCEFQ4EM6LOM53BOFY63C3B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YO6YCEFQ4EM6LOM53BOFY63C3B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YO6YCEFQ4EM6LOM53BOFY63C3B","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bcb5bd2ca76e3289497101fbf9d3e344d64cc5cd47c3bb1c07fd01152a7a2b66","cross_cats_sorted":["math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-05-11T16:27:00Z","title_canon_sha256":"ab31478df62d216ce24014448801eaf1982b4898e7b8acdf097adfa6cee377cc"},"schema_version":"1.0","source":{"id":"1605.03501","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03501","created_at":"2026-05-18T01:15:05Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03501v1","created_at":"2026-05-18T01:15:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03501","created_at":"2026-05-18T01:15:05Z"},{"alias_kind":"pith_short_12","alias_value":"YO6YCEFQ4EM6","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YO6YCEFQ4EM6LOM5","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YO6YCEFQ","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:ad229d3d960b83d9ccff0905201aaf40c5f0f3e5e6a5374173b09a26486c222c","target":"graph","created_at":"2026-05-18T01:15:05Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to in","authors_text":"David Sherry, Karin U. Katz, Mikhail G. Katz, Piotr Blaszczyk, Taras Kudryk, Thomas Mormann, Vladimir Kanovei","cross_cats":["math.HO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-05-11T16:27:00Z","title":"Is Leibnizian calculus embeddable in first order logic?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03501","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:37fc4f498f539f91818f593f1b7b37e00c1cf9eac4554390cb4f0ac0a9a594aa","target":"record","created_at":"2026-05-18T01:15:05Z","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":"bcb5bd2ca76e3289497101fbf9d3e344d64cc5cd47c3bb1c07fd01152a7a2b66","cross_cats_sorted":["math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-05-11T16:27:00Z","title_canon_sha256":"ab31478df62d216ce24014448801eaf1982b4898e7b8acdf097adfa6cee377cc"},"schema_version":"1.0","source":{"id":"1605.03501","kind":"arxiv","version":1}},"canonical_sha256":"c3bd8110b0e119e5b99dd85c5c7b62d87c80eb750e1d41e337c8b262e57cd348","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3bd8110b0e119e5b99dd85c5c7b62d87c80eb750e1d41e337c8b262e57cd348","first_computed_at":"2026-05-18T01:15:05.264768Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:15:05.264768Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4XaxCUPatnUVsLeN1AHAkY9FKgTbvv7B97c2+Wexh56riZg0rnFG82Yuv0+QPIanCfkEI0rYcOJ41vtsK5XTAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:15:05.265566Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.03501","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:37fc4f498f539f91818f593f1b7b37e00c1cf9eac4554390cb4f0ac0a9a594aa","sha256:ad229d3d960b83d9ccff0905201aaf40c5f0f3e5e6a5374173b09a26486c222c"],"state_sha256":"b10d082e7307e6483f9edd5a7ac372d0f175c19bccf54dee642777aea65ab51e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZgV/RF9MLy8ILIVTHCvCObRT5wuhVUYpLszupDv3c1z9znHMaNz92Z8skIUn4XHTgP+azyFdaa0lyCcN0tS0Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T22:23:27.798121Z","bundle_sha256":"7a01a02ef5a65553d7901673457d29e342348874f44387dfc4572c439236ebb1"}}