It is well known that the [von Neumann universes](https://en.wikipedia.org/wiki/Von_Neumann_universe) $V\_{\alpha}$ is a model of ZF(C) when $\alpha$ is an inaccessible cardinal. In the following let $V$ be such a model of ZF(C). It is also well known (see corollary 5.3 of Set Theory, The Third Edition, by Thomas Jech) that assuming axiom of choice every successor aleph cardinal, $\aleph\_{\beta+1}$, is a regular cardinal for any ordinal number $\beta$. This means that in ZFC (together with the necessary assumption on existence of the inaccessible cardinal necessary to construct $V$) we have:



> 
> For any cardinal number $\alpha \in V$ in the universe there is a *regular* cardinal $\beta \in V$ in the same universe, such that $\alpha < \beta$.
> 
> 
> 


Does this statement hold in ZF? In other words, is it provable without the axiom of choice that for any given cardinal number in a universe there a strictly larger and regular cardinal *in that universe*?


**Edit:**
The answer to the question above is no as pointed out in the comments by Mohammad Golshani. The question then is what other axiom, weaker than the axiom of choice allows us to prove the statement above?



Existence of regular cardinals larger than an arbitrary cardinal in von Neumann universes without axiom of choice
Actually, if you assume that every set is inside a universe, then you can get something slightly weaker, but you do get a class of inaccessible cardinals which are regular. So this is already something. 


Patterns of singular cardinals can be difficult to obtain sometimes, but we have no reason to believe that they are necessarily inconsistent.


Specially, it seems that you are asking for a model where all regular cardinals are strongly inaccessible as well, and there is a class of regular cardinals. Then every set is in a universe, but you can't find arbitrarily large cardinals in any given universe (assuming there is no inaccessible limit of inaccessible cardinals, of course, but we can always chop off the universe at the least such inaccessible for such result).


This was shown to be consistent by Arthur Apter [1], although I did not read the paper in detail to say whether or not each of these regular limit cardinals is also inaccessible (in the sense that $V\_\kappa$ is a model of $\sf ZF\_2$, or a universe as you might want to call it). It does seem to be the case, though.


And of course, it is consistent that all cardinals have countable cofinal, there there are no universes, but no uncountable regular cardinals either (See [2] and [3]).




---


1. *Apter, Arthur W.*, [**A cardinal pattern inspired by $\text{AD}$**](http://dx.doi.org/10.1002/malq.19960420118), Math. Log. Q. 42, No.2, 211-218 (1996). [ZBL0857.03030](https://zbmath.org/?q=an:0857.03030).
2. *Gitik, M.*, [**All uncountable cardinals can be singular**](http://dx.doi.org/10.1007/BF02760939), Isr. J. Math. 35, 61-88 (1980). [ZBL0439.03036](https://zbmath.org/?q=an:0439.03036).
3. *Gitik, Moti*, [**Regular cardinals in models of ZF**](http://dx.doi.org/10.2307/1999783), Trans. Am. Math. Soc. 290, 41-68 (1985). [ZBL0589.03033](https://zbmath.org/?q=an:0589.03033).


