If $0^\sharp$ exists then the $L$-indiscernibles form a proper class of ordinals without any infinite constructible subset, as $0^\sharp$ can be defined from any infinite increasing sequence $\langle \kappa\_i\mid i<\omega\rangle$ of them as
$$0^\sharp = \{\varphi(v\_0,\dots, v\_n)\mid L\_{\sup\_{i<\omega}\kappa\_i}\models\varphi(\kappa\_0,\dots, \kappa\_n)\}$$
On the other hand we, can force a set of ordinals of arbitrary size $\lambda$ without infinite constructible subsets by forcing with finite partial functions $p:\lambda\rightarrow 2$ (which is the same as adding $\lambda$-many Cohen reals). But clearly the class-sized version of this does not preserve $\mathrm{ZFC}$.


My question is:



> 
> Is there a model of $\mathrm{ZFC}$ with a definable proper class of ordinals without an infinite constructible subset, yet $0^\sharp$ does not exist in this model?
> 
> 
> 


Such a model cannot be a generic extension (by set-sized forcing) of $L$, as otherwise one condition in the generic filter must force an infinite amount of ordinals into this class and $L$ can see this.


This question is related to [this question](https://mathoverflow.net/q/101821/125703) by Joel Hamkins in the following way: Suppose $V$ has a nonconstructible real and there is a definable embedding $\pi:(V, \in)\rightarrow (L, \in)$ (in the sense of that question). Let $C$ be the range of $\mu\circ\pi$ where $\mu$ sends a set in $L$ to its rank in the canonical global wellorder. Then by the [answer of Joel Hamkins](https://mathoverflow.net/a/147417/125703), $0^\sharp$ does not exist and the arguments in the [answer of Farmer Schlutzenberg](https://mathoverflow.net/a/396181/125703) show that $C$ does not have an infinite constructible subset. It seems to be open whether this scenario is consistent.


*(I have [asked this question](https://math.stackexchange.com/q/4288933/457161) on MSE before but it did not get answered there)*



A proper class of ordinals without an infinite constructible subset

> 
> *Stanley, M. C.*, [**A cardinal preserving immune partition of the ordinals**](http://dx.doi.org/10.4064/fm-148-3-199-221), Fundam. Math. 148, No. 3, 199-221 (1995). [ZBL0843.03028](https://zbmath.org/?q=an:0843.03028).
> 
> 
> 


An infinite set (or class) of ordinals is said to be immune if it neither contains nor is disjoint from any infinite constructible subset of its supremum. The main result of the paper reads as follows: There exists an immune class of ordinals in a cardinal-preserving and GCH-preserving class generic extension of L.


