{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3U24TNGYX4NUK5D2IHIXKNY5GQ","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":"1c675cc9c147d3ae5df6f5b763b5bd5f514f652f906033d34a2e150e3680fdaf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-08T11:03:48Z","title_canon_sha256":"247a29d68a8f0d52af71dcb9e90dbbe9613bc47008ea8c90c96867cda448cba4"},"schema_version":"1.0","source":{"id":"2606.09336","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.09336","created_at":"2026-06-09T02:08:16Z"},{"alias_kind":"arxiv_version","alias_value":"2606.09336v1","created_at":"2026-06-09T02:08:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.09336","created_at":"2026-06-09T02:08:16Z"},{"alias_kind":"pith_short_12","alias_value":"3U24TNGYX4NU","created_at":"2026-06-09T02:08:16Z"},{"alias_kind":"pith_short_16","alias_value":"3U24TNGYX4NUK5D2","created_at":"2026-06-09T02:08:16Z"},{"alias_kind":"pith_short_8","alias_value":"3U24TNGY","created_at":"2026-06-09T02:08:16Z"}],"graph_snapshots":[{"event_id":"sha256:3e7a62d7f3e473a76731fc8b074dabe3de5856a972c46cfb1833e60951ec76f1","target":"graph","created_at":"2026-06-09T02:08:16Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.09336/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Arithmetic terms are finite fixed compositions of additions, subtractions, multiplications, divisions with remainder and exponentiations, containing variables interpreted as natural numbers. They build a well-defined notion of closed formula. It is known that every Kalmar elementary function can be expressed as an arithmetic term. In this paper, one studies the power of expression of the arithmetic terms. By interpreting Hilbert's Tenth Problem in arithmetic terms, it is shown that it is undecidable whether one-variable arithmetic term takes the value $0$, or whether two such terms take or not","authors_text":"Gabriel Istrate, Joseph M. Shunia, Mihai Prunescu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-08T11:03:48Z","title":"Undecidability, Chaos and Universality in Arithmetic Terms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.09336","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:bc6d4e1cfddbd44aa2ba6e6109b2c5eb3d0803011bddd8b087e7b416e1901c20","target":"record","created_at":"2026-06-09T02:08:16Z","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":"1c675cc9c147d3ae5df6f5b763b5bd5f514f652f906033d34a2e150e3680fdaf","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-08T11:03:48Z","title_canon_sha256":"247a29d68a8f0d52af71dcb9e90dbbe9613bc47008ea8c90c96867cda448cba4"},"schema_version":"1.0","source":{"id":"2606.09336","kind":"arxiv","version":1}},"canonical_sha256":"dd35c9b4d8bf1b45747a41d175371d340009dc9187338f4aee6096538ddf09e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd35c9b4d8bf1b45747a41d175371d340009dc9187338f4aee6096538ddf09e7","first_computed_at":"2026-06-09T02:08:16.105837Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:08:16.105837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EJoLqeS9y143Y3N+C3A9WHb60D6zQKMSH4GAAdZoBKRPAsZbjCCPvt33TFcdz36GlzVs9NTThynUZSGHnzFpCg==","signature_status":"signed_v1","signed_at":"2026-06-09T02:08:16.106722Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.09336","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc6d4e1cfddbd44aa2ba6e6109b2c5eb3d0803011bddd8b087e7b416e1901c20","sha256:3e7a62d7f3e473a76731fc8b074dabe3de5856a972c46cfb1833e60951ec76f1"],"state_sha256":"697666d08bbdcea863689c22b975bff69f85273af5fd78dff58c05519eacff08"}