{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:YSRORUNFF5B7OO4QAUC2JJ7KDW","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":"3ccc7082a766d2d5013d97c7c96ab87ca8f9ded1db6dbf0ead8329ade2d37989","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-22T14:54:00Z","title_canon_sha256":"c3f3850ae1d8cb1960e8aaff2d56f2014742bd533c458cc0b7c2ccc8c48fd4a7"},"schema_version":"1.0","source":{"id":"1408.5311","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.5311","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"arxiv_version","alias_value":"1408.5311v2","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.5311","created_at":"2026-05-18T01:37:02Z"},{"alias_kind":"pith_short_12","alias_value":"YSRORUNFF5B7","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"YSRORUNFF5B7OO4Q","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"YSRORUNF","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:88f79dbc5998a9749525070d4c8fa9d85e8135347485d7a6d78e1bed044ac4c7","target":"graph","created_at":"2026-05-18T01:37:02Z","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":"Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik lattices. However, they only formalised this for propositional logic, while Kolmogorov also discussed the universal quantifier. We extend the work of Medvedev to first-order logic using the notion of a first-order hyperdoctrine from categorical logic to a structure which we will call the Medvedev hyperdoctrine. We also study the intermediate logic that the Medvedev","authors_text":"Rutger Kuyper","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-22T14:54:00Z","title":"First-order logic in the Medvedev lattice"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.5311","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:0d9e0ea0f05c10ab6bec7dbc7dc282f1ae95369cff5d08d59d4067ef0ae98d50","target":"record","created_at":"2026-05-18T01:37:02Z","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":"3ccc7082a766d2d5013d97c7c96ab87ca8f9ded1db6dbf0ead8329ade2d37989","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-08-22T14:54:00Z","title_canon_sha256":"c3f3850ae1d8cb1960e8aaff2d56f2014742bd533c458cc0b7c2ccc8c48fd4a7"},"schema_version":"1.0","source":{"id":"1408.5311","kind":"arxiv","version":2}},"canonical_sha256":"c4a2e8d1a52f43f73b900505a4a7ea1d97602c3e56a1a264a18fbbdad934bc8a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4a2e8d1a52f43f73b900505a4a7ea1d97602c3e56a1a264a18fbbdad934bc8a","first_computed_at":"2026-05-18T01:37:02.194810Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:02.194810Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Kz6D8eJ1TrLVbEXtD52OL3Nxz7YYhGvDKhqVew0WnFreHnr4IUHhxNI7j8x+ezSFaMUlOvvXvwj7waMRrgioBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:02.195466Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.5311","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d9e0ea0f05c10ab6bec7dbc7dc282f1ae95369cff5d08d59d4067ef0ae98d50","sha256:88f79dbc5998a9749525070d4c8fa9d85e8135347485d7a6d78e1bed044ac4c7"],"state_sha256":"2f93c2bc588b8d8706a724dc7411f512bd2b09af38524698cf0ed79407e8a3a6"}