Separations of theories in weak bounded arithmetic

DOI10.1016/0168-0072(94)00008-QzbMath0816.03026MaRDI QIDQ1344280

Gaisi Takeuti

Publication date: 20 July 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

separationweak bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

Some results on cut-elimination, provable well-orderings, induction and reflection ⋮ Relativizing small complexity classes and their theories

Cites Work

• Bounded arithmetic and the polynomial hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Separations of theories in weak bounded arithmetic