What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)?
type: Item
instance of: scholarly article
title: What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)?
zbMATH Open document ID: 0834.03023
DOI: 10.1016/0168-0072(94)00059-C
author: Fernando Ferreira
published in: Annals of Pure and Applied Logic
publication date: 1995-11-02T00:00:00Z
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 802549
zbMATH Keywords: bounded arithmetic
zbMATH Keywords: provability
zbMATH Keywords: witnesses
zbMATH Keywords: PLS-problems
MaRDI profile type: Publication
cites work: Q3794177
cites work: An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic
cites work: Q3487327
cites work: How easy is local search?
cites work: Bounded arithmetic and the polynomial hierarchy
description: scientific article; zbMATH DE number 802549