Abstract:We formalize various counting principles and compare their strengths over $V^{0}$. In particular, we conjecture the following mutual independence between: (1) a uniform version of modular counting principles and the pigeonhole principle for injections, (2) a version of the oddtown theorem and modular counting principles of modulus $p$, where $p$ is any natural number which is not a power of $2$, (3) and a version of Fisher's inequality and modular counting principles. Then, we give sufficient conditions to prove them. We give a variation of the notion of $PHP$-tree and $k$-evaluation to show that any Frege proof of the pigeonhole principle for injections admitting the uniform counting principle as an axiom scheme cannot have $o(n)$-evaluations. As for the remaining two, we utilize well-known notions of $p$-tree and $k$-evaluation and reduce the problems to the existence of certain families of polynomials witnessing violations of the corresponding combinatorial principles with low-degree Nullstellensatz proofs from the violation of the modular counting principle in concern.

Split Principles

Schmidt Type Partitions

Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras

Splitting chains, tunnels and twisted sums

Splittings for -correspondences and strong shift equivalence

Finding Balance: Split Graphs and Related Classes

Split objects with respect to a fully invariant short exact sequence in abelian categories

Preservation of splitting families and cardinal characteristics of the continuum

Invariant splitting principles for the Lipshitz--Ozsváth--Thurston correspondence

On some $Σ^{B}_{0}$-formulae generalizing counting principles over $V^{0}$

Splittings for C*-correspondences and strong shift equivalence

Split graphs: combinatorial species and asymptotics

Obstructions to compatible splittings

A Graph Approach to A Splitting Theorem

Splitting a Logic Program Revisited.

Partition models, Permutations of infinite sets without fixed points, and weak forms of AC

The Size of 3-Compatible, Weakly Compatible Split Systems

Split epimorphims and Baer sums of left skew braces

Quartets in Maximal Weakly Compatible Split Systems

Proxy principles in combinatorial set theory

Some Results on Finitely Splitting Subtrees of Aronszajn Trees