A+ CATEGORY SCIENTIFIC UNIT

Counting models of set theory

Volume 174 / 2002

Ali Enayat Fundamenta Mathematicae 174 (2002), 23-47 MSC: Primary 03C62, 03C15; Secondary 03H99. DOI: 10.4064/fm174-1-2

Abstract

Let $T$ denote a completion of ZF. We are interested in the number $\mu (T) $ of isomorphism types of countable well-founded models of $T$. Given any countable order type $\tau $, we are also interested in the number $\mu (T,\tau )$ of isomorphism types of countable models of $T$ whose ordinals have order type $\tau $. We prove:

$(1)$ Suppose ZFC has an uncountable well-founded model and $\kappa \in \omega \cup \{\aleph_{0}, \aleph _{1},2^{\aleph _{0}}\}$. There is some completion $T$ of ZF such that $\mu (T)=\kappa$.

$(2)$ If $\alpha <\omega _{1}$ and $\mu (T,\alpha )>\aleph _{0}$, then $\mu (T,\alpha )=2^{\aleph _{0}}$.

$(3)$ If $\alpha <\omega _{1}$ and $T\vdash {\bf V} \neq {\bf OD}$, then $\mu (T,\alpha )\in \{0,2^{\aleph _{0}}\}$.

$(4)$ If $\tau $ is not well-ordered then $\mu (T,\tau )\in \{0,2^{\aleph _{0}}\}$.

$(5)$ If ZFC $+$ “there is a measurable cardinal” has a well-founded model of height $\alpha <\omega _{1}$, then $\mu (T,\alpha )=2^{\aleph _{0}}$ for some complete extension $T$ of $\hbox{ZF}+\mathbf{V}=\mathbf{OD}$.

Authors

  • Ali EnayatDepartment of Mathematics and Statistics
    American University
    Washington, DC 20016-8050, U.S.A.
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image