Solovay's model is a famous model of $\sf ZF$ where we start in $L$ with $\kappa$ inaccessible, and we collapse all the ordinals below $\kappa$ to be countable, without collapsing $\kappa$ itself, and then considering $L(\Bbb R)$.
Solovay proved that in that model every set of reals has nice regularity properties such as Lebesgue measurability, the Baire property, Ramsey property, etc.
Truss proved that we can mimic the same construction from any limit ordinal, and we simply pay the price that $\omega_1$ is singular, and the majority of properties no longer make "inherent sense" with their simplified definitions (as many rely on $\sf DC$) and while we can switch to "code-based definitions", this is generally hard to do, so we don't really do it very often.
Other, similar, models are often used in the study of Determinacy axioms. Here we start with a sequence of Woodin cardinals, $\delta_n$ with $\delta$ being their supremum, and we collapse all the Woodin cardinals to be countable without collapsing $\delta$ itself. Again we look at $L(\Bbb R)$, and here things work out like in Solovay's model, mainly because the large cardinals imply that $\delta$ is in fact regular in $L(x)$ for any $x\in V_\delta$. In particular, the $\omega$-sequence of the Woodin cardinals is not computable from any of the reals.
But now we can wonder. What happens when we take any limit of large enough cardinals?
Definition. We say that $\delta$ is a sharp cardinal if for every $x\in V_\delta$, $x^\#$ exists.
Remark. Note that if $\delta$ is a limit of Ramsey cardinals, then it is a sharp cardinal.
Suppose now that $\delta$ is a sharp cardinal, then we can look at $L(\Bbb R)$ when we collapse every $\alpha<\delta$ to be countable. Then this is a Solovay-style model satisfying $\sf DC$ and nice regularity properties.
We know have some understanding of the theory of this model when $\delta$ is a limit of Woodin cardinals.
What can we say about the theory of the reals in Solovay models obtained from sharp cardinals well below Woodin cardinals, e.g. limits of measurable, Ramsey, or even just the least sharp cardinal?
