{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:F7QRLYHRLWXXGM4UX2TW2SK44F","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":"95bae277f85647708c5567016a64b819b543bc5714ee5380aa29c025d3685332","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-02-18T16:52:40Z","title_canon_sha256":"5eef380295a5ce6f8c532d2d6721e4f5eee09838760c9e241575a4b690cd3818"},"schema_version":"1.0","source":{"id":"1302.4350","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4350","created_at":"2026-05-18T03:20:48Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4350v2","created_at":"2026-05-18T03:20:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4350","created_at":"2026-05-18T03:20:48Z"},{"alias_kind":"pith_short_12","alias_value":"F7QRLYHRLWXX","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"F7QRLYHRLWXXGM4U","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"F7QRLYHR","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:fde533b4e85eb47cd7fa18dc1452a8f3500d485b290ddb7c4f1bebd479478a25","target":"graph","created_at":"2026-05-18T03:20:48Z","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 present new preservation theorems that semantically characterize the $\\exists^k \\forall^*$ and $\\forall^k \\exists^*$ prefix classes of first order logic, for each natural number $k$. Unlike preservation theorems in the literature that characterize the $\\exists^* \\forall^*$ and $\\forall^* \\exists^*$ prefix classes, our theorems relate the count of quantifiers in the leading block of the quantifier prefix to natural quantitative properties of the models. As special cases of our results, we obtain the classical Los-Tarski preservation theorem for sentences in both its extensional and substruct","authors_text":"Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-02-18T16:52:40Z","title":"Generalizations of the Los-Tarski Preservation Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4350","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:28e6886a9a612fb915c9a1b85892d69a7f5b6af8b294f26dc1fa7313dc2d1e0e","target":"record","created_at":"2026-05-18T03:20:48Z","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":"95bae277f85647708c5567016a64b819b543bc5714ee5380aa29c025d3685332","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-02-18T16:52:40Z","title_canon_sha256":"5eef380295a5ce6f8c532d2d6721e4f5eee09838760c9e241575a4b690cd3818"},"schema_version":"1.0","source":{"id":"1302.4350","kind":"arxiv","version":2}},"canonical_sha256":"2fe115e0f15daf733394bea76d495ce14516a023aa60d171567b9441de5adc7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fe115e0f15daf733394bea76d495ce14516a023aa60d171567b9441de5adc7f","first_computed_at":"2026-05-18T03:20:48.103198Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:20:48.103198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JMlxtq4yu/RLjHLghwgjTkpdets35H4aE6kd0S291E9RoFG8+1J5vdilO/g8yYftM05aT4w5jJwmGXamy5M7Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:20:48.104019Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4350","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28e6886a9a612fb915c9a1b85892d69a7f5b6af8b294f26dc1fa7313dc2d1e0e","sha256:fde533b4e85eb47cd7fa18dc1452a8f3500d485b290ddb7c4f1bebd479478a25"],"state_sha256":"04682c1092287d65ab965d1fe4b657e7340547f253888ff383eaee23f653a775"}