I have shown some metatheorems like $P(\Gamma):=(\Gamma\vdash\psi\Leftrightarrow\Gamma\vDash\psi)$ or $Q(\Gamma):=(\Gamma\vdash\psi\Leftrightarrow\ \vdash\bigwedge\Gamma\rightarrow\psi)$ for all finite sets of formulas $\Gamma$. Now I would like to extend these to infinite $\Gamma$.
My idea is to show that finite subsets $(\Phi_n)_{n\in\mathbb{N}}$ with $\Gamma\,{=}\,\bigcup_{n\in\mathbb{N}}\Phi_n$ exist such that $P(\Phi_n)$ is valid for all $n\in\mathbb{N}$. I feel like this should be possible using the compactness theorem.
Next, I would like to use $Q$ for a definition over infinite sets, e.g. $\Gamma\vdash\psi$ iff there are finite subsets $(\Phi_n)_{n\in\mathbb{N}}$ with $\Gamma\,{=}\,\bigcup_{n\in\mathbb{N}}\Phi_n$ such that $\vdash\bigwedge\Phi_n\rightarrow\psi$ for all $n\in\mathbb{N}$. How can I argue for the existence of such subsets, and is my idea correct? If not, how is this usually done?
EDIT: Don't we have by compactness $\Gamma\vDash\psi$
$\Leftrightarrow\Gamma\cup\{\lnot\psi\}$ unsatisfiable
$\Leftrightarrow$ $\exists$ finite $\Phi\subseteq\Gamma\cup\{\lnot\psi\}:\Phi$ unsatisfiable
$\Leftrightarrow$ $\exists$ finite $\Phi\subseteq\Gamma:\Phi\cup\{\lnot\psi\}$ unsatisfiable
$\Leftrightarrow$ $\exists$ finite $\Phi\subseteq\Gamma:\Phi\vDash\psi$,
and thus $P(\Phi)$ for finite $\Phi$ directly shows $P(\Gamma)$ for infinite $\Phi$ ?
And isn't $\Gamma\vdash\psi$ thus equivalent to $\Gamma\vDash\psi$ which is equivalent to $\exists$ finite $\Phi\subseteq\Gamma:~\vdash\bigwedge\Phi\rightarrow\psi$ ?