{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:PJ34572XUYFLE7BTOCDEISXRQB","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":"1f1ab04bb03c6901ecdc25657dacb546bb2bdb9bd95ca4a67d6322fa11da4f01","cross_cats_sorted":["math.GN","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2013-11-19T10:25:08Z","title_canon_sha256":"9d54436334f03882107c0cd5b18698d8c22ef6c601895b429943e80208556dc0"},"schema_version":"1.0","source":{"id":"1311.4680","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.4680","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"arxiv_version","alias_value":"1311.4680v1","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.4680","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"pith_short_12","alias_value":"PJ34572XUYFL","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"PJ34572XUYFLE7BT","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"PJ34572X","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:e699bf401e1335aa06c1218f58fe767fa4d75d0f7a929f1e3a2b181f04456acb","target":"graph","created_at":"2026-05-18T03:06:43Z","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 generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries duality. For a compact Hausdorff space $X$ and a totally ordered algebra $A$, we introduce the concept of a finitely valued normal function $f:X\\to A$. We show that the operations of $A$ lift to the set $FN(X,A)$ of all finitely valued normal functions, and that there is a canonical proximity relation $\\prec$ on $FN(X,A)$. This gives rise to the de Vries powe","authors_text":"Bruce Olberding, Guram Bezhanishvili, Patrick J. Morandi, Vincenzo Marra","cross_cats":["math.GN","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2013-11-19T10:25:08Z","title":"De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.4680","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:0fc9661c3da6bc73d52792020c9a0851f05b3381163162d397c820f468ad2605","target":"record","created_at":"2026-05-18T03:06:43Z","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":"1f1ab04bb03c6901ecdc25657dacb546bb2bdb9bd95ca4a67d6322fa11da4f01","cross_cats_sorted":["math.GN","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2013-11-19T10:25:08Z","title_canon_sha256":"9d54436334f03882107c0cd5b18698d8c22ef6c601895b429943e80208556dc0"},"schema_version":"1.0","source":{"id":"1311.4680","kind":"arxiv","version":1}},"canonical_sha256":"7a77ceff57a60ab27c337086444af1806e10a3f05935b6662a2b75c357fd1313","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a77ceff57a60ab27c337086444af1806e10a3f05935b6662a2b75c357fd1313","first_computed_at":"2026-05-18T03:06:43.730554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:43.730554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mTv6oj1BQiplWEztZ127ml1Vg2DospZ7jsT1yDkvs40nweDY18oqLlhvMR2qYauc0bEYw4fcFheABvb0yeGuAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:43.731140Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.4680","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0fc9661c3da6bc73d52792020c9a0851f05b3381163162d397c820f468ad2605","sha256:e699bf401e1335aa06c1218f58fe767fa4d75d0f7a929f1e3a2b181f04456acb"],"state_sha256":"377594c2a2f797e54093e8ee98ff995bcab67de1bc81e027751c9f0b4503ff98"}