{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:NDEFYFYVSFDKQ26YWOGUX3GTKI","short_pith_number":"pith:NDEFYFYV","schema_version":"1.0","canonical_sha256":"68c85c17159146a86bd8b38d4becd3521169c8aeaf11feecc37f636cbf6f5d09","source":{"kind":"arxiv","id":"2606.30654","version":1},"attestation_state":"computed","paper":{"title":"Notes on Systems of Very Weak Unary Dyadic Arithmetic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Zlatan Damnjanovic","submitted_at":"2026-06-16T04:07:15Z","abstract_excerpt":"We introduce several very weak first-order theories of unary concatenation of dyadic strings and investigate their relationships to other previously studied veey weak first-order theories, namely the theory WT of binary trees of Kristiansen and Murwanashyaka, the theory WD of binary concatenation of Murwanashyaka, and Robinson's very weak arithmetic R. We prove that all these theories are mutually formally interpretable with the theories of unary concatenation studied in the paper, thus establishing essential undecidability of the latter. In the process we show that binary concatenation is fir"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.30654","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-06-16T04:07:15Z","cross_cats_sorted":[],"title_canon_sha256":"56d94e991b8ee29baea40198ae735a5d360fe68ff1633cbf15ae9ffdb3a012b7","abstract_canon_sha256":"1979473a5006c92014bf7dea56b95d6753a017d898f9511279897c7d8a87e02b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T00:17:12.710123Z","signature_b64":"RaLZS7+ajAGogb7AODg6KFzZRR7yiI/PPnATq1tfdkjXIB3P6JH5nzG1t4Umj+lwDDKoyj2TYfokWo1TcMErDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"68c85c17159146a86bd8b38d4becd3521169c8aeaf11feecc37f636cbf6f5d09","last_reissued_at":"2026-07-01T00:17:12.709712Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T00:17:12.709712Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Notes on Systems of Very Weak Unary Dyadic Arithmetic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Zlatan Damnjanovic","submitted_at":"2026-06-16T04:07:15Z","abstract_excerpt":"We introduce several very weak first-order theories of unary concatenation of dyadic strings and investigate their relationships to other previously studied veey weak first-order theories, namely the theory WT of binary trees of Kristiansen and Murwanashyaka, the theory WD of binary concatenation of Murwanashyaka, and Robinson's very weak arithmetic R. We prove that all these theories are mutually formally interpretable with the theories of unary concatenation studied in the paper, thus establishing essential undecidability of the latter. In the process we show that binary concatenation is fir"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30654","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.30654/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.30654","created_at":"2026-07-01T00:17:12.709772+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.30654v1","created_at":"2026-07-01T00:17:12.709772+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30654","created_at":"2026-07-01T00:17:12.709772+00:00"},{"alias_kind":"pith_short_12","alias_value":"NDEFYFYVSFDK","created_at":"2026-07-01T00:17:12.709772+00:00"},{"alias_kind":"pith_short_16","alias_value":"NDEFYFYVSFDKQ26Y","created_at":"2026-07-01T00:17:12.709772+00:00"},{"alias_kind":"pith_short_8","alias_value":"NDEFYFYV","created_at":"2026-07-01T00:17:12.709772+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI","json":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI.json","graph_json":"https://pith.science/api/pith-number/NDEFYFYVSFDKQ26YWOGUX3GTKI/graph.json","events_json":"https://pith.science/api/pith-number/NDEFYFYVSFDKQ26YWOGUX3GTKI/events.json","paper":"https://pith.science/paper/NDEFYFYV"},"agent_actions":{"view_html":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI","download_json":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI.json","view_paper":"https://pith.science/paper/NDEFYFYV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.30654&json=true","fetch_graph":"https://pith.science/api/pith-number/NDEFYFYVSFDKQ26YWOGUX3GTKI/graph.json","fetch_events":"https://pith.science/api/pith-number/NDEFYFYVSFDKQ26YWOGUX3GTKI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI/action/storage_attestation","attest_author":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI/action/author_attestation","sign_citation":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI/action/citation_signature","submit_replication":"https://pith.science/pith/NDEFYFYVSFDKQ26YWOGUX3GTKI/action/replication_record"}},"created_at":"2026-07-01T00:17:12.709772+00:00","updated_at":"2026-07-01T00:17:12.709772+00:00"}