{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:QQOYL3S3IJQCZEEFVVUFJLSQFB","short_pith_number":"pith:QQOYL3S3","schema_version":"1.0","canonical_sha256":"841d85ee5b42602c9085ad6854ae50286983376f110ec30a25b919fccd688664","source":{"kind":"arxiv","id":"1208.5412","version":2},"attestation_state":"computed","paper":{"title":"On sets of numbers rationally represented in a rational base number system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jacques Sakarovitch, Victor Marsault","submitted_at":"2012-08-27T14:49:45Z","abstract_excerpt":"In this work, it is proved that a set of numbers closed under addition and whose representations in a rational base numeration system is a rational language is not a finitely generated additive monoid.\n  A key to the proof is the definition of a strong combinatorial property on languages : the bounded left iteration property. It is both an unnatural property in usual formal language theory (as it contradicts any kind of pumping lemma) and an ideal fit to the languages defined through rational base number systems."},"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":"1208.5412","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2012-08-27T14:49:45Z","cross_cats_sorted":[],"title_canon_sha256":"4ee72056425c04540ed4151b52644993c33b643c41f95be242081c4d156b925e","abstract_canon_sha256":"d88767867bb124e8d47f0ab4b43b5785881afd6b2cc036e0ed1b614a82bb4178"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:11:33.577501Z","signature_b64":"iFSPZrARb6671TMiBi07H2lIm5/GZN9lup0fJU7havinMh4kUi6hopi9IXt5zUDUkg1hJGpmpS9W6bdQZSU/CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"841d85ee5b42602c9085ad6854ae50286983376f110ec30a25b919fccd688664","last_reissued_at":"2026-05-18T03:11:33.576667Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:11:33.576667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On sets of numbers rationally represented in a rational base number system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Jacques Sakarovitch, Victor Marsault","submitted_at":"2012-08-27T14:49:45Z","abstract_excerpt":"In this work, it is proved that a set of numbers closed under addition and whose representations in a rational base numeration system is a rational language is not a finitely generated additive monoid.\n  A key to the proof is the definition of a strong combinatorial property on languages : the bounded left iteration property. It is both an unnatural property in usual formal language theory (as it contradicts any kind of pumping lemma) and an ideal fit to the languages defined through rational base number systems."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.5412","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1208.5412","created_at":"2026-05-18T03:11:33.576837+00:00"},{"alias_kind":"arxiv_version","alias_value":"1208.5412v2","created_at":"2026-05-18T03:11:33.576837+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.5412","created_at":"2026-05-18T03:11:33.576837+00:00"},{"alias_kind":"pith_short_12","alias_value":"QQOYL3S3IJQC","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_16","alias_value":"QQOYL3S3IJQCZEEF","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_8","alias_value":"QQOYL3S3","created_at":"2026-05-18T12:27:18.751474+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/QQOYL3S3IJQCZEEFVVUFJLSQFB","json":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB.json","graph_json":"https://pith.science/api/pith-number/QQOYL3S3IJQCZEEFVVUFJLSQFB/graph.json","events_json":"https://pith.science/api/pith-number/QQOYL3S3IJQCZEEFVVUFJLSQFB/events.json","paper":"https://pith.science/paper/QQOYL3S3"},"agent_actions":{"view_html":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB","download_json":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB.json","view_paper":"https://pith.science/paper/QQOYL3S3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1208.5412&json=true","fetch_graph":"https://pith.science/api/pith-number/QQOYL3S3IJQCZEEFVVUFJLSQFB/graph.json","fetch_events":"https://pith.science/api/pith-number/QQOYL3S3IJQCZEEFVVUFJLSQFB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB/action/storage_attestation","attest_author":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB/action/author_attestation","sign_citation":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB/action/citation_signature","submit_replication":"https://pith.science/pith/QQOYL3S3IJQCZEEFVVUFJLSQFB/action/replication_record"}},"created_at":"2026-05-18T03:11:33.576837+00:00","updated_at":"2026-05-18T03:11:33.576837+00:00"}