Projectively definable family of sets of reals Is there a model of set theory in which:


*

*Every projectively definable family of sets of reals has an OD or projectively definable member;

*Every OD or projectively definable set of reals has the property of Baire.
PS: By a projectively definable family of sets of reals I mean:
There exists a formula $\varphi(\Gamma)$ where $\Gamma$ is supposed to be a set of (tuples) of reals and $\mathcal{F}$ is the family of sets defined by: $$\Gamma \in \mathcal{F} \;{\rm iff} \;   \varphi(\Gamma,a)$$
but $\varphi(\Gamma,a) : Q_1 x_1 \dots Q_n x_n Q'_1 z_1 \dots Q'_m z_m \psi(x,z,a,\Gamma)$ with $x$ and $z$ reals and integers respectively, and the $Q_i, Q'_j$ are quantifiers $\in \{ \forall, \exists\}$, $a$ are real parameters. $\psi$ is a $\Delta_0$ formula in the variables $x_i,z_n$ and $\Gamma$.
$\varphi$ and $\psi$ are formulas in the language of arithmetic.
Note that $\Gamma \subset \mathbb{R}^2$ to be precise. An example of $\varphi$ would be:
 $$\forall x \exists y (x,y) \in \Gamma \wedge [\forall z \forall t (((x,z) \in \Gamma) \wedge ((x,t) \in \Gamma)) \rightarrow z=t]$$ ($\Gamma$ is a function, here $x,y,z,t$ are assumed to be real numbers). 
Note that $\mathcal{F}$ may have cardinality $2^{2^{\aleph_0}}$ so we cannot parametrize it by reals.
 A: Let me ignore the OD issue for a moment, and just prove that there is always a projectively definable family of sets of reals, with no projective member. Indeed, there is such a family consisting of a single set. 
Namely, let $S$ be the full satisfaction relation on the reals for projective truth. Thus, $S$ consists of all the pairs $(\varphi,x)$, where $\varphi$ is a projective statement and $\varphi(x)$ holds. The set $S$ is not itself projective, for otherwise we could diagonalize against the projective sets by forming the set $\{ n\mid \neg\varphi(n,n)\}$, which would have to be projective, but cannot be defined by any projective formula. 
But now the point is that the singleton family ${\cal F}=\{S\}$ is definable by a formula of your type, and is therefore a projectively definable family of sets of reals in the sense of your question. The definition of this family simply notes that $S$ is the only set of pairs that obeys the Tarskian definition of truth, so that it gets the right answer on the atomic formulas, and also does the right thing on Boolean combinations and on quantifiers. That is, the set $S$ exhibits certain internal features — the recursive Tarskian definition of truth — and these features are expressible by quantifying only over integers and reals, provided that we can also refer to membership in $S$ in the expressions. 
This example rules out property 1, if one should ask for a projective member of the family. But since projective truth is ordinal definable, it doesn't rule out statement 1 as it is stated, and for this I have to think a bit more.
In any case, if $V=HOD$ then every set is OD, and so any model of $V=HOD$ will satisfy statement 1 in the ordinal-definable version. 
A: Probably "model of set theory" was intended to mean "model of $\mathsf{ZFC}$" but I thought it might be worth mentioning that if we consider models of $\mathsf{ZF}$ then the answer is yes—provided that for (1) we are satisfied with a member that is $\text{OD}_a$ for some real $a$ instead of a $\text{OD}$ member, which is clearly too much to hope for.
Let $M$ be a model of $\mathsf{ZF} + \mathsf{AD}^+$, for example $M = L(\mathbb{R})$ under the assumption that there are infinitely many Woodin cardinals with a measurable cardinal above them.  Letting $a$ be a real parameter, Woodin's basis theorem for $\Sigma^2_1(a)$ says that every nonempty $\Sigma^2_1(a)$ collection of sets of reals has a $\Delta^2_1(a)$ member.
This is even stronger than the desired result, because on one hand
every projective property can be expressed in a $\Sigma^2_1(a)$ way for some real $a$, and on the other hand every $\Delta^2_1(a)$ set of reals is definable from $a$.
Moreover (2) holds in this model $M$ because the Axiom of Determinacy implies that every set has the property of Baire.
