{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:F2DNPBORQOPVDLR4THYLYLHLVP","short_pith_number":"pith:F2DNPBOR","schema_version":"1.0","canonical_sha256":"2e86d785d1839f51ae3c99f0bc2cebabf113f5898c67d7f363a51849c28356a8","source":{"kind":"arxiv","id":"1709.05817","version":1},"attestation_state":"computed","paper":{"title":"Constructive completeness and non-discrete languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Christian Esp\\'indola, Henrik Forssell","submitted_at":"2017-09-18T08:40:48Z","abstract_excerpt":"We give an analysis and generalizations of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics. The purpose is in no small part conceptual and organizational: from a few basic ingredients arises a more unified picture connecting constructive completeness with respect to Tarski semantics, to the extent that it is available, with various completeness theorems in terms of presheaf and sheaf semantics (and thus with Kripke and Beth semantics). From this picture are obtained both (\"reverse mathematical\") equivalence results and new"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1709.05817","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-09-18T08:40:48Z","cross_cats_sorted":[],"title_canon_sha256":"e3747707b2fda96084780fe740ec51e360076c0f898c0dd1931f363296b3a07b","abstract_canon_sha256":"7b9561824ab2678552256d0e3db45e5f5a7c4985f9f1288d3abc06cc08fb6d91"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:59.288846Z","signature_b64":"w5/e9p6FGdUSVeyx/+Vd6Hmkouc+fx6rF64e57ivlyXSQREi5E7sb+nRQCA37Jn85Zw7mQxXY+SsRyKPUPd3Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e86d785d1839f51ae3c99f0bc2cebabf113f5898c67d7f363a51849c28356a8","last_reissued_at":"2026-05-18T00:34:59.288278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:59.288278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Constructive completeness and non-discrete languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Christian Esp\\'indola, Henrik Forssell","submitted_at":"2017-09-18T08:40:48Z","abstract_excerpt":"We give an analysis and generalizations of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics. The purpose is in no small part conceptual and organizational: from a few basic ingredients arises a more unified picture connecting constructive completeness with respect to Tarski semantics, to the extent that it is available, with various completeness theorems in terms of presheaf and sheaf semantics (and thus with Kripke and Beth semantics). From this picture are obtained both (\"reverse mathematical\") equivalence results and new"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.05817","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.05817","created_at":"2026-05-18T00:34:59.288397+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.05817v1","created_at":"2026-05-18T00:34:59.288397+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.05817","created_at":"2026-05-18T00:34:59.288397+00:00"},{"alias_kind":"pith_short_12","alias_value":"F2DNPBORQOPV","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_16","alias_value":"F2DNPBORQOPVDLR4","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_8","alias_value":"F2DNPBOR","created_at":"2026-05-18T12:31:12.930513+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP","json":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP.json","graph_json":"https://pith.science/api/pith-number/F2DNPBORQOPVDLR4THYLYLHLVP/graph.json","events_json":"https://pith.science/api/pith-number/F2DNPBORQOPVDLR4THYLYLHLVP/events.json","paper":"https://pith.science/paper/F2DNPBOR"},"agent_actions":{"view_html":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP","download_json":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP.json","view_paper":"https://pith.science/paper/F2DNPBOR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.05817&json=true","fetch_graph":"https://pith.science/api/pith-number/F2DNPBORQOPVDLR4THYLYLHLVP/graph.json","fetch_events":"https://pith.science/api/pith-number/F2DNPBORQOPVDLR4THYLYLHLVP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP/action/storage_attestation","attest_author":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP/action/author_attestation","sign_citation":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP/action/citation_signature","submit_replication":"https://pith.science/pith/F2DNPBORQOPVDLR4THYLYLHLVP/action/replication_record"}},"created_at":"2026-05-18T00:34:59.288397+00:00","updated_at":"2026-05-18T00:34:59.288397+00:00"}