Abstract:We define typical forcings encompassing many informal forcing arguments in bounded arithmetic and give general conditions for such forcings to produce models of the universal variant of relativized $T^1_2$. We apply this result to study the relative complexity of total (type 2) NP search problems associated to finitary combinatorial principles. Complexity theory compares such problems with respect to polynomial time many-one or Turing reductions. From a logical perspective such problems are graded according to the bounded arithmetic theories that prove their totality. The logical analogue of a reduction is to prove the totality of one problem from the totality of another. The link between the two perspectives is tight for what we call universal variants of relativized bounded arithmetics. We strengthen a theorem of Buss and Johnson (2012) that infers relative bounded depth Frege proofs of totality from polynomial time Turing reducibility. As an application of our general forcing method we derive a strong form of Riis' finitization theorem (1993). We extend it by exhibiting a simple model-theoretic property that implies independence from the universal variant of relativized $T^1_2$ plus the weak pigeonhole principle. More generally, we show that the universal variant of relativized $T^1_2$ does not prove (the totality of the total NP search problem associated to) a strong finitary combinatorial principle from a weak one. Being weak or strong are simple model-theoretic properties based on the behaviour of the principles with respect to finite structures that are only partially defined.

Creature forcing and topological Ramsey spaces

Topological games in Ramsey spaces

Hyperfiniteness on Topological Ramsey Spaces

Nonproper products

Topological properties of some classes of submodules

Typical forcings, NP search problems and an extension of a theorem of Riis

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces

The intersection number for forcing notions

T 0 -spaces and the lower topology

Preservation of Topological Properties by Strongly Proper Forcings

Finite trees are Ramsey under topological embeddings

Sparse graphs and the fixed points on type spaces property

Sequential topological complexity of aspherical spaces and sectional categories of subgroup inclusions

Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters

Borel sets of Rado graphs and Ramsey's Theorem

Generic properties of topological groups

Proper forcing and rectangular Ramsey theorems

Uncountable trees and Cohen $κ$-reals

The externally definable Ramsey property and fixed points on type spaces

Class-Forcing in Class Theory

Multiple Cylinder of Relations for Finite Spaces and Nerve Theorem for Strong-Good Cover