A few remarks on n-infinite forcing companions
Milan Z. Grulović · Publications de l Institut Mathematique · 2007
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.