{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:MLWRJN6B43CNUD5V5G5KAGLVWS","short_pith_number":"pith:MLWRJN6B","canonical_record":{"source":{"id":"1711.09412","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-11-26T16:16:32Z","cross_cats_sorted":[],"title_canon_sha256":"6aca394885dc989b8156336a35b2d3db3d3877e3b34ccd335ef0a060eafdc603","abstract_canon_sha256":"baed88c710cb9d5647fb1ad2ee085d4f85582921426479a2e99373301f355233"},"schema_version":"1.0"},"canonical_sha256":"62ed14b7c1e6c4da0fb5e9baa01975b484dfda03b921e13478bb1c7d73f4275d","source":{"kind":"arxiv","id":"1711.09412","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09412","created_at":"2026-05-18T00:29:35Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09412v1","created_at":"2026-05-18T00:29:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09412","created_at":"2026-05-18T00:29:35Z"},{"alias_kind":"pith_short_12","alias_value":"MLWRJN6B43CN","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MLWRJN6B43CNUD5V","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MLWRJN6B","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:MLWRJN6B43CNUD5V5G5KAGLVWS","target":"record","payload":{"canonical_record":{"source":{"id":"1711.09412","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-11-26T16:16:32Z","cross_cats_sorted":[],"title_canon_sha256":"6aca394885dc989b8156336a35b2d3db3d3877e3b34ccd335ef0a060eafdc603","abstract_canon_sha256":"baed88c710cb9d5647fb1ad2ee085d4f85582921426479a2e99373301f355233"},"schema_version":"1.0"},"canonical_sha256":"62ed14b7c1e6c4da0fb5e9baa01975b484dfda03b921e13478bb1c7d73f4275d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:35.621795Z","signature_b64":"aXwRhgsfbzy7InlbjeGNeEookZBqXvOvHjieKmshMLaCY4FZQpGG8bZTIGKEc3nY0X4sLhpnN9lTrDy7U3SqAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62ed14b7c1e6c4da0fb5e9baa01975b484dfda03b921e13478bb1c7d73f4275d","last_reissued_at":"2026-05-18T00:29:35.621089Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:35.621089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1711.09412","source_version":1,"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-18T00:29:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jniIVMvF43PEnMKJW4Wxc2Aa/MvJvCL+UdecpG0egnC85Yre9/93mZAOnafXGMvhU07aCFU08S2NLY7zixeIBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T16:05:24.825152Z"},"content_sha256":"2d6c8ca140324368f98f2c0540a7146e5554b23e52252cffa008c2d3baa8ef91","schema_version":"1.0","event_id":"sha256:2d6c8ca140324368f98f2c0540a7146e5554b23e52252cffa008c2d3baa8ef91"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:MLWRJN6B43CNUD5V5G5KAGLVWS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Hilbert's tenth problem for complex meromorphic functions in several variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Thanases Pheidas, Xavier Vidaux","submitted_at":"2017-11-26T16:16:32Z","abstract_excerpt":"We prove an analogue of Hilbert's Tenth Problem for complex meromorphic functions. More precisely, we prove that the set of integers is positive existentially definable in fields of complex meromorphic functions in several variables over the language of rings, together with constant symbols for two of the independent variables and the set of constants, a unary relation symbol for non-zero functions, and a unary relation symbol for evaluation at a fixed point (a place). We obtain a similar result for analytic functions, where the place appears in the language as a binary predicate. In both case"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09412","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"},"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-18T00:29:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+ePacYB568SRhISVezE1KH+GRB8hOjuP9LoOd0kaIjEGGpFpC2WdzT4mGXGPKdaqazl6mDnDCNZWIHPaODNICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T16:05:24.825510Z"},"content_sha256":"3deaa6ceda21870a1fce0ee3050c2e0061aae05f3392f466be9715d58a1af02a","schema_version":"1.0","event_id":"sha256:3deaa6ceda21870a1fce0ee3050c2e0061aae05f3392f466be9715d58a1af02a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MLWRJN6B43CNUD5V5G5KAGLVWS/bundle.json","state_url":"https://pith.science/pith/MLWRJN6B43CNUD5V5G5KAGLVWS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MLWRJN6B43CNUD5V5G5KAGLVWS/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-05T16:05:24Z","links":{"resolver":"https://pith.science/pith/MLWRJN6B43CNUD5V5G5KAGLVWS","bundle":"https://pith.science/pith/MLWRJN6B43CNUD5V5G5KAGLVWS/bundle.json","state":"https://pith.science/pith/MLWRJN6B43CNUD5V5G5KAGLVWS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MLWRJN6B43CNUD5V5G5KAGLVWS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MLWRJN6B43CNUD5V5G5KAGLVWS","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":"baed88c710cb9d5647fb1ad2ee085d4f85582921426479a2e99373301f355233","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-11-26T16:16:32Z","title_canon_sha256":"6aca394885dc989b8156336a35b2d3db3d3877e3b34ccd335ef0a060eafdc603"},"schema_version":"1.0","source":{"id":"1711.09412","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.09412","created_at":"2026-05-18T00:29:35Z"},{"alias_kind":"arxiv_version","alias_value":"1711.09412v1","created_at":"2026-05-18T00:29:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.09412","created_at":"2026-05-18T00:29:35Z"},{"alias_kind":"pith_short_12","alias_value":"MLWRJN6B43CN","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MLWRJN6B43CNUD5V","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MLWRJN6B","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:3deaa6ceda21870a1fce0ee3050c2e0061aae05f3392f466be9715d58a1af02a","target":"graph","created_at":"2026-05-18T00:29:35Z","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 prove an analogue of Hilbert's Tenth Problem for complex meromorphic functions. More precisely, we prove that the set of integers is positive existentially definable in fields of complex meromorphic functions in several variables over the language of rings, together with constant symbols for two of the independent variables and the set of constants, a unary relation symbol for non-zero functions, and a unary relation symbol for evaluation at a fixed point (a place). We obtain a similar result for analytic functions, where the place appears in the language as a binary predicate. In both case","authors_text":"Thanases Pheidas, Xavier Vidaux","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-11-26T16:16:32Z","title":"Hilbert's tenth problem for complex meromorphic functions in several variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.09412","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:2d6c8ca140324368f98f2c0540a7146e5554b23e52252cffa008c2d3baa8ef91","target":"record","created_at":"2026-05-18T00:29:35Z","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":"baed88c710cb9d5647fb1ad2ee085d4f85582921426479a2e99373301f355233","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-11-26T16:16:32Z","title_canon_sha256":"6aca394885dc989b8156336a35b2d3db3d3877e3b34ccd335ef0a060eafdc603"},"schema_version":"1.0","source":{"id":"1711.09412","kind":"arxiv","version":1}},"canonical_sha256":"62ed14b7c1e6c4da0fb5e9baa01975b484dfda03b921e13478bb1c7d73f4275d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62ed14b7c1e6c4da0fb5e9baa01975b484dfda03b921e13478bb1c7d73f4275d","first_computed_at":"2026-05-18T00:29:35.621089Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:35.621089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aXwRhgsfbzy7InlbjeGNeEookZBqXvOvHjieKmshMLaCY4FZQpGG8bZTIGKEc3nY0X4sLhpnN9lTrDy7U3SqAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:35.621795Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.09412","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d6c8ca140324368f98f2c0540a7146e5554b23e52252cffa008c2d3baa8ef91","sha256:3deaa6ceda21870a1fce0ee3050c2e0061aae05f3392f466be9715d58a1af02a"],"state_sha256":"c28cac9966638451aa2410b550c30324e8b7eaf8971a2498d801aa37127c4da2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7sAShJUYeE8YRSfYKpp8j5ZJcOZGZga+2bpms3/hkDFGgykazYa2WnLeb82WKaeP5NaiUoY7uemLqnOkQdopBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T16:05:24.827496Z","bundle_sha256":"519007d186edd0ef7a6478a04ee62941934db7dbb3d0fe02c8a627306f6cd546"}}