Skolem functions of arithmetical sentences.

DOI10.1016/S0890-5401(03)00085-3zbMath1047.03032MaRDI QIDQ1427862

D. Massart

Publication date: 14 March 2004

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

generalized Riemann hypothesis; Skolem functions; polynomial time algorithms; polynomial bounds; arithmetical formulas

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03D15: Complexity of computation (including implicit computational complexity)

03F30: First-order arithmetic and fragments

03C62: Models of arithmetic and set theory