{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:D3665R6SYCBKTYFDM2DRSPI5GE","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":"67e75e2fb4a19a3cdad21f1160bbc97b9df47718ddc58fa8a689582b4744d0e6","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-06T00:42:54Z","title_canon_sha256":"02a47fe2360b02ee35673f4bc4e4564b64b42a44b054bfed192bae86b6e22849"},"schema_version":"1.0","source":{"id":"1710.02246","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.02246","created_at":"2026-07-04T23:51:17Z"},{"alias_kind":"arxiv_version","alias_value":"1710.02246v2","created_at":"2026-07-04T23:51:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.02246","created_at":"2026-07-04T23:51:17Z"},{"alias_kind":"pith_short_12","alias_value":"D3665R6SYCBK","created_at":"2026-07-04T23:51:17Z"},{"alias_kind":"pith_short_16","alias_value":"D3665R6SYCBKTYFD","created_at":"2026-07-04T23:51:17Z"},{"alias_kind":"pith_short_8","alias_value":"D3665R6S","created_at":"2026-07-04T23:51:17Z"}],"graph_snapshots":[{"event_id":"sha256:0e0320b1c755b949174e90448ce80e9aea7eea6183c5b57a16bfdc65b0a8b345","target":"graph","created_at":"2026-07-04T23:51:17Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1710.02246/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove a strong conceptual completeness theorem (in the sense of Makkai) for the infinitary logic $\\mathcal L_{\\omega_1\\omega}$: every countable $\\mathcal L_{\\omega_1\\omega}$-theory can be canonically recovered from its standard Borel groupoid of countable models, up to a suitable syntactical notion of equivalence. This implies that given two theories $(\\mathcal L, \\mathcal T)$ and $(\\mathcal L', \\mathcal T')$ (in possibly different languages $\\mathcal L, \\mathcal L'$), every Borel functor $\\mathsf{Mod}(\\mathcal L', \\mathcal T') \\to \\mathsf{Mod}(\\mathcal L, \\mathcal T)$ between the respectiv","authors_text":"Ruiyuan Chen","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-06T00:42:54Z","title":"Borel functors, interpretations, and strong conceptual completeness for $\\mathcal L_{\\omega_1\\omega}$"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.02246","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:c4c1e4908e1cf2b28152bb996933cc01c65e58ac92614da9aa9d6a075f29e5a4","target":"record","created_at":"2026-07-04T23:51:17Z","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":"67e75e2fb4a19a3cdad21f1160bbc97b9df47718ddc58fa8a689582b4744d0e6","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-10-06T00:42:54Z","title_canon_sha256":"02a47fe2360b02ee35673f4bc4e4564b64b42a44b054bfed192bae86b6e22849"},"schema_version":"1.0","source":{"id":"1710.02246","kind":"arxiv","version":2}},"canonical_sha256":"1efdeec7d2c082a9e0a36687193d1d3131f830541ca9eb5f013bd9919ac253f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1efdeec7d2c082a9e0a36687193d1d3131f830541ca9eb5f013bd9919ac253f2","first_computed_at":"2026-07-04T23:51:17.250409Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:51:17.250409Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Aegq/akinH8Ukvf033A4tLAlJTeBO7bAEQ29Ylu/ZuQQT8cSUh0763cVi1inETAp3EkdtwE/6PqCQu7frujvAw==","signature_status":"signed_v1","signed_at":"2026-07-04T23:51:17.250790Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.02246","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4c1e4908e1cf2b28152bb996933cc01c65e58ac92614da9aa9d6a075f29e5a4","sha256:0e0320b1c755b949174e90448ce80e9aea7eea6183c5b57a16bfdc65b0a8b345"],"state_sha256":"71eac4e32d496771533b97320b5d546c519805817a2ef4f58d9003685259839f"}