{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:MLALNXOS5VWJ3BCHJCZHIHHOSP","short_pith_number":"pith:MLALNXOS","schema_version":"1.0","canonical_sha256":"62c0b6ddd2ed6c9d844748b2741cee93cfef71ddfa0a8597189c4c00c9c7f155","source":{"kind":"arxiv","id":"1309.0389","version":1},"attestation_state":"computed","paper":{"title":"Godel's Completeness Theorem and Deligne's Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.LO","authors_text":"Benjamin Frot","submitted_at":"2013-09-02T12:51:39Z","abstract_excerpt":"These notes were written for a presentation given at the university Paris VII in January 2012. The goal was to explain a proof of a famous theorem by P. Deligne about coherent topoi (coherent topoi have enough points) and to show how this theorem is equivalent to G\\\"odel's completeness theorem for first order logic. Because it was not possible to cover everything in only three hours, the focus was on Barr's and Deligne's theorems. This explains why the corresponding sections have been given more attention. Section 1 and the Appendix were added in an attempt to make this document self-contained"},"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":"1309.0389","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-09-02T12:51:39Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"c5bddccb30362f305133f93f28d704b09c47fd0ca14ee95b079a2ca0e7d35142","abstract_canon_sha256":"9b907c3270b0a59e007b646597c23d8f30c38cde124858f216743b7670f840b7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:14:27.410559Z","signature_b64":"y9gu9fM9j73TCqE335y4bkOHMubMF+U6/5QCGAfCz1GFyz6DHbNn/QjXhA0nfhYYHKQvNC9K63N4gblrIoG5BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62c0b6ddd2ed6c9d844748b2741cee93cfef71ddfa0a8597189c4c00c9c7f155","last_reissued_at":"2026-05-18T03:14:27.409929Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:14:27.409929Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Godel's Completeness Theorem and Deligne's Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.LO","authors_text":"Benjamin Frot","submitted_at":"2013-09-02T12:51:39Z","abstract_excerpt":"These notes were written for a presentation given at the university Paris VII in January 2012. The goal was to explain a proof of a famous theorem by P. Deligne about coherent topoi (coherent topoi have enough points) and to show how this theorem is equivalent to G\\\"odel's completeness theorem for first order logic. Because it was not possible to cover everything in only three hours, the focus was on Barr's and Deligne's theorems. This explains why the corresponding sections have been given more attention. Section 1 and the Appendix were added in an attempt to make this document self-contained"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.0389","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":"1309.0389","created_at":"2026-05-18T03:14:27.410052+00:00"},{"alias_kind":"arxiv_version","alias_value":"1309.0389v1","created_at":"2026-05-18T03:14:27.410052+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.0389","created_at":"2026-05-18T03:14:27.410052+00:00"},{"alias_kind":"pith_short_12","alias_value":"MLALNXOS5VWJ","created_at":"2026-05-18T12:27:52.871228+00:00"},{"alias_kind":"pith_short_16","alias_value":"MLALNXOS5VWJ3BCH","created_at":"2026-05-18T12:27:52.871228+00:00"},{"alias_kind":"pith_short_8","alias_value":"MLALNXOS","created_at":"2026-05-18T12:27:52.871228+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/MLALNXOS5VWJ3BCHJCZHIHHOSP","json":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP.json","graph_json":"https://pith.science/api/pith-number/MLALNXOS5VWJ3BCHJCZHIHHOSP/graph.json","events_json":"https://pith.science/api/pith-number/MLALNXOS5VWJ3BCHJCZHIHHOSP/events.json","paper":"https://pith.science/paper/MLALNXOS"},"agent_actions":{"view_html":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP","download_json":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP.json","view_paper":"https://pith.science/paper/MLALNXOS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1309.0389&json=true","fetch_graph":"https://pith.science/api/pith-number/MLALNXOS5VWJ3BCHJCZHIHHOSP/graph.json","fetch_events":"https://pith.science/api/pith-number/MLALNXOS5VWJ3BCHJCZHIHHOSP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP/action/storage_attestation","attest_author":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP/action/author_attestation","sign_citation":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP/action/citation_signature","submit_replication":"https://pith.science/pith/MLALNXOS5VWJ3BCHJCZHIHHOSP/action/replication_record"}},"created_at":"2026-05-18T03:14:27.410052+00:00","updated_at":"2026-05-18T03:14:27.410052+00:00"}