{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:WFMMJAXWPJEZBB6WTT5VSF3R5I","short_pith_number":"pith:WFMMJAXW","schema_version":"1.0","canonical_sha256":"b158c482f67a499087d69cfb591771ea34d8b99f7e94b38f808e23baf56794a1","source":{"kind":"arxiv","id":"1501.01918","version":1},"attestation_state":"computed","paper":{"title":"Ehrenfeucht's lemma in set theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gunter Fuchs, Joel David Hamkins, Victoria Gitman","submitted_at":"2015-01-08T18:10:44Z","abstract_excerpt":"Ehrenfeucht's lemma (1973) asserts that whenever one element of a model of Peano arithmetic is definable from another, then they satisfy different types. We consider here the analogue of Ehrenfeucht's lemma for models of set theory. The original argument applies directly to the ordinal-definable elements of any model of set theory, and in particular, Ehrenfeucht's lemma holds fully for models of set theory satisfying $V=HOD$. We show that the lemma can fail, however, in models of set theory with $V\\neq HOD$, and it necessarily fails in the forcing extension to add a generic Cohen real. We go o"},"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":"1501.01918","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-01-08T18:10:44Z","cross_cats_sorted":[],"title_canon_sha256":"cede890c5cf364057978b86160146b39b9ea1c8bab96923523068659b667c75d","abstract_canon_sha256":"7571fc74b26c131f650e497dd1e41327695c23278edbddb227f89d3fc904e2e7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:11.616022Z","signature_b64":"Cr4kxW/CcwpnLigBcTndPOvOXOWEKUCqiZQ9eF5rU/oExxvum+1fDfDcBO6lCWfR8CvZZRkq6rS4trLy/x/2BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b158c482f67a499087d69cfb591771ea34d8b99f7e94b38f808e23baf56794a1","last_reissued_at":"2026-05-18T00:08:11.615535Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:11.615535Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ehrenfeucht's lemma in set theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Gunter Fuchs, Joel David Hamkins, Victoria Gitman","submitted_at":"2015-01-08T18:10:44Z","abstract_excerpt":"Ehrenfeucht's lemma (1973) asserts that whenever one element of a model of Peano arithmetic is definable from another, then they satisfy different types. We consider here the analogue of Ehrenfeucht's lemma for models of set theory. The original argument applies directly to the ordinal-definable elements of any model of set theory, and in particular, Ehrenfeucht's lemma holds fully for models of set theory satisfying $V=HOD$. We show that the lemma can fail, however, in models of set theory with $V\\neq HOD$, and it necessarily fails in the forcing extension to add a generic Cohen real. We go o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.01918","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":"1501.01918","created_at":"2026-05-18T00:08:11.615614+00:00"},{"alias_kind":"arxiv_version","alias_value":"1501.01918v1","created_at":"2026-05-18T00:08:11.615614+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.01918","created_at":"2026-05-18T00:08:11.615614+00:00"},{"alias_kind":"pith_short_12","alias_value":"WFMMJAXWPJEZ","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"WFMMJAXWPJEZBB6W","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"WFMMJAXW","created_at":"2026-05-18T12:29:47.479230+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/WFMMJAXWPJEZBB6WTT5VSF3R5I","json":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I.json","graph_json":"https://pith.science/api/pith-number/WFMMJAXWPJEZBB6WTT5VSF3R5I/graph.json","events_json":"https://pith.science/api/pith-number/WFMMJAXWPJEZBB6WTT5VSF3R5I/events.json","paper":"https://pith.science/paper/WFMMJAXW"},"agent_actions":{"view_html":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I","download_json":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I.json","view_paper":"https://pith.science/paper/WFMMJAXW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1501.01918&json=true","fetch_graph":"https://pith.science/api/pith-number/WFMMJAXWPJEZBB6WTT5VSF3R5I/graph.json","fetch_events":"https://pith.science/api/pith-number/WFMMJAXWPJEZBB6WTT5VSF3R5I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I/action/storage_attestation","attest_author":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I/action/author_attestation","sign_citation":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I/action/citation_signature","submit_replication":"https://pith.science/pith/WFMMJAXWPJEZBB6WTT5VSF3R5I/action/replication_record"}},"created_at":"2026-05-18T00:08:11.615614+00:00","updated_at":"2026-05-18T00:08:11.615614+00:00"}