{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XJL7535FVSPWI7GZPG72DBQXXQ","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":"7a7b33ae29ca562e42141681a5bcd92ba22950df2a6557adf5351e98dd72461f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:35:00Z","title_canon_sha256":"9f11659425bd318b1e4e74ee0e926c77a298b288e8215ffda8053ffee0738e77"},"schema_version":"1.0","source":{"id":"1811.02041","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02041","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02041v1","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02041","created_at":"2026-05-18T00:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"XJL7535FVSPW","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XJL7535FVSPWI7GZ","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XJL7535F","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:6979eb1dc8dc236164b5f075a44f407fee5d676305de2cf96fd9bfd30f6c5b73","target":"graph","created_at":"2026-05-18T00:01: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":"Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the basis for the theory of institutions (Goguen and Burstall). The satisfaction relation for first order languages (the truth classification), and the preservation of truth by first order interpretations (the truth infomorphism), form a key motivating example in the theory of Information Flow (IF) (Barwise and Seligman). The concept lattice notion, which is the central structure studied by the theory of Formal Concept Anal","authors_text":"Robert E. Kent","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:35:00Z","title":"Conceptua: Institutions in a Topos"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02041","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:7eb53c94ad030e404a945af04688a0495e5e051bcc63d6b7a7ceb7c20fd92ed3","target":"record","created_at":"2026-05-18T00:01: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":"7a7b33ae29ca562e42141681a5bcd92ba22950df2a6557adf5351e98dd72461f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-11-05T21:35:00Z","title_canon_sha256":"9f11659425bd318b1e4e74ee0e926c77a298b288e8215ffda8053ffee0738e77"},"schema_version":"1.0","source":{"id":"1811.02041","kind":"arxiv","version":1}},"canonical_sha256":"ba57feefa5ac9f647cd979bfa18617bc3b357f6123e7e96faf0196bd2aa6e722","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba57feefa5ac9f647cd979bfa18617bc3b357f6123e7e96faf0196bd2aa6e722","first_computed_at":"2026-05-18T00:01:32.476135Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:32.476135Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fiYJIoU+FYwZ72690lTLhHBtrPtkRGDebNkoQFODsfXill7CqhuscMNpcOVy+l+mLv470Ug9TYo0Ky/rSm4DBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:32.476603Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.02041","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7eb53c94ad030e404a945af04688a0495e5e051bcc63d6b7a7ceb7c20fd92ed3","sha256:6979eb1dc8dc236164b5f075a44f407fee5d676305de2cf96fd9bfd30f6c5b73"],"state_sha256":"854fc0bab7bbfab256fde62539aa06b23e298967af9c4f9a57d38443985b6f1d"}