A few Remarks on n-infinite Forcing Companions


Milan Z. Grulović


We show that the basic properties of Robinson's infinite forcing companions are naturally transmitted to the so called $n$-infinite forcing companions and start with the examination of mutual relations of $n$-infinite forcing companions of Peano arithmetic.