All Questions

Is there a c.e. theory $T⊢\text{ZFC}$ in the language of set theory such that the minimum transitive model of $T$ exists but does not satisfy $V=L$? You may assume that ZFC has transitive models. ...

(The original version of this question was much narrower and less natural; but see the edit history if interested.) Say that a good logic is a regular logic $\mathcal{L}$ containing $\mathsf{FOL}$ ...

Say that a good logic is a regular logic $\mathcal{L}$ containing $\mathsf{FOL}$ and having the finite use property and the strong downward Lowenheim-Skolem property together with, for each finite ...