Pointwise definable models of set theory

  title={Pointwise definable models of set theory},
  author={Joel David Hamkins and David Linetsky and Jonas Reitz},
  journal={The Journal of Symbolic Logic},
  pages={139 - 156}
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… 

Algebraicity and Implicit Definability in Set Theory

The effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity is analyzed and it is shown that every (pointwise) algebraic model of ZF is actually pointwise definable.

When does every definable nonempty set have a definable element?

The assertion that every definable set has a definable element is equivalent over ZF to the principle V=HOD , and indeed, we prove, so is the assertion merely that every Π2‐definable set has an


Abstract In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented

Every countable model of arithmetic or set theory has a pointwise-definable end extension

. According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the

Countabilism and Maximality Principles

It is standard in set theory to assume that Cantor’s Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one

Ehrenfeucht's Lemma in Set Theory

Ehrenfeucht’s lemma holds for the ordinal-algebraic sets, and it is proved that algebraicity and definability need not coincide in models of set theory and the internal and external notions of being ordinal algebraic need not collide.


It is shown that both the definability (and, in fact, even the amenability) of the forcing relation and the truth lemma can fail for class forcing, and the forcing theorem is equivalent to the existence of a Boolean completion.

Fregean abstraction in Zermelo-Fraenkel set theory: a deflationary account

. The standard treatment of sets and definable classes in first-order Zermelo-Fraenkel set theory accords in many respects with the Fregean foundational framework, such as the distinction between

Least models of second-order set theories

The main theorems of this paper are (1) there is no least transitive model of Kelley--Morse set theory $\mathsf{KM}$ and (2) there is a least $\beta$-model---that is, a transitive model which is

The Structure of Models of Second-order Set Theories

This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the



Models of set theory with definable ordinals

This work provides a comprehensive treatment of Paris models and shows that for every infinite cardinal κ there is a Paris model of ZF of cardinality κ which has a nontrivial automorphism.

Forcing and models of arithmetic

It is shown that every countable model of Peano arithmetic with finitely many extra predicates (or of ZFC with finitely many extra predicates) is a reduct of a pointwise definable such model. This

The ground axiom

  • Jonas Reitz
  • Philosophy, Economics
    Journal of Symbolic Logic
  • 2007
The Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model, is first-order expressible, and any model of ZFC has a class forcing extension which satisfies it.

Counting models of set theory

Let T denote a completion of ZF. We are interested in the number μ(T ) of isomorphism types of countable well-founded models of T . Given any countable order type τ , we are also interested in the

Set-theoretic geology

The Structure of Models of Peano Arithmetic

Preface 1. Basics 2. Extensions 3. Minimal and other types 4. Substructure lattices 5. How to control types 6. Generics and forcing 7. Cuts 8. Automorphisms of recursively saturated models 9.


A stronger form of resurrection is introduced and it is shown that it gives rise to families of axioms which are consistent relative to extendible cardinals, and which imply the strongest known instances of forcing axiomatic, such as Martin’s Maximum++.

Introduction to mathematical logic

This book discusses the semantics of Predicate Logic, and some of theorems of A. Robinson, Craig and Beth's treatment of Peano's Axiom System.

An Introduction to Mathematical Logic

Background semantics of propositional logic propositional logic first order languages first order logic logic and mathematics Godel's "Incompleteness Theorem" ,using Church's thesis recursive

Archive for mathematical logic

  • Philosophy
  • 1987
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or