activity
20152026
most citedA Note on Semi-Algebraic Proofs and Gaussian Elimination over Prime Fields

3 citations · 6 across the 10 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2026

From Gödel incompleteness to the consistency of circuit lower bounds

Albert Atserias, Moritz Müller

We prove that the bounded arithmetic theory is consistent with EXP P/poly. More generally, we show that certain separations of from a theory imp…