{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5KRSOZUQF5KBBCMJKUBLJXZ6AX","short_pith_number":"pith:5KRSOZUQ","canonical_record":{"source":{"id":"1903.05852","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-14T08:24:39Z","cross_cats_sorted":[],"title_canon_sha256":"f7506067ab94f56f7ecf57beb9eb96aaa56221517f5697fb4220466b74fc0c15","abstract_canon_sha256":"13ebc6ead014816c6ffd9dc39210ec44887792572fc9b4b856a2a44aa9fb7109"},"schema_version":"1.0"},"canonical_sha256":"eaa32766902f541089895502b4df3e05cdbb96cfcb92971808d6e8503475f467","source":{"kind":"arxiv","id":"1903.05852","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05852","created_at":"2026-05-17T23:42:42Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05852v3","created_at":"2026-05-17T23:42:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05852","created_at":"2026-05-17T23:42:42Z"},{"alias_kind":"pith_short_12","alias_value":"5KRSOZUQF5KB","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5KRSOZUQF5KBBCMJ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5KRSOZUQ","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5KRSOZUQF5KBBCMJKUBLJXZ6AX","target":"record","payload":{"canonical_record":{"source":{"id":"1903.05852","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-14T08:24:39Z","cross_cats_sorted":[],"title_canon_sha256":"f7506067ab94f56f7ecf57beb9eb96aaa56221517f5697fb4220466b74fc0c15","abstract_canon_sha256":"13ebc6ead014816c6ffd9dc39210ec44887792572fc9b4b856a2a44aa9fb7109"},"schema_version":"1.0"},"canonical_sha256":"eaa32766902f541089895502b4df3e05cdbb96cfcb92971808d6e8503475f467","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:42.060457Z","signature_b64":"RVzr7UDaO9+XGFvUK8frXvEjaXo2riYC+nmRyGwaH6Dt59HkuNsdDOrFmYBW0h88qOHhuJ15ScXnGrxl65zvDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eaa32766902f541089895502b4df3e05cdbb96cfcb92971808d6e8503475f467","last_reissued_at":"2026-05-17T23:42:42.059919Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:42.059919Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.05852","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:42:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NqF7bfuNcOO69XmeZaSErlE47Q9DBudev/6lz3mxb0LPvbmk7HAWq3MVfIxpGTMnt0WoJvdtNvJzRKGbJUAGBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:29:10.249659Z"},"content_sha256":"9cd52d6c13300d3310d78064fa774d0c6ce440f525b025ebcb212bcf5a2dcd00","schema_version":"1.0","event_id":"sha256:9cd52d6c13300d3310d78064fa774d0c6ce440f525b025ebcb212bcf5a2dcd00"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5KRSOZUQF5KBBCMJKUBLJXZ6AX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equivalents of the finitary non-deterministic inductive definitions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Ayana Hirata, Hajime Ishihara, Takako Nemoto, Tatsuji Kawai","submitted_at":"2019-03-14T08:24:39Z","abstract_excerpt":"We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion of biclosed subset. Our result suggests that proving these statements in constructive topology req"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05852","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:42:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VDN1mcm8SZwX+qGTHy2cct2bNnlDCFlLxuVu9Vv+Ve2pQThI5RbdwMzb6dAzZofx0UT+5av2TeQFdMAKmAzSAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:29:10.250001Z"},"content_sha256":"0e29f1e99d83c27204695b154a336abd3bd85347431fb3b8989474f78eb82d61","schema_version":"1.0","event_id":"sha256:0e29f1e99d83c27204695b154a336abd3bd85347431fb3b8989474f78eb82d61"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX/bundle.json","state_url":"https://pith.science/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-12T08:29:10Z","links":{"resolver":"https://pith.science/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX","bundle":"https://pith.science/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX/bundle.json","state":"https://pith.science/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5KRSOZUQF5KBBCMJKUBLJXZ6AX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5KRSOZUQF5KBBCMJKUBLJXZ6AX","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":"13ebc6ead014816c6ffd9dc39210ec44887792572fc9b4b856a2a44aa9fb7109","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-14T08:24:39Z","title_canon_sha256":"f7506067ab94f56f7ecf57beb9eb96aaa56221517f5697fb4220466b74fc0c15"},"schema_version":"1.0","source":{"id":"1903.05852","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05852","created_at":"2026-05-17T23:42:42Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05852v3","created_at":"2026-05-17T23:42:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05852","created_at":"2026-05-17T23:42:42Z"},{"alias_kind":"pith_short_12","alias_value":"5KRSOZUQF5KB","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5KRSOZUQF5KBBCMJ","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5KRSOZUQ","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:0e29f1e99d83c27204695b154a336abd3bd85347431fb3b8989474f78eb82d61","target":"graph","created_at":"2026-05-17T23:42:42Z","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":"We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion of biclosed subset. Our result suggests that proving these statements in constructive topology req","authors_text":"Ayana Hirata, Hajime Ishihara, Takako Nemoto, Tatsuji Kawai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-14T08:24:39Z","title":"Equivalents of the finitary non-deterministic inductive definitions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05852","kind":"arxiv","version":3},"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:9cd52d6c13300d3310d78064fa774d0c6ce440f525b025ebcb212bcf5a2dcd00","target":"record","created_at":"2026-05-17T23:42:42Z","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":"13ebc6ead014816c6ffd9dc39210ec44887792572fc9b4b856a2a44aa9fb7109","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-03-14T08:24:39Z","title_canon_sha256":"f7506067ab94f56f7ecf57beb9eb96aaa56221517f5697fb4220466b74fc0c15"},"schema_version":"1.0","source":{"id":"1903.05852","kind":"arxiv","version":3}},"canonical_sha256":"eaa32766902f541089895502b4df3e05cdbb96cfcb92971808d6e8503475f467","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eaa32766902f541089895502b4df3e05cdbb96cfcb92971808d6e8503475f467","first_computed_at":"2026-05-17T23:42:42.059919Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:42.059919Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RVzr7UDaO9+XGFvUK8frXvEjaXo2riYC+nmRyGwaH6Dt59HkuNsdDOrFmYBW0h88qOHhuJ15ScXnGrxl65zvDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:42.060457Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.05852","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9cd52d6c13300d3310d78064fa774d0c6ce440f525b025ebcb212bcf5a2dcd00","sha256:0e29f1e99d83c27204695b154a336abd3bd85347431fb3b8989474f78eb82d61"],"state_sha256":"5354b7de8009c9242121a863a90c954da57a5079afd28e04029c60eebb474748"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kkV2AMcCvmrfWJRILMWcSxaMIrmJXeChBX5Q0E982sKjMACfRlq07S5kgriN8tkxE0/mnUOWrbOpl6FJ+MPgDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T08:29:10.252138Z","bundle_sha256":"e0fd89cccc718f4618bea861f28084d83c5bc5f34ab3051378bd9b32e6e3d5f1"}}