{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:R2UMOGL2LF5Z4Q7EWH46SLYB6H","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":"597523744ca8835fbc7a132d0f9f52aba90d91f3936122f781225e8452404115","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-04T20:45:43Z","title_canon_sha256":"84f9036a8bfb9e75293d9da54d5e48988f1fc9c8e2221c95ee880196f8b6e280"},"schema_version":"1.0","source":{"id":"1812.01674","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.01674","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"arxiv_version","alias_value":"1812.01674v1","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.01674","created_at":"2026-05-17T23:59:00Z"},{"alias_kind":"pith_short_12","alias_value":"R2UMOGL2LF5Z","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_16","alias_value":"R2UMOGL2LF5Z4Q7E","created_at":"2026-05-18T12:32:50Z"},{"alias_kind":"pith_short_8","alias_value":"R2UMOGL2","created_at":"2026-05-18T12:32:50Z"}],"graph_snapshots":[{"event_id":"sha256:95570252dd81cdd083e8568b89992bb6befec2276154cc83ddee388ad289093e","target":"graph","created_at":"2026-05-17T23:59:00Z","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":"We explore from an algebraic viewpoint the properties of the tree languages definable with a first-order formula involving the ancestor predicate, using the description of these languages as those recognized by iterated block products of forest algebras defined from finite counter monoids. Proofs of nondefinability are infinite sequences of sets of forests, one for each level of the hierarchy of quantification levels that defines the corresponding variety of languages. The forests at a given level are built recursively by inserting forests from previous level at the ports of a suitable set of ","authors_text":"Martin Beaudry","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-04T20:45:43Z","title":"Proving that a Tree Language is not First-Order Definable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.01674","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:c97b1e51f65c5e4c02303ecdedefbaff1dc3e6e2271a6a747517939154cd2359","target":"record","created_at":"2026-05-17T23:59:00Z","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":"597523744ca8835fbc7a132d0f9f52aba90d91f3936122f781225e8452404115","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-12-04T20:45:43Z","title_canon_sha256":"84f9036a8bfb9e75293d9da54d5e48988f1fc9c8e2221c95ee880196f8b6e280"},"schema_version":"1.0","source":{"id":"1812.01674","kind":"arxiv","version":1}},"canonical_sha256":"8ea8c7197a597b9e43e4b1f9e92f01f1cb18be784dbfe2e0e76185f876c88326","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ea8c7197a597b9e43e4b1f9e92f01f1cb18be784dbfe2e0e76185f876c88326","first_computed_at":"2026-05-17T23:59:00.931584Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:00.931584Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LThRrtNs+Zx9VcXRbz8GbKkjbedd/9VJMfFJXp3er1iVBwL97nboWmCzSSARlA7AbUQsvGZJ6rn207JqFm6xCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:00.932017Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.01674","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c97b1e51f65c5e4c02303ecdedefbaff1dc3e6e2271a6a747517939154cd2359","sha256:95570252dd81cdd083e8568b89992bb6befec2276154cc83ddee388ad289093e"],"state_sha256":"8eb3c0f3bc5939daede8dcd2425949ab48955adb897b6077830044287a8e3c23"}