{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:BT2SACOHUDKBYM3KS4E5CSTR37","short_pith_number":"pith:BT2SACOH","schema_version":"1.0","canonical_sha256":"0cf52009c7a0d41c336a9709d14a71dff7c3f59470020f254a577367734bceb0","source":{"kind":"arxiv","id":"1802.06844","version":2},"attestation_state":"computed","paper":{"title":"On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gergely Sz\\'ekely, Koen Lefever","submitted_at":"2018-02-19T20:46:38Z","abstract_excerpt":"For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andr\\'eka and N\\'emeti generalization as one of the many equivalent formulations for languages with disjoint sig"},"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":"1802.06844","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-02-19T20:46:38Z","cross_cats_sorted":[],"title_canon_sha256":"81360d0af1905b0131e1010b884f8172cff3bd586a6eaa867938db71d3295dd9","abstract_canon_sha256":"745df67735c25983010911a7fe721a9624bd2cc127b463dd16c067cc430a588e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:44.141504Z","signature_b64":"Q92rROSqgzO/ojYVNgiLCAt+7A4sAcG03W8+eTBk++iAvsGx0F3mBX3X26IDDZ1V/tkgtA1uqepw4Mtg/UY9Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0cf52009c7a0d41c336a9709d14a71dff7c3f59470020f254a577367734bceb0","last_reissued_at":"2026-05-18T00:22:44.140878Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:44.140878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gergely Sz\\'ekely, Koen Lefever","submitted_at":"2018-02-19T20:46:38Z","abstract_excerpt":"For simplicity, most of the literature introduces the concept of definitional equivalence only to languages with disjoint signatures. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to languages with non-disjoint signatures and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce the Andr\\'eka and N\\'emeti generalization as one of the many equivalent formulations for languages with disjoint sig"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.06844","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":"1802.06844","created_at":"2026-05-18T00:22:44.140957+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.06844v2","created_at":"2026-05-18T00:22:44.140957+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.06844","created_at":"2026-05-18T00:22:44.140957+00:00"},{"alias_kind":"pith_short_12","alias_value":"BT2SACOHUDKB","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"BT2SACOHUDKBYM3K","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"BT2SACOH","created_at":"2026-05-18T12:32:16.446611+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/BT2SACOHUDKBYM3KS4E5CSTR37","json":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37.json","graph_json":"https://pith.science/api/pith-number/BT2SACOHUDKBYM3KS4E5CSTR37/graph.json","events_json":"https://pith.science/api/pith-number/BT2SACOHUDKBYM3KS4E5CSTR37/events.json","paper":"https://pith.science/paper/BT2SACOH"},"agent_actions":{"view_html":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37","download_json":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37.json","view_paper":"https://pith.science/paper/BT2SACOH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.06844&json=true","fetch_graph":"https://pith.science/api/pith-number/BT2SACOHUDKBYM3KS4E5CSTR37/graph.json","fetch_events":"https://pith.science/api/pith-number/BT2SACOHUDKBYM3KS4E5CSTR37/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37/action/storage_attestation","attest_author":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37/action/author_attestation","sign_citation":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37/action/citation_signature","submit_replication":"https://pith.science/pith/BT2SACOHUDKBYM3KS4E5CSTR37/action/replication_record"}},"created_at":"2026-05-18T00:22:44.140957+00:00","updated_at":"2026-05-18T00:22:44.140957+00:00"}