PARTIALLY DEFINABLE FORCING AND BOUNDED ARITHMETIC

by Albert Atserias , Moritz Müller