Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

Eric Allender, George Davie, Luke Friedman, Samuel Hopkins, Iddo Tzameret. Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic. Chicago J. Theor. Comput. Sci., 2013, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: