{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2DBOUJHAYY5U34SV47U6BD7ONR","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":"d3d9d2bed4388f64ae24f4b116f2b55043367738b558d983ccec068d712e8d5a","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-08-06T23:35:41Z","title_canon_sha256":"fd62c036315750d329dc3e772f9b03565a9dc57213152216ad21363e5461c83d"},"schema_version":"1.0","source":{"id":"1508.01568","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.01568","created_at":"2026-05-18T01:35:39Z"},{"alias_kind":"arxiv_version","alias_value":"1508.01568v1","created_at":"2026-05-18T01:35:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.01568","created_at":"2026-05-18T01:35:39Z"},{"alias_kind":"pith_short_12","alias_value":"2DBOUJHAYY5U","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"2DBOUJHAYY5U34SV","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"2DBOUJHA","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:0ee01976c2e34be93456f607b211082229628a42bfbcf732d00adfc2da621096","target":"graph","created_at":"2026-05-18T01:35: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":"We study the basic Galois connection induced by the \"satisfaction\" relation between external operations $A^n\\rightarrow B$ defined on a set $A$ and valued in a possibly different set $B$ on the one hand, and ordered pairs $(R,S)$ of relations $R\\subseteq A^m$ and $S\\subseteq B^m$, called relational constraints, on the other hand. We decompose the closure maps associated with this Galois connection, in terms of closure operators corresponding to simple closure conditions describing the corresponding Galois closed sets of functions and constraints. We consider further Galois correspondences by r","authors_text":"Miguel Couceiro","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-08-06T23:35:41Z","title":"On Galois Connections between External Operations and Relational Constraints: Arity Restrictions and Operator Decompositions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.01568","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:295bd38c6d718a741fe33f8b9728f8cebc637f047c19f94d1c29a356675f2d97","target":"record","created_at":"2026-05-18T01:35: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":"d3d9d2bed4388f64ae24f4b116f2b55043367738b558d983ccec068d712e8d5a","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2015-08-06T23:35:41Z","title_canon_sha256":"fd62c036315750d329dc3e772f9b03565a9dc57213152216ad21363e5461c83d"},"schema_version":"1.0","source":{"id":"1508.01568","kind":"arxiv","version":1}},"canonical_sha256":"d0c2ea24e0c63b4df255e7e9e08fee6c5e366cbe6840047fdc43edb806161f0e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0c2ea24e0c63b4df255e7e9e08fee6c5e366cbe6840047fdc43edb806161f0e","first_computed_at":"2026-05-18T01:35:39.376951Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:39.376951Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tdc0vUWQ0CLT11dDp+ONOz05eRBPrG8FT7D8kL9AtBVkE8tZWf5nRNowUOe9BXxK/ZgyeFRQ8uTwBCggxJObDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:39.377642Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.01568","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:295bd38c6d718a741fe33f8b9728f8cebc637f047c19f94d1c29a356675f2d97","sha256:0ee01976c2e34be93456f607b211082229628a42bfbcf732d00adfc2da621096"],"state_sha256":"526cdd64f861497024aa21313119b32071afc3e635dc79be595a3b0f59dad40b"}