Journal of Symbolic Logic

Pointwise definable models of set theory

Joel David Hamkins, David Linetsky, and Jonas Reitz

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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. 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 Gödel-Bernays set theory has a pointwise definable extension, in which every set and class is first-order definable without parameters.

Article information

Source
J. Symbolic Logic, Volume 78, Issue 1 (2013), 139-156.

Dates
First available in Project Euclid: 23 January 2013

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1358951104

Digital Object Identifier
doi:10.2178/jsl.7801090

Mathematical Reviews number (MathSciNet)
MR3087066

Zentralblatt MATH identifier
1270.03101

Subjects
Primary: 03E55: Large cardinals

Keywords
set theory forcing

Citation

Hamkins, Joel David; Linetsky, David; Reitz, Jonas. Pointwise definable models of set theory. J. Symbolic Logic 78 (2013), no. 1, 139--156. doi:10.2178/jsl.7801090. https://projecteuclid.org/euclid.jsl/1358951104


Export citation