On $n$-finite forcing


Milan Grulović




The main result of this paper is that $n$-finite forcing companion (of a given theory) can be obtained by an application of (Robinson's) finite forcing (Corollary 3.3). Hence, in particular, it follows: for any theory $T$ defined In a language $L$ there exists its extension defined in a suitable expanded language $L'$, the finite and $n$-finite forcing companions of which coincide (Theorem 3.3).