Showing 1–1 of 1 results for author: Linetsky, D

Pointwise Definable Models of Set Theory

Authors: Joel David Hamkins, David Linetsky, Jonas Reitz

Abstract: A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are continuum many pointwise definable models of ZFC. If there is a transitive model of ZFC, then there are continuum many pointwise definable transitive models of ZFC.… ▽ More A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are continuum many pointwise definable models of ZFC. If there is a transitive model of ZFC, then there are continuum many pointwise definable transitive models of ZFC. What is more, every countable model of ZFC has a class forcing extension that is pointwise definable. Indeed, for the main contribution of this article, every countable model of Godel-Bernays set theory has a pointwise definable extension, in which every set and class is first-order definable without parameters. △ Less

Submitted 18 June, 2012; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: 23 pages

MSC Class: 03E55