Translator Disclaimer
2018 Ehrenfeucht’s Lemma in Set Theory
Gunter Fuchs, Victoria Gitman, Joel David Hamkins
Notre Dame J. Formal Logic 59(3): 355-370 (2018). DOI: 10.1215/00294527-2018-0007

Abstract

Ehrenfeucht’s lemma asserts that whenever one element of a model of Peano arithmetic is definable from another, 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 fails in the forcing extension of the universe by adding a Cohen real. We go on to formulate a scheme of natural parametric generalizations of Ehrenfeucht’s lemma, namely, the principles of the form EL(A,P,Q), which asserts that P-definability from A implies Q-discernibility. We also consider various analogues of Ehrenfeucht’s lemma obtained by using algebraicity in place of definability, where a set b is algebraic in a if it is a member of a finite set definable from a. Ehrenfeucht’s lemma holds for the ordinal-algebraic sets, we prove, if and only if the ordinal-algebraic and ordinal-definable sets coincide. Using a similar analysis, we answer two open questions posed earlier by the third author and C. Leahy, showing that (i) algebraicity and definability need not coincide in models of set theory and (ii) the internal and external notions of being ordinal algebraic need not coincide.

Citation

Download Citation

Gunter Fuchs. Victoria Gitman. Joel David Hamkins. "Ehrenfeucht’s Lemma in Set Theory." Notre Dame J. Formal Logic 59 (3) 355 - 370, 2018. https://doi.org/10.1215/00294527-2018-0007

Information

Received: 8 January 2015; Accepted: 15 October 2015; Published: 2018
First available in Project Euclid: 20 June 2018

zbMATH: 06939324
MathSciNet: MR3832085
Digital Object Identifier: 10.1215/00294527-2018-0007

Subjects:
Primary: 03E45
Secondary: 03C55, 03C62, 03E47

Rights: Copyright © 2018 University of Notre Dame

JOURNAL ARTICLE
16 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.59 • No. 3 • 2018
Back to Top