{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XPOAEYXSSHGLUAP6V336X7RAB3","short_pith_number":"pith:XPOAEYXS","canonical_record":{"source":{"id":"1607.00149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-07-01T08:27:09Z","cross_cats_sorted":["math.FA","math.LO"],"title_canon_sha256":"91bf4f25a6c35e96387f44f78d05ca528c8eacde7c507a30b1ad20d01f5af3fa","abstract_canon_sha256":"4ca4233f8c6a2eadcd9cf3283c78fb066c41e080dd7a82c39f4bba2df7b8f2fe"},"schema_version":"1.0"},"canonical_sha256":"bbdc0262f291ccba01feaef7ebfe200ef4ed45943fc3ec1ac5b8f4af6584fe32","source":{"kind":"arxiv","id":"1607.00149","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.00149","created_at":"2026-05-18T00:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1607.00149v1","created_at":"2026-05-18T00:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.00149","created_at":"2026-05-18T00:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"XPOAEYXSSHGL","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XPOAEYXSSHGLUAP6","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XPOAEYXS","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XPOAEYXSSHGLUAP6V336X7RAB3","target":"record","payload":{"canonical_record":{"source":{"id":"1607.00149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-07-01T08:27:09Z","cross_cats_sorted":["math.FA","math.LO"],"title_canon_sha256":"91bf4f25a6c35e96387f44f78d05ca528c8eacde7c507a30b1ad20d01f5af3fa","abstract_canon_sha256":"4ca4233f8c6a2eadcd9cf3283c78fb066c41e080dd7a82c39f4bba2df7b8f2fe"},"schema_version":"1.0"},"canonical_sha256":"bbdc0262f291ccba01feaef7ebfe200ef4ed45943fc3ec1ac5b8f4af6584fe32","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:49:32.402241Z","signature_b64":"fDwrirKwxaQxc0zAgot6PjWY5fQYe0M/0GBaseifPJlOdLiVwaxRjXyUOclFZOjGnvcASxOcAcGAwMsjLUB6BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bbdc0262f291ccba01feaef7ebfe200ef4ed45943fc3ec1ac5b8f4af6584fe32","last_reissued_at":"2026-05-18T00:49:32.401684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:49:32.401684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.00149","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-18T00:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KGu/XYYDD5nSlMfYjS8sNqVcjDWigZ1n7v8gEi/DDFn7vKdNAOxnjMLXuJpcvkhvJfJnLgx0uceYWqOnIeorBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T23:52:15.348902Z"},"content_sha256":"879385050a6d141d34c8294558eccbfe854d3865b7a061cc0c71d607ebc2154e","schema_version":"1.0","event_id":"sha256:879385050a6d141d34c8294558eccbfe854d3865b7a061cc0c71d607ebc2154e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XPOAEYXSSHGLUAP6V336X7RAB3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A non-standard analysis of a cultural icon: The case of Paul Halmos","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA","math.LO"],"primary_cat":"math.HO","authors_text":"Alexandre Borovik, David Sherry, Mikhail G. Katz, Piotr Blaszczyk, Semen S. Kutateladze, Taras Kudryk, Vladimir Kanovei","submitted_at":"2016-07-01T08:27:09Z","abstract_excerpt":"We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is \"certainty\" and \"architecture\" yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to teach us the opposite lession, namely that t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.00149","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-18T00:49:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dBf60TQpJ+JjQ0ADKvQXoH++E5h8tAa15NR0S4DkApfB76uiuVGR4lpXblZSYLL2MDTYq1PLPHQu0ucJkBBRBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T23:52:15.349738Z"},"content_sha256":"b22c40e09b3f2ecb614763860a77a843be5eb2bf643f7a4d6cbce8621c3ad1fc","schema_version":"1.0","event_id":"sha256:b22c40e09b3f2ecb614763860a77a843be5eb2bf643f7a4d6cbce8621c3ad1fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XPOAEYXSSHGLUAP6V336X7RAB3/bundle.json","state_url":"https://pith.science/pith/XPOAEYXSSHGLUAP6V336X7RAB3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XPOAEYXSSHGLUAP6V336X7RAB3/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-05-30T23:52:15Z","links":{"resolver":"https://pith.science/pith/XPOAEYXSSHGLUAP6V336X7RAB3","bundle":"https://pith.science/pith/XPOAEYXSSHGLUAP6V336X7RAB3/bundle.json","state":"https://pith.science/pith/XPOAEYXSSHGLUAP6V336X7RAB3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XPOAEYXSSHGLUAP6V336X7RAB3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XPOAEYXSSHGLUAP6V336X7RAB3","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":"4ca4233f8c6a2eadcd9cf3283c78fb066c41e080dd7a82c39f4bba2df7b8f2fe","cross_cats_sorted":["math.FA","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-07-01T08:27:09Z","title_canon_sha256":"91bf4f25a6c35e96387f44f78d05ca528c8eacde7c507a30b1ad20d01f5af3fa"},"schema_version":"1.0","source":{"id":"1607.00149","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.00149","created_at":"2026-05-18T00:49:32Z"},{"alias_kind":"arxiv_version","alias_value":"1607.00149v1","created_at":"2026-05-18T00:49:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.00149","created_at":"2026-05-18T00:49:32Z"},{"alias_kind":"pith_short_12","alias_value":"XPOAEYXSSHGL","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XPOAEYXSSHGLUAP6","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XPOAEYXS","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:b22c40e09b3f2ecb614763860a77a843be5eb2bf643f7a4d6cbce8621c3ad1fc","target":"graph","created_at":"2026-05-18T00:49:32Z","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":"We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is \"certainty\" and \"architecture\" yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to teach us the opposite lession, namely that t","authors_text":"Alexandre Borovik, David Sherry, Mikhail G. Katz, Piotr Blaszczyk, Semen S. Kutateladze, Taras Kudryk, Vladimir Kanovei","cross_cats":["math.FA","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-07-01T08:27:09Z","title":"A non-standard analysis of a cultural icon: The case of Paul Halmos"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.00149","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:879385050a6d141d34c8294558eccbfe854d3865b7a061cc0c71d607ebc2154e","target":"record","created_at":"2026-05-18T00:49:32Z","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":"4ca4233f8c6a2eadcd9cf3283c78fb066c41e080dd7a82c39f4bba2df7b8f2fe","cross_cats_sorted":["math.FA","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-07-01T08:27:09Z","title_canon_sha256":"91bf4f25a6c35e96387f44f78d05ca528c8eacde7c507a30b1ad20d01f5af3fa"},"schema_version":"1.0","source":{"id":"1607.00149","kind":"arxiv","version":1}},"canonical_sha256":"bbdc0262f291ccba01feaef7ebfe200ef4ed45943fc3ec1ac5b8f4af6584fe32","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bbdc0262f291ccba01feaef7ebfe200ef4ed45943fc3ec1ac5b8f4af6584fe32","first_computed_at":"2026-05-18T00:49:32.401684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:32.401684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fDwrirKwxaQxc0zAgot6PjWY5fQYe0M/0GBaseifPJlOdLiVwaxRjXyUOclFZOjGnvcASxOcAcGAwMsjLUB6BA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:32.402241Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.00149","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:879385050a6d141d34c8294558eccbfe854d3865b7a061cc0c71d607ebc2154e","sha256:b22c40e09b3f2ecb614763860a77a843be5eb2bf643f7a4d6cbce8621c3ad1fc"],"state_sha256":"95e1a853e316f0c916e7d358f3caa5d18150ac8b677dc3b8b77d1edc461b682e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YAE98PopMTLOfF/pYzTLQMXJQYxPw3YABsPd2M9weSY3iTa73+k/8/inoHondBASeF2Mpe3bwKihYvuhmLDNDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T23:52:15.353899Z","bundle_sha256":"839d6c64e9bf4b6cf6d7d8c059d13d661c0b276b58ec8f6d491e9ac9142c4802"}}