Polynomial time ultrapowers and the consistency of circuit lower bounds

Jan Bydzovsky, Moritz Müller. Polynomial time ultrapowers and the consistency of circuit lower bounds. Arch. Math. Log., 59(1):127-147, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.