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, in...
View ArticleWhen does every definable set have a definable member? CUNY Set Theory...
This will be a talk for the CUNY set theory seminar, October 10, 2014, 12pm GC 6417. Abstract. Although the concept of `being definable’ is not generally expressible in the language of set theory, it...
View Article
More Pages to Explore .....