jdh.hamkins.org
Algebraicity and implicit definability in set theory, CUNY, May 2013
This is a talk May 10, 2013 for the CUNY Set Theory Seminar. Abstract. An element a is definable in a model M if it is the unique object in M satisfying some first-order property. It is algebraic,…