{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:KRJBGWNRXBH5DSCCQDO42QMVWX","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":"eef99b8a78d24416dd2a3c5ae0aa5db4498bf80f218556e394ac5e5582dcdc8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-11-08T14:40:55Z","title_canon_sha256":"dcf426c870e02c9ea9eddb6a0aac8a15b144fe8bdd2081943bd6d41d8a9fcedc"},"schema_version":"1.0","source":{"id":"1611.02531","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.02531","created_at":"2026-05-18T00:59:51Z"},{"alias_kind":"arxiv_version","alias_value":"1611.02531v1","created_at":"2026-05-18T00:59:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.02531","created_at":"2026-05-18T00:59:51Z"},{"alias_kind":"pith_short_12","alias_value":"KRJBGWNRXBH5","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"KRJBGWNRXBH5DSCC","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"KRJBGWNR","created_at":"2026-05-18T12:30:29Z"}],"graph_snapshots":[{"event_id":"sha256:556f32c1418c026dc8d59c57681fccfe541e1dced365398e277589df43f3b15f","target":"graph","created_at":"2026-05-18T00:59:51Z","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":"In this paper we consider Kakutani's extension of the Brouwer fixed point theorem within the framework of Bishop's constructive mathematics. Kakutani's fixed point theorem is classically equivalent to Brouwer's fixed point theorem. The constructive proof of (an approximate) Brouwer's fixed point theorem relies on a finite combinatorial argument; consequently we must restrict our attention to uniformly continuous functions. Since Brouwer's fixed point theorem is a special case of Kakutani's, the mappings in any constructive version of Kakutani's fixed point theorem must also satisfy some form o","authors_text":"Matthew Hendtlass","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-11-08T14:40:55Z","title":"Kakutani's fixed point theorem in constructive mathematics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.02531","kind":"arxiv","version":1},"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:770c941a29b5b106c26c3caa17c9cc6d360db2638f5660f60aec35dd8efc4a53","target":"record","created_at":"2026-05-18T00:59:51Z","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":"eef99b8a78d24416dd2a3c5ae0aa5db4498bf80f218556e394ac5e5582dcdc8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-11-08T14:40:55Z","title_canon_sha256":"dcf426c870e02c9ea9eddb6a0aac8a15b144fe8bdd2081943bd6d41d8a9fcedc"},"schema_version":"1.0","source":{"id":"1611.02531","kind":"arxiv","version":1}},"canonical_sha256":"54521359b1b84fd1c84280ddcd4195b5d5431d15d55278049e5f3bd3f5ce07cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54521359b1b84fd1c84280ddcd4195b5d5431d15d55278049e5f3bd3f5ce07cd","first_computed_at":"2026-05-18T00:59:51.738528Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:51.738528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VmZgI1Q7KAnS6OFHiZm/gDuC5d6mZ0kWCxoR6fK0vDHBhe/7Kf74stIkl++Qjyh17W3xdNzbcqCR/i6T7ZYYDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:51.739348Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.02531","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:770c941a29b5b106c26c3caa17c9cc6d360db2638f5660f60aec35dd8efc4a53","sha256:556f32c1418c026dc8d59c57681fccfe541e1dced365398e277589df43f3b15f"],"state_sha256":"19d5bfe05a2bbe919ee28c8f54554a4c522a5f755626b76f2c226bd6fad1b1b7"}