In this thesis, we study the model-theoretic treatment of a finite version of the Canonical Ramsey Theorem with a largeness condition and also a version of the Kanamori-McAloon principle. As a consequence, we produce new indicators for cuts satisfying PA. We also study the finite version of Thin Set Theorem.
