scientific article; zbMATH DE number 922619

zbMath0864.03038MaRDI QIDQ4893139

Gaisi Takeuti, Masahiro Yasumoto

Publication date: 15 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bounded arithmeticmodels of arithmeticpolynomial time computabilityforcing extensionstwo-sorted structure

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

Partially definable forcing and bounded arithmetic

This page was built for publication: