In the mathoverflow question , "Godel's Constructible Universe in Infinitary Logics (A Possible Solution to $HOD$ Problem), Prof Hamkins answered user46667's question 2



> 
> What is $\mathrm L\_{\infty}$? ($\mathrm L\_{\infty}$ is Goedel's constructible universe over the infinitary language $\mathcal L\_{\infty, \infty}$, where $\mathcal L\_{\infty, \infty}$ allows conjunctions and disjunctions of arbitrary (infinite) length, and arbitrary (infinite) quantifications
> 
> 
> 


as follows:



> 
> Thm. (Hamkins): $\mathrm L\_{\infty}$ is the entire set-theoretic universe $V$. (What does "entire" mean in this case?)
> 
> 
> 


His proof is based on the validity of the following claim:



> 
> What I claim specifically is that for every set $a$ there is a $\mathcal L\_{\infty,\infty}$ formula $\psi\_a(x)$ such that in any transitive set $M$ with $a$$\subset$$M$ we have $a$={$x$|$M$$\vDash$ $\psi\_a(x)$} [via $\in$-induction--my comment]
> 
> 
> 


My questions revolve around which sets can be defined by $\mathcal L\_{\infty,\infty}$-formulas:


i) Can choice functions be defined by $\mathcal L\_{\infty,\infty}$-formulas (my guess: certainly yes) so that $AC$ holds for $V$?


ii) Can amorphous sets be defined by $\mathcal L\_{\infty,\infty}$-formulas (my guess: possibly?) so that $AC$ fails for $V$?


iii) Can Cohen and Random reals (and sets thereof) be defined by $\mathcal L\_{\infty,\infty}$-formulas? (I have a paper in my collection titled "Forcing with Propositional Lindenbaum Algebras" by Alexandar Preovic, so my guess is that this question can be answered--yes, if the results in that paper aren't false.)


In general, I would like any references of any research on treating a set-theoretic universe $V$ as $\mathrm L\_{\infty}$.


Thank in advance. 



Further research on $\mathrm L_{\infty}$
Let me first address the issue of what $L\_\infty$ really is: given a model $M$ of ZFC, there is a class $\mathcal{L}\_{\infty,\infty}^M$ - the class of infinitary formulas belonging to $M$. Within $M$, we can then define $L\_\infty^M$ - a subclass of $M$. This is exactly analogous to $L$: each model of ZFC has its own constructible universe, which may or may not be the whole model. In the case of $L\_\infty$, we can in fact prove that $L\_\infty^M=M$. This is what is meant by "$L\_\infty$ is the entire set-theoretic universe $V$".


Note that the infinitary formulas used in construting $L\_\infty$ inside some model $M$, are exactly those formulas *in $M$*. We're not using any "external" infinitary formulas; this is an *internal* construction.


Note, though, that this begins by assuming $M$ is a model of ZFC! So asking whether we can use this to conclude "AC holds for $V$" is circular.


Is choice necessary, though? Good question. The issue is how exactly one defines "$\mathcal{L}\_{\infty,\infty}$" in the absence of choice. If we use well-ordered infinitary Boolean operations, then the answer is no; otherwise, yes, for the same reasons as in the ZFC case.


