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, ...
This is a preview. Log in through your library . The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback