A second order version of S2i and U21

DOI10.2307/2275071zbMath0747.03028OpenAlexW1972719943MaRDI QIDQ3985100

Gaisi Takeuti

Publication date: 27 June 1992

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275071

zbMATH Keywords

provabilitybounded arithmeticseparation

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Theories with self-application and computational complexity.

This page was built for publication: A second order version of S₂ⁱ and U₂¹