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.