{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:K667VWYU7THBTYMK7A4VV7PA3C","short_pith_number":"pith:K667VWYU","canonical_record":{"source":{"id":"0905.3668","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-05-22T12:10:07Z","cross_cats_sorted":[],"title_canon_sha256":"512694080fdf9e26901f58cfe69278d26f3a14851800e8117c00413d66aad7bf","abstract_canon_sha256":"b103113bb91a3be0b284b673bbd2753e73a4c8ac751859b0ef82bde1f441f7fb"},"schema_version":"1.0"},"canonical_sha256":"57bdfadb14fcce19e18af8395afde0d8b6d6aecb0f5546baefabd0d73abc6e9e","source":{"kind":"arxiv","id":"0905.3668","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0905.3668","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0905.3668v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.3668","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"K667VWYU7THB","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"K667VWYU7THBTYMK","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"K667VWYU","created_at":"2026-05-18T12:26:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:K667VWYU7THBTYMK7A4VV7PA3C","target":"record","payload":{"canonical_record":{"source":{"id":"0905.3668","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-05-22T12:10:07Z","cross_cats_sorted":[],"title_canon_sha256":"512694080fdf9e26901f58cfe69278d26f3a14851800e8117c00413d66aad7bf","abstract_canon_sha256":"b103113bb91a3be0b284b673bbd2753e73a4c8ac751859b0ef82bde1f441f7fb"},"schema_version":"1.0"},"canonical_sha256":"57bdfadb14fcce19e18af8395afde0d8b6d6aecb0f5546baefabd0d73abc6e9e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:40.404511Z","signature_b64":"Ico1zQVLdmUiMSjqz899+XZqclYCURejNPNtndFxNzQQwUUQNNDdpwwburYvYfdru3xGW0G8ZfRP+FjcPQKnBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"57bdfadb14fcce19e18af8395afde0d8b6d6aecb0f5546baefabd0d73abc6e9e","last_reissued_at":"2026-05-18T01:37:40.403878Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:40.403878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0905.3668","source_version":2,"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-18T01:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VR90Hb6E9SIqAf38y5Fkn56iP1XpMnkcrf2YpE+8vOdg68KfYQNWKrAAWAb676S1GAfXFbSnoDGWV+uGHRSyDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T13:47:15.299781Z"},"content_sha256":"11bf56ded6dda48b9142de73b0685290b74a23d9190e29d9c1eafb5632935894","schema_version":"1.0","event_id":"sha256:11bf56ded6dda48b9142de73b0685290b74a23d9190e29d9c1eafb5632935894"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:K667VWYU7THBTYMK7A4VV7PA3C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lindstrom theorems for fragments of first-order logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Balder ten Cate, Johan van Benthem, Jouko Vaananen","submitted_at":"2009-05-22T12:10:07Z","abstract_excerpt":"Lindstr\\\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\\\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are fragments or extensions of fragments of first-order logic, e.g., k-variable logics and various modal logics. Finding Lindstr\\\"om theorems for these languages can be challenging, as most known techniques rely on coding arguments that seem to require the full expressive power of first-order logic. In this pape"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.3668","kind":"arxiv","version":2},"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-18T01:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1MJldN2RQpMQjpgQfRFJk77rJEYAr+X0legp+JR/mGQbaA1Lq3uZffuNQc4dvNBETSDIj9jjB6VXNyg3i1fkDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T13:47:15.300122Z"},"content_sha256":"a452be6a8523a1966c4a216e5f87b545c3c07c98b09ebe1a8eb6b40d87f40631","schema_version":"1.0","event_id":"sha256:a452be6a8523a1966c4a216e5f87b545c3c07c98b09ebe1a8eb6b40d87f40631"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K667VWYU7THBTYMK7A4VV7PA3C/bundle.json","state_url":"https://pith.science/pith/K667VWYU7THBTYMK7A4VV7PA3C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K667VWYU7THBTYMK7A4VV7PA3C/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-24T13:47:15Z","links":{"resolver":"https://pith.science/pith/K667VWYU7THBTYMK7A4VV7PA3C","bundle":"https://pith.science/pith/K667VWYU7THBTYMK7A4VV7PA3C/bundle.json","state":"https://pith.science/pith/K667VWYU7THBTYMK7A4VV7PA3C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K667VWYU7THBTYMK7A4VV7PA3C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:K667VWYU7THBTYMK7A4VV7PA3C","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":"b103113bb91a3be0b284b673bbd2753e73a4c8ac751859b0ef82bde1f441f7fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-05-22T12:10:07Z","title_canon_sha256":"512694080fdf9e26901f58cfe69278d26f3a14851800e8117c00413d66aad7bf"},"schema_version":"1.0","source":{"id":"0905.3668","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0905.3668","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"0905.3668v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.3668","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"K667VWYU7THB","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_16","alias_value":"K667VWYU7THBTYMK","created_at":"2026-05-18T12:26:00Z"},{"alias_kind":"pith_short_8","alias_value":"K667VWYU","created_at":"2026-05-18T12:26:00Z"}],"graph_snapshots":[{"event_id":"sha256:a452be6a8523a1966c4a216e5f87b545c3c07c98b09ebe1a8eb6b40d87f40631","target":"graph","created_at":"2026-05-18T01:37:40Z","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":"Lindstr\\\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\\\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are fragments or extensions of fragments of first-order logic, e.g., k-variable logics and various modal logics. Finding Lindstr\\\"om theorems for these languages can be challenging, as most known techniques rely on coding arguments that seem to require the full expressive power of first-order logic. In this pape","authors_text":"Balder ten Cate, Johan van Benthem, Jouko Vaananen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-05-22T12:10:07Z","title":"Lindstrom theorems for fragments of first-order logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.3668","kind":"arxiv","version":2},"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:11bf56ded6dda48b9142de73b0685290b74a23d9190e29d9c1eafb5632935894","target":"record","created_at":"2026-05-18T01:37:40Z","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":"b103113bb91a3be0b284b673bbd2753e73a4c8ac751859b0ef82bde1f441f7fb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2009-05-22T12:10:07Z","title_canon_sha256":"512694080fdf9e26901f58cfe69278d26f3a14851800e8117c00413d66aad7bf"},"schema_version":"1.0","source":{"id":"0905.3668","kind":"arxiv","version":2}},"canonical_sha256":"57bdfadb14fcce19e18af8395afde0d8b6d6aecb0f5546baefabd0d73abc6e9e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"57bdfadb14fcce19e18af8395afde0d8b6d6aecb0f5546baefabd0d73abc6e9e","first_computed_at":"2026-05-18T01:37:40.403878Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:40.403878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ico1zQVLdmUiMSjqz899+XZqclYCURejNPNtndFxNzQQwUUQNNDdpwwburYvYfdru3xGW0G8ZfRP+FjcPQKnBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:40.404511Z","signed_message":"canonical_sha256_bytes"},"source_id":"0905.3668","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11bf56ded6dda48b9142de73b0685290b74a23d9190e29d9c1eafb5632935894","sha256:a452be6a8523a1966c4a216e5f87b545c3c07c98b09ebe1a8eb6b40d87f40631"],"state_sha256":"20ab41b0ee8b377f1490efe7a0f53c82ec1b14ecab3d4676bb8592564dfe8578"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kbsonCvSNWnr/cMhbNKGjOi/oDP4pkvXLC1XMzwjcHwx2DWUq2hqcDnPrWMU8X5Gi4oKw37XmJcDknYF4YnWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T13:47:15.302014Z","bundle_sha256":"9ef4806a055b8c529c3e4a3bea0d7adf4ecb2484575242a777d9d4e187b7a6ea"}}