{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:L5NBAOOM4ZK4QOTZTW37GH6EES","short_pith_number":"pith:L5NBAOOM","canonical_record":{"source":{"id":"1112.0923","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-05T13:54:00Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"d7d9bdeb694dea436cf21b300d793c74d9fbdc438a0f323b77a119aaaace81db","abstract_canon_sha256":"bfd388e050a1cfa6756dadae6d0c019f160c9fffb29bca071d586a6b7230d138"},"schema_version":"1.0"},"canonical_sha256":"5f5a1039cce655c83a799db7f31fc424a4d04e3df6b14167a34a343b1af918ea","source":{"kind":"arxiv","id":"1112.0923","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.0923","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"arxiv_version","alias_value":"1112.0923v1","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.0923","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"pith_short_12","alias_value":"L5NBAOOM4ZK4","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"L5NBAOOM4ZK4QOTZ","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"L5NBAOOM","created_at":"2026-05-18T12:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:L5NBAOOM4ZK4QOTZTW37GH6EES","target":"record","payload":{"canonical_record":{"source":{"id":"1112.0923","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-05T13:54:00Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"d7d9bdeb694dea436cf21b300d793c74d9fbdc438a0f323b77a119aaaace81db","abstract_canon_sha256":"bfd388e050a1cfa6756dadae6d0c019f160c9fffb29bca071d586a6b7230d138"},"schema_version":"1.0"},"canonical_sha256":"5f5a1039cce655c83a799db7f31fc424a4d04e3df6b14167a34a343b1af918ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:24:54.413077Z","signature_b64":"YIxOXAFBnRS0xi53C9u+GLhLe3P5sPq61cPs+Br4AOlEJnnfAo4zSNl+qzvaHcWMvxG/mJt6mH+nPjjIbFpECw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f5a1039cce655c83a799db7f31fc424a4d04e3df6b14167a34a343b1af918ea","last_reissued_at":"2026-05-18T03:24:54.412404Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:24:54.412404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1112.0923","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-18T03:24:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OBwfO14OzwtH9g1Ot517Sckr1oI751dRdkRXAOEnmYjPpYBG49QDHobNImTXSCNm4SoV7qX3HshFjxy4L2hbDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:57:49.551004Z"},"content_sha256":"7c2d46917f1a0bb88e4e37f0300b839af7223d7b7c1af0c19f36f9c6db0ca6ef","schema_version":"1.0","event_id":"sha256:7c2d46917f1a0bb88e4e37f0300b839af7223d7b7c1af0c19f36f9c6db0ca6ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:L5NBAOOM4ZK4QOTZTW37GH6EES","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Murdoch J. Gabbay","submitted_at":"2011-12-05T13:54:00Z","abstract_excerpt":"By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal models, so the construction hinges on generating from an instance of the latter, some instance of the former in which sufficiently many inequalities are preserved between elements. We do this using an infinite generalisation of nominal atoms-abstraction.\n  The results are of interest in their own right, but also, we factor the mathematics so as to maximise the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.0923","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-18T03:24:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OsuhEulpQ9skWB+1tRKn9xLTUS1SUBofxpKTpFOutlmkOOsgo6NHyLbDxP7fptd9LR1J8ufrSY/HQH+7EFIbAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:57:49.551364Z"},"content_sha256":"e6c418cab8f8afa97244d9172fad818943a55b8e1087fa11f92d3d84e1d9a6a5","schema_version":"1.0","event_id":"sha256:e6c418cab8f8afa97244d9172fad818943a55b8e1087fa11f92d3d84e1d9a6a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L5NBAOOM4ZK4QOTZTW37GH6EES/bundle.json","state_url":"https://pith.science/pith/L5NBAOOM4ZK4QOTZTW37GH6EES/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L5NBAOOM4ZK4QOTZTW37GH6EES/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-06-05T12:57:49Z","links":{"resolver":"https://pith.science/pith/L5NBAOOM4ZK4QOTZTW37GH6EES","bundle":"https://pith.science/pith/L5NBAOOM4ZK4QOTZTW37GH6EES/bundle.json","state":"https://pith.science/pith/L5NBAOOM4ZK4QOTZTW37GH6EES/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L5NBAOOM4ZK4QOTZTW37GH6EES/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:L5NBAOOM4ZK4QOTZTW37GH6EES","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":"bfd388e050a1cfa6756dadae6d0c019f160c9fffb29bca071d586a6b7230d138","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-05T13:54:00Z","title_canon_sha256":"d7d9bdeb694dea436cf21b300d793c74d9fbdc438a0f323b77a119aaaace81db"},"schema_version":"1.0","source":{"id":"1112.0923","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.0923","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"arxiv_version","alias_value":"1112.0923v1","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.0923","created_at":"2026-05-18T03:24:54Z"},{"alias_kind":"pith_short_12","alias_value":"L5NBAOOM4ZK4","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"L5NBAOOM4ZK4QOTZ","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"L5NBAOOM","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:e6c418cab8f8afa97244d9172fad818943a55b8e1087fa11f92d3d84e1d9a6a5","target":"graph","created_at":"2026-05-18T03:24:54Z","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 operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal models, so the construction hinges on generating from an instance of the latter, some instance of the former in which sufficiently many inequalities are preserved between elements. We do this using an infinite generalisation of nominal atoms-abstraction.\n  The results are of interest in their own right, but also, we factor the mathematics so as to maximise the ","authors_text":"Murdoch J. Gabbay","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-05T13:54:00Z","title":"Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.0923","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:7c2d46917f1a0bb88e4e37f0300b839af7223d7b7c1af0c19f36f9c6db0ca6ef","target":"record","created_at":"2026-05-18T03:24:54Z","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":"bfd388e050a1cfa6756dadae6d0c019f160c9fffb29bca071d586a6b7230d138","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-05T13:54:00Z","title_canon_sha256":"d7d9bdeb694dea436cf21b300d793c74d9fbdc438a0f323b77a119aaaace81db"},"schema_version":"1.0","source":{"id":"1112.0923","kind":"arxiv","version":1}},"canonical_sha256":"5f5a1039cce655c83a799db7f31fc424a4d04e3df6b14167a34a343b1af918ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f5a1039cce655c83a799db7f31fc424a4d04e3df6b14167a34a343b1af918ea","first_computed_at":"2026-05-18T03:24:54.412404Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:24:54.412404Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YIxOXAFBnRS0xi53C9u+GLhLe3P5sPq61cPs+Br4AOlEJnnfAo4zSNl+qzvaHcWMvxG/mJt6mH+nPjjIbFpECw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:24:54.413077Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.0923","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c2d46917f1a0bb88e4e37f0300b839af7223d7b7c1af0c19f36f9c6db0ca6ef","sha256:e6c418cab8f8afa97244d9172fad818943a55b8e1087fa11f92d3d84e1d9a6a5"],"state_sha256":"0c44f3cca098bfff601a3025ff713cdf657039f45021f0f377302908ef38b30e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hjsCtUZiNhi1rdt0tLmWoI3rlgGIwWlBXryNRn+md3ybR1PASGve5mTCDAlmyMgv3eCS+EmqvxF4i97kSXb1AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:57:49.553336Z","bundle_sha256":"f40c7c26e947ebafcfd721d5cfaf35d0882facd54e34d4a12c975b8c3eb9c2ed"}}