Around the classic Fraisse amalgamation theorem in model theory we have the following notions:


**Definition (1):** If $M$ be an $\mathcal{L}$-structure then define:


$age(M):=\lbrace N~|~N~\text{is finite and embedable in}~M\rbrace$


**Definition (2):** We say that a class $\mathcal{K}$ of finite $\mathcal{L}$-structures have $HP$ if for all $M\in \mathcal{K}$ we have $age(M)\subseteq \mathcal{K}$. 


**Definition (3):** We say that a class $\mathcal{K}$ of finite $\mathcal{L}$-structures have $JEP$ if for all $M,N\in \mathcal{K}$ there is a $P\in \mathcal{K}$ such that $M$ and $N$ be embedable in $P$.


**Definition (4):** A class $\mathcal{K}$ of finite $\mathcal{L}$-structures called an $age$-class if there is an $\mathcal{L}$-structure $M$ such that $\mathcal{K}=age(M)$.


**Theorem (1):** If $K$ be a class of finite $\mathcal{L}$-structures with $HP$ and $JEP$ which has countable many members up to isomorphism then it is an $age$-class.


Now note to the following correspondence: 


**Definition (5):** Let $\mathcal{L}$ be a countable first order language then define:


$U\_{<\omega}(\mathcal{L}):=\lbrace M~|~M~\text{is a finite}~\mathcal{L}~\text{-structure} \rbrace$


Then $\frac{U\_{<\omega}(\mathcal{L})}{\cong}$ is a countable set which forms a partial order with the following well defined order:


$\forall M,N\in U\_{<\omega}(\mathcal{L})~~~~~[M]\_{\cong}\leq [N]\_{\cong}\Longleftrightarrow N~\text{is embedable in}~M$


**Remark (1):** Now consider the "countable" partial order $\mathbb{P}=\langle\frac{U\_{<\omega}(\mathcal{L})}{\cong},\leq\rangle$ as a "forcing notion" (with the largest element $[\emptyset]\_{\cong}$). Then for any class $\mathcal{K}$ of finite $\mathcal{L}$-structures with $HP$ and $JEP$ which has countable many members up to isomorphism (we call such collection a Fraisse class) the countable set $\frac{\mathcal{K}}{\cong}$ forms a "filter" over $\mathbb{P}$ and theorem (1) simply says that the "generic limit" of such filters is well defined. We call $\frac{\mathcal{K}}{\cong}$ a "Fraisse filter". Now one more step remains, "using Fraisse filters to produce generic models of $ZFC$ with special properties". In order to do this we first need to have a ground model of $ZFC$ which contains the partial order $\mathbb{P}$ as a member. So the first question is: 


**Question (1):** Let $\mathcal{L}$ be a countable first order language. Is there a c.t.m of $ZFC$ like $M$ such that $\langle\frac{U\_{<\omega}(\mathcal{L})}{\cong},\leq\rangle\in M$?


**Question (2):** Let $\mathcal{L}$ be a countable first order language and $M$ is a c.t.m of $ZFC$ such that $\langle\frac{U\_{<\omega}(\mathcal{L})}{\cong},\leq\rangle\in M$ and $\mathcal{K}$ is a Fraisse class which $\frac{\mathcal{K}}{\cong}$ forms a $\mathbb{P}$-generic Fraisse filter over $M$. Then what kind of "model theoretic" statements could be true in generic extensions $M[\mathcal{K}]$ by varying $\mathbb{P}$ and $\mathcal{K}$? For example can we prove the independence of Vaught's conjecture using this method?


**Remark (2):** Note that there are some similarities (and even differences) between behavior of the function $\kappa \mapsto I(T,\kappa)$ for some complete theory $T$ in a "countable" language and the function $\kappa \mapsto 2^{\kappa}$. For example both are increasing (By Shelah's proof of Morley's conjecture). Even we have $2^{\aleph\_{0}}=|P(\omega)|=|\frac{Mod\_{\omega}(T)}{\cong}|$. So it seems that "Vaught's Hypothesis" ($VH$)(i.e. For any complete theory $T$ in a countable language if $I(T,\aleph\_{0})>\aleph\_{0}$ then $I(T,\aleph\_{0})=2^{\aleph\_{0}}$) is just a "Continuum Hypothesis" ($CH$) (i.e. For any subset $X$ of real numbers if $|X|>\aleph\_{0}$ then $|X|=2^{\aleph\_{0}}$) in a different "space" which its points are "equivalence classes of finite structures up to isomorphism" not real numbers.


**Question (3):** Is there any known independence result about "model theoretic statements" using forcing? For example the results like the statement "...there is a generic extension of a c.t.m of $ZFC$ like $M[G]$ such that: $M[G]\models ~\text{Any theory}~T~\text{with the property}~P\_{1}~\text{has a model with the property}~P\_{2}$ " 



Can we force with Fraisse filters to solve Vaught's conjecture?
If I understand your definitions correctly, something more needs to be assumed about the language $\mathcal L$. If $\mathcal L$ is purely relational, then your forcing notion $\mathbb P$ is directed, in the sense that every two conditions have a common extension, because, given any two finite $\mathcal L$-structures, there is another in which they can both be embedded. That makes $\mathbb P$ trivial as a forcing notion; its separative quotient is the one-element poset, and its only $M$-generic filter is all of $\mathbb P$ (for any model $M$ that contains $\mathbb P$). 


Even if $\mathcal L$ is not purely relational, it seems that $\mathbb P$ will be just the disjoint union of several directed pieces, one piece for each maximal satisfiable (in finite models) set of atomic sentences. That would imply again that forcing with $\mathbb P$ is trivial.


