# Is the existence of such a transitive model $M$ of ZFC consistent?

Questions.

• Q0. Does anyone know of a refutation, in ZFC, of the following statement?

• Q1. If not, does ZFC plus large cardinals prove its consistency?

Statement. There exists a transitive model $M$ of ZFC having height strictly less than $\beth_1$ (equivalently, strictly less than $|\mathbb{R}|$) such that for all $\kappa \in M$, we have that if $M$ believes that $\kappa$ is a cardinal number, then $\kappa$ really is a cardinal number (in the ambient universe).

Motivation. It may be possible to formulate one or more "anti-continuum hypotheses" (ACH) based on the existence of such models. I'd be interested in learning whether any of the usual cardinal characteristics of the continuum can be proved distinct (or equal, as the case may be) using ACH axioms.

Start with two inaccessible cardinals and $V=L$. Then add Cohen reals so the continuum equals to the larger of the two, and consider $L_\kappa$ where $\kappa$ is the smaller inaccessible.
On the other hand, if $M$ is such model, of height $\kappa$ then $\kappa$ is a cardinal in $V$ and therefore in $L$, it is not hard to show that it has to be a $\beth$ fixed point in $L$, and therefore it has to be worldly in $L$.