This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/subjekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n20http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985840%3A_____%2F11%3A00359552%21RIV12-AV0-67985840/
n19http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985840%3A_____%2F11%3A00359552%21RIV12-AV0-67985840
rdf:type
n11:Vysledek skos:Concept
dcterms:description
We define a new NP search problem, the %22local improvement%22 principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the for all Sigma(b)(1) consequences of V-2(1) and that natural restrictions of it characterize the for all Sigma(b)(1) consequences of U-2(1) and of the bounded arithmetic hierarchy. We also show that over V-0 it characterizes the for all Sigma(B)(0) consequences of V-1 and hence that, in some sense, a miniaturized version of the principle gives a new characterization of the for all Pi(b)(1) consequences of S-2(1). Throughout our search problems are %22type-2%22 NP search problems, which take second-order objects as parameters: (c) 2011 Elsevier B.V. All rights reserved. We define a new NP search problem, the %22local improvement%22 principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the for all Sigma(b)(1) consequences of V-2(1) and that natural restrictions of it characterize the for all Sigma(b)(1) consequences of U-2(1) and of the bounded arithmetic hierarchy. We also show that over V-0 it characterizes the for all Sigma(B)(0) consequences of V-1 and hence that, in some sense, a miniaturized version of the principle gives a new characterization of the for all Pi(b)(1) consequences of S-2(1). Throughout our search problems are %22type-2%22 NP search problems, which take second-order objects as parameters: (c) 2011 Elsevier B.V. All rights reserved.
dcterms:title
The provably total NP search problems of weak second order bounded arithmetic The provably total NP search problems of weak second order bounded arithmetic
skos:prefLabel
The provably total NP search problems of weak second order bounded arithmetic The provably total NP search problems of weak second order bounded arithmetic
skos:notation
RIV/67985840:_____/11:00359552!RIV12-AV0-67985840
n11:predkladatel
n12:ico%3A67985840
n4:aktivita
n5:P n5:Z
n4:aktivity
P(IAA100190902), P(LC505), Z(AV0Z10190503)
n4:cisloPeriodika
6
n4:dodaniDat
n16:2012
n4:domaciTvurceVysledku
n14:3561410 n14:6610714
n4:druhVysledku
n8:J
n4:duvernostUdaju
n17:S
n4:entitaPredkladatele
n9:predkladatel
n4:idSjednocenehoVysledku
224925
n4:idVysledku
RIV/67985840:_____/11:00359552
n4:jazykVysledku
n10:eng
n4:klicovaSlova
complexity; fragments
n4:klicoveSlovo
n15:fragments n15:complexity
n4:kodStatuVydavatele
NL - Nizozemsko
n4:kontrolniKodProRIV
[9E27C181F804]
n4:nazevZdroje
Annals of Pure and Applied Logic
n4:obor
n18:BA
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
3
n4:projekt
n13:IAA100190902 n13:LC505
n4:rokUplatneniVysledku
n16:2011
n4:svazekPeriodika
162
n4:tvurceVysledku
Thapen, Neil Kolodziejczyk, L.. A. Nguyen, Phuong
n4:wos
000289022500002
n4:zamer
n20:AV0Z10190503
s:issn
0168-0072
s:numberOfPages
28
n19:doi
10.1016/j.apal.2010.12.002