{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:BHNNSMBVUOBQUOWMCYOHSDY6EJ","short_pith_number":"pith:BHNNSMBV","canonical_record":{"source":{"id":"1001.2508","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-14T17:40:10Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"2c0c73ef78cdefd9ca765140946749647a04edac7b19ceafbeccd3df407f5814","abstract_canon_sha256":"6f223badb2b04bf302b6866310fbc5172daada9d53980e442674dcfa26a40368"},"schema_version":"1.0"},"canonical_sha256":"09dad93035a3830a3acc161c790f1e2241be14e5895cb6708f2015f3127acb4e","source":{"kind":"arxiv","id":"1001.2508","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.2508","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"1001.2508v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.2508","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"BHNNSMBVUOBQ","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"BHNNSMBVUOBQUOWM","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"BHNNSMBV","created_at":"2026-05-18T12:26:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:BHNNSMBVUOBQUOWMCYOHSDY6EJ","target":"record","payload":{"canonical_record":{"source":{"id":"1001.2508","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-14T17:40:10Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"2c0c73ef78cdefd9ca765140946749647a04edac7b19ceafbeccd3df407f5814","abstract_canon_sha256":"6f223badb2b04bf302b6866310fbc5172daada9d53980e442674dcfa26a40368"},"schema_version":"1.0"},"canonical_sha256":"09dad93035a3830a3acc161c790f1e2241be14e5895cb6708f2015f3127acb4e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:40.190900Z","signature_b64":"AbtkuuBCmFRzFdoGmCwCj5WZZ/ecZUwWA6fAy6sAn+LOpU2KTsDPGg4viOj7He72oWZILN8erV5shYFFdURXBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09dad93035a3830a3acc161c790f1e2241be14e5895cb6708f2015f3127acb4e","last_reissued_at":"2026-05-18T01:37:40.190230Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:40.190230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1001.2508","source_version":2,"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-18T01:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uZRwjXgvhXbfuoQ9+0L++csvAYzbdtPQJMfNMUjW60fKi94X/xp0pHcYTrKV52I8LyQzf7cXTKEptccvmEbrCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:53:24.994261Z"},"content_sha256":"a322a9a5c03c6377fbf6b92584c9cc36b1b952aecf707c6f3a87b48eb2755b62","schema_version":"1.0","event_id":"sha256:a322a9a5c03c6377fbf6b92584c9cc36b1b952aecf707c6f3a87b48eb2755b62"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:BHNNSMBVUOBQUOWMCYOHSDY6EJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Bernard Boigelot, Julien Brusten, Veronique Bruyere","submitted_at":"2010-01-14T17:40:10Z","abstract_excerpt":"This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.2508","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"},"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-18T01:37:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Udaj6bYcgfgLPTHLoGxFR7DIfs3oW+oXDDCv9p/ZDVY6l+Hj7of7OPfjhdoW7RGlUfgg//IcjNcyBgbe+43iAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:53:24.994645Z"},"content_sha256":"f40fdda9c1f723cf0a885045745c1b081e6088ea3aa5b179f2ec1b7b6da68798","schema_version":"1.0","event_id":"sha256:f40fdda9c1f723cf0a885045745c1b081e6088ea3aa5b179f2ec1b7b6da68798"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ/bundle.json","state_url":"https://pith.science/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ/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-03T06:53:24Z","links":{"resolver":"https://pith.science/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ","bundle":"https://pith.science/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ/bundle.json","state":"https://pith.science/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BHNNSMBVUOBQUOWMCYOHSDY6EJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:BHNNSMBVUOBQUOWMCYOHSDY6EJ","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":"6f223badb2b04bf302b6866310fbc5172daada9d53980e442674dcfa26a40368","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-14T17:40:10Z","title_canon_sha256":"2c0c73ef78cdefd9ca765140946749647a04edac7b19ceafbeccd3df407f5814"},"schema_version":"1.0","source":{"id":"1001.2508","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.2508","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"arxiv_version","alias_value":"1001.2508v2","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.2508","created_at":"2026-05-18T01:37:40Z"},{"alias_kind":"pith_short_12","alias_value":"BHNNSMBVUOBQ","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"BHNNSMBVUOBQUOWM","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"BHNNSMBV","created_at":"2026-05-18T12:26:05Z"}],"graph_snapshots":[{"event_id":"sha256:f40fdda9c1f723cf0a885045745c1b081e6088ea3aa5b179f2ec1b7b6da68798","target":"graph","created_at":"2026-05-18T01:37:40Z","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":"This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, w","authors_text":"Bernard Boigelot, Julien Brusten, Veronique Bruyere","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-14T17:40:10Z","title":"On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.2508","kind":"arxiv","version":2},"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:a322a9a5c03c6377fbf6b92584c9cc36b1b952aecf707c6f3a87b48eb2755b62","target":"record","created_at":"2026-05-18T01:37:40Z","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":"6f223badb2b04bf302b6866310fbc5172daada9d53980e442674dcfa26a40368","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-01-14T17:40:10Z","title_canon_sha256":"2c0c73ef78cdefd9ca765140946749647a04edac7b19ceafbeccd3df407f5814"},"schema_version":"1.0","source":{"id":"1001.2508","kind":"arxiv","version":2}},"canonical_sha256":"09dad93035a3830a3acc161c790f1e2241be14e5895cb6708f2015f3127acb4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09dad93035a3830a3acc161c790f1e2241be14e5895cb6708f2015f3127acb4e","first_computed_at":"2026-05-18T01:37:40.190230Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:40.190230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AbtkuuBCmFRzFdoGmCwCj5WZZ/ecZUwWA6fAy6sAn+LOpU2KTsDPGg4viOj7He72oWZILN8erV5shYFFdURXBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:40.190900Z","signed_message":"canonical_sha256_bytes"},"source_id":"1001.2508","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a322a9a5c03c6377fbf6b92584c9cc36b1b952aecf707c6f3a87b48eb2755b62","sha256:f40fdda9c1f723cf0a885045745c1b081e6088ea3aa5b179f2ec1b7b6da68798"],"state_sha256":"d137675da097d6fdd5291968de8417b97347a8c7fbd320031ba818263f662a57"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/O8lnvM+wIv/zX3dSDLU/7t8YmQu3SmS42NKvP72hMgWX3m+A3R7XNcYs90m3PlL7+258YfaB0Uc2oyaosquCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:53:24.996651Z","bundle_sha256":"4a6d04bc3940b95b01dc4c8881ab3d75a088d4894e3d3ab707d38bb60c839e31"}}