scientific article; zbMATH DE number 218509
From MaRDI portal
Publication:4694224
zbMath0790.03057MaRDI QIDQ4694224
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (3)
Unprovability of consistency statements in fragments of bounded arithmetic ⋮ CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC ⋮ \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
This page was built for publication:
