{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2008:NHSGNTUORM6TF33GHQLI7RR2TO","short_pith_number":"pith:NHSGNTUO","schema_version":"1.0","canonical_sha256":"69e466ce8e8b3d32ef663c168fc63a9b9ee43e98f952deca7751dfa3303d99bf","source":{"kind":"arxiv","id":"0808.1972","version":1},"attestation_state":"computed","paper":{"title":"De Morgan's law and the theory of fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.CT","authors_text":"Olivia Caramello, Peter Johnstone","submitted_at":"2008-08-14T10:44:48Z","abstract_excerpt":"We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over their prime fields."},"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":"0808.1972","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2008-08-14T10:44:48Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"cf16567d8ea3591dd7f379db4a2d01489b0688eaa8e6566615e039c4d5515aa7","abstract_canon_sha256":"daf6d3cce67bc4085871f7cb1f9a6f899280a95daac4ee3da21a64ed08e69004"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:11.786415Z","signature_b64":"xZBXxYt2CCOxhSrG7mkEh1bMCjQIt1GuseQhMputOs6jqGzy4onLTkF/vqvUT2r4bgzg+bL0Y8Vc13RORa8BAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"69e466ce8e8b3d32ef663c168fc63a9b9ee43e98f952deca7751dfa3303d99bf","last_reissued_at":"2026-05-18T03:27:11.785809Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:11.785809Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"De Morgan's law and the theory of fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"math.CT","authors_text":"Olivia Caramello, Peter Johnstone","submitted_at":"2008-08-14T10:44:48Z","abstract_excerpt":"We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over their prime fields."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0808.1972","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":"0808.1972","created_at":"2026-05-18T03:27:11.785910+00:00"},{"alias_kind":"arxiv_version","alias_value":"0808.1972v1","created_at":"2026-05-18T03:27:11.785910+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0808.1972","created_at":"2026-05-18T03:27:11.785910+00:00"},{"alias_kind":"pith_short_12","alias_value":"NHSGNTUORM6T","created_at":"2026-05-18T12:25:57.157939+00:00"},{"alias_kind":"pith_short_16","alias_value":"NHSGNTUORM6TF33G","created_at":"2026-05-18T12:25:57.157939+00:00"},{"alias_kind":"pith_short_8","alias_value":"NHSGNTUO","created_at":"2026-05-18T12:25:57.157939+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/NHSGNTUORM6TF33GHQLI7RR2TO","json":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO.json","graph_json":"https://pith.science/api/pith-number/NHSGNTUORM6TF33GHQLI7RR2TO/graph.json","events_json":"https://pith.science/api/pith-number/NHSGNTUORM6TF33GHQLI7RR2TO/events.json","paper":"https://pith.science/paper/NHSGNTUO"},"agent_actions":{"view_html":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO","download_json":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO.json","view_paper":"https://pith.science/paper/NHSGNTUO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0808.1972&json=true","fetch_graph":"https://pith.science/api/pith-number/NHSGNTUORM6TF33GHQLI7RR2TO/graph.json","fetch_events":"https://pith.science/api/pith-number/NHSGNTUORM6TF33GHQLI7RR2TO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO/action/storage_attestation","attest_author":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO/action/author_attestation","sign_citation":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO/action/citation_signature","submit_replication":"https://pith.science/pith/NHSGNTUORM6TF33GHQLI7RR2TO/action/replication_record"}},"created_at":"2026-05-18T03:27:11.785910+00:00","updated_at":"2026-05-18T03:27:11.785910+00:00"}