1
$\begingroup$

Suppose a first order set theory $S$ has a countable model. Does it follow that there is a countable ordinal $\alpha$ so that $L_\alpha$ in the constructible hierarchy is a model of $S$?

$\endgroup$

1 Answer 1

8
$\begingroup$

For the question in the text, the answer is no. Let $S$ consist of (1) a sufficient finite number of ZF axioms to provide an absolute (i.e., $\Delta_1$ in the Lévy hierarchy) definition of the constructible hierarchy and (2) the sentence formalizing $V\neq L$.

For the question in the title, asking only for a constructible model and not necessarily one of the form $L_\alpha$, the answer is yes if the theory itself is constructible, but not in general.

$\endgroup$
5
  • $\begingroup$ What about any first order S which does not extend ZFC? Will such an S have a model $L_\alpha$ for countable $\alpha$ if it has a countable model? $\endgroup$ Commented Feb 24, 2022 at 14:54
  • 1
    $\begingroup$ @FAB The $S$ in the first paragraph of my answer does not extend ZFC. $\endgroup$ Commented Feb 24, 2022 at 15:02
  • $\begingroup$ I don't understand. Doesn't (2) invoke an extra axiom? – $\endgroup$ Commented Feb 24, 2022 at 15:37
  • 1
    $\begingroup$ Yes, $V\neq L$ is an axiom not in ZFC. But (1) is only part of ZFC. So the combination is not an extension of ZFC. $\endgroup$ Commented Feb 24, 2022 at 16:32
  • $\begingroup$ Ah, yes of course! :) What if (as is my real interest) S is ZFC minus the power set axiom, plus, for a countable ordinal $\gamma$, less than $\gamma$ applications of the power set operation? $\endgroup$ Commented Feb 25, 2022 at 16:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .