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}$ "