{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:56NPKJ34JLYW3ZKBN3IPAYYPPW","short_pith_number":"pith:56NPKJ34","canonical_record":{"source":{"id":"1804.04303","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-04-12T03:40:45Z","cross_cats_sorted":[],"title_canon_sha256":"2c50123de3aa8ddeb6be435a79626e15305981b59b2bb7461fce87c84c064fc1","abstract_canon_sha256":"fe82689287c857390423a193eb693c566694f865516001a18766e1b375f029e6"},"schema_version":"1.0"},"canonical_sha256":"ef9af5277c4af16de5416ed0f0630f7db8a8a24eea1a3f596f2c95b7326de554","source":{"kind":"arxiv","id":"1804.04303","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.04303","created_at":"2026-05-18T00:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"1804.04303v1","created_at":"2026-05-18T00:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.04303","created_at":"2026-05-18T00:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"56NPKJ34JLYW","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"56NPKJ34JLYW3ZKB","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"56NPKJ34","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:56NPKJ34JLYW3ZKBN3IPAYYPPW","target":"record","payload":{"canonical_record":{"source":{"id":"1804.04303","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-04-12T03:40:45Z","cross_cats_sorted":[],"title_canon_sha256":"2c50123de3aa8ddeb6be435a79626e15305981b59b2bb7461fce87c84c064fc1","abstract_canon_sha256":"fe82689287c857390423a193eb693c566694f865516001a18766e1b375f029e6"},"schema_version":"1.0"},"canonical_sha256":"ef9af5277c4af16de5416ed0f0630f7db8a8a24eea1a3f596f2c95b7326de554","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:39.960052Z","signature_b64":"FqLz5jB0Mjrai8tGMxczddMpskWKcgdS2MJR5w6VJoJuuulqhcPM8Ydu9U5VJZ9Hhp6S+a/ftQY1VshtcKu+DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef9af5277c4af16de5416ed0f0630f7db8a8a24eea1a3f596f2c95b7326de554","last_reissued_at":"2026-05-18T00:18:39.959212Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:39.959212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.04303","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:18:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HrycK0bVpNsMxowsm1kGuOtt3tcMDNl4pH41arXXW79zO4wFuMwumYvi/Exv+o5R5aBvIT1iOOf4zZVgJaZgAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T04:02:31.008609Z"},"content_sha256":"8ffaf4fdf704212762985c2bdd257a0815587a32f8dd196b4fa89fd125deecc9","schema_version":"1.0","event_id":"sha256:8ffaf4fdf704212762985c2bdd257a0815587a32f8dd196b4fa89fd125deecc9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:56NPKJ34JLYW3ZKBN3IPAYYPPW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"De Vries duality for normal spaces and locally compact Hausdorff spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GN","authors_text":"Bruce Olberding, Guram Bezhanishvili, Patrick J. Morandi","submitted_at":"2018-04-12T03:40:45Z","abstract_excerpt":"By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras to de Vries extensions. To illustrate the utility of this point of view, we show how to use this new duality to obtain algebraic counterparts of normal and locally compact Hausdorff spaces in the form of de Vries extensions that are subject to additional axioms which encode the desired topological property. This, in particular, yields a different perspectiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.04303","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:18:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PYcjgbwXeVLYNQDEtOyE5TDloMfObPkQ+onwjgA26y7Kth4eKDdELX44f837pHwZcLV7h7VLUdQfLmITEjARDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T04:02:31.009163Z"},"content_sha256":"2b3240683c8d959372e06c418f4e0d3490e14d74dc85dcf35a2563941cb53254","schema_version":"1.0","event_id":"sha256:2b3240683c8d959372e06c418f4e0d3490e14d74dc85dcf35a2563941cb53254"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW/bundle.json","state_url":"https://pith.science/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW/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-31T04:02:31Z","links":{"resolver":"https://pith.science/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW","bundle":"https://pith.science/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW/bundle.json","state":"https://pith.science/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/56NPKJ34JLYW3ZKBN3IPAYYPPW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:56NPKJ34JLYW3ZKBN3IPAYYPPW","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":"fe82689287c857390423a193eb693c566694f865516001a18766e1b375f029e6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-04-12T03:40:45Z","title_canon_sha256":"2c50123de3aa8ddeb6be435a79626e15305981b59b2bb7461fce87c84c064fc1"},"schema_version":"1.0","source":{"id":"1804.04303","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.04303","created_at":"2026-05-18T00:18:39Z"},{"alias_kind":"arxiv_version","alias_value":"1804.04303v1","created_at":"2026-05-18T00:18:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.04303","created_at":"2026-05-18T00:18:39Z"},{"alias_kind":"pith_short_12","alias_value":"56NPKJ34JLYW","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"56NPKJ34JLYW3ZKB","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"56NPKJ34","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:2b3240683c8d959372e06c418f4e0d3490e14d74dc85dcf35a2563941cb53254","target":"graph","created_at":"2026-05-18T00:18:39Z","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":"By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras to de Vries extensions. To illustrate the utility of this point of view, we show how to use this new duality to obtain algebraic counterparts of normal and locally compact Hausdorff spaces in the form of de Vries extensions that are subject to additional axioms which encode the desired topological property. This, in particular, yields a different perspectiv","authors_text":"Bruce Olberding, Guram Bezhanishvili, Patrick J. Morandi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-04-12T03:40:45Z","title":"De Vries duality for normal spaces and locally compact Hausdorff spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.04303","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:8ffaf4fdf704212762985c2bdd257a0815587a32f8dd196b4fa89fd125deecc9","target":"record","created_at":"2026-05-18T00:18:39Z","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":"fe82689287c857390423a193eb693c566694f865516001a18766e1b375f029e6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2018-04-12T03:40:45Z","title_canon_sha256":"2c50123de3aa8ddeb6be435a79626e15305981b59b2bb7461fce87c84c064fc1"},"schema_version":"1.0","source":{"id":"1804.04303","kind":"arxiv","version":1}},"canonical_sha256":"ef9af5277c4af16de5416ed0f0630f7db8a8a24eea1a3f596f2c95b7326de554","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef9af5277c4af16de5416ed0f0630f7db8a8a24eea1a3f596f2c95b7326de554","first_computed_at":"2026-05-18T00:18:39.959212Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:39.959212Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FqLz5jB0Mjrai8tGMxczddMpskWKcgdS2MJR5w6VJoJuuulqhcPM8Ydu9U5VJZ9Hhp6S+a/ftQY1VshtcKu+DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:39.960052Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.04303","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ffaf4fdf704212762985c2bdd257a0815587a32f8dd196b4fa89fd125deecc9","sha256:2b3240683c8d959372e06c418f4e0d3490e14d74dc85dcf35a2563941cb53254"],"state_sha256":"05ed2a39bdf1110d408e437fd806ffe3059cc21fb122ec44c29c6eede59b44e5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AcsrdNQCGyKmWgvw04QpVFvxVfaaV+adtxW1Q0+tIE4DTP+qMyYfWJlHuIqNoe2XQq0pB0KxWNewIi3ouGBZAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T04:02:31.011868Z","bundle_sha256":"5e1a12b332f0283489de69930d9a8d75a2ba4bf00e3eb2f9aa80054d038b2e44"}}