{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:XYQRQRLGRJY5OYVEA64ZUCUFRV","short_pith_number":"pith:XYQRQRLG","schema_version":"1.0","canonical_sha256":"be211845668a71d762a407b99a0a858d7a327ac9f2d7868bd49f73791347b009","source":{"kind":"arxiv","id":"1709.03117","version":1},"attestation_state":"computed","paper":{"title":"Monadic Second-Order Logic with Arbitrary Monadic Predicates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Charles Paperman, Nathana\\\"el Fijalkow","submitted_at":"2017-09-10T15:36:28Z","abstract_excerpt":"We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class of languages that has algebraic, automata-theoretic and machine-independent characterizations. We consider the regularity question: given a language in this class, when is it regular? To answer this, we show a substitution property and the existence of a syntactical predicate.\n  We give three applications. The first two are to give very simple proofs that the Straubing Conjecture holds for all fragments of MSO with monadic predicates, and that t"},"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":"1709.03117","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-10T15:36:28Z","cross_cats_sorted":[],"title_canon_sha256":"62b3b083db8f8d42c81becaf2f535659aa571e3222a2ecda1776de18a913a752","abstract_canon_sha256":"7ca860373fb20a6ab71314fa535b5201db52a68200e42e11a258c805c2dd206f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:39.338250Z","signature_b64":"brvHKwIab+DofUzWvJVqG4JIwlTSdEYgMrLez0I2cDYrM5RUMZmMlAPH46o+MKaPuqWEbR6oFWVQi+pyQpVvBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be211845668a71d762a407b99a0a858d7a327ac9f2d7868bd49f73791347b009","last_reissued_at":"2026-05-18T00:35:39.337604Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:39.337604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Monadic Second-Order Logic with Arbitrary Monadic Predicates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Charles Paperman, Nathana\\\"el Fijalkow","submitted_at":"2017-09-10T15:36:28Z","abstract_excerpt":"We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class of languages that has algebraic, automata-theoretic and machine-independent characterizations. We consider the regularity question: given a language in this class, when is it regular? To answer this, we show a substitution property and the existence of a syntactical predicate.\n  We give three applications. The first two are to give very simple proofs that the Straubing Conjecture holds for all fragments of MSO with monadic predicates, and that t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03117","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.03117","created_at":"2026-05-18T00:35:39.337696+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.03117v1","created_at":"2026-05-18T00:35:39.337696+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03117","created_at":"2026-05-18T00:35:39.337696+00:00"},{"alias_kind":"pith_short_12","alias_value":"XYQRQRLGRJY5","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_16","alias_value":"XYQRQRLGRJY5OYVE","created_at":"2026-05-18T12:31:56.362134+00:00"},{"alias_kind":"pith_short_8","alias_value":"XYQRQRLG","created_at":"2026-05-18T12:31:56.362134+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/XYQRQRLGRJY5OYVEA64ZUCUFRV","json":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV.json","graph_json":"https://pith.science/api/pith-number/XYQRQRLGRJY5OYVEA64ZUCUFRV/graph.json","events_json":"https://pith.science/api/pith-number/XYQRQRLGRJY5OYVEA64ZUCUFRV/events.json","paper":"https://pith.science/paper/XYQRQRLG"},"agent_actions":{"view_html":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV","download_json":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV.json","view_paper":"https://pith.science/paper/XYQRQRLG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.03117&json=true","fetch_graph":"https://pith.science/api/pith-number/XYQRQRLGRJY5OYVEA64ZUCUFRV/graph.json","fetch_events":"https://pith.science/api/pith-number/XYQRQRLGRJY5OYVEA64ZUCUFRV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV/action/storage_attestation","attest_author":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV/action/author_attestation","sign_citation":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV/action/citation_signature","submit_replication":"https://pith.science/pith/XYQRQRLGRJY5OYVEA64ZUCUFRV/action/replication_record"}},"created_at":"2026-05-18T00:35:39.337696+00:00","updated_at":"2026-05-18T00:35:39.337696+00:00"}