Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011054734> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2011054734 endingPage "76" @default.
- W2011054734 startingPage "73" @default.
- W2011054734 abstract "It is shown that the feasibly constructive arithmetic theory IPV does not prove (double negation of) LMIN(NP), unless the polynomial hierarchy CPV-provably collapses. It is proved that PV plus (double negation of) LMIN(NP) intuitionistically proves PIND(coNP). It is observed that PV + PIND(NP ∪ coNP) does not intuitionistically prove NPB, a scheme which states that the extended Frege systems are not polynomially bounded. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W2011054734 created "2016-06-24" @default.
- W2011054734 creator A5025968166 @default.
- W2011054734 date "2005-01-01" @default.
- W2011054734 modified "2023-09-23" @default.
- W2011054734 title "Polynomial induction and length minimization in intuitionistic bounded arithmetic" @default.
- W2011054734 cites W1975734325 @default.
- W2011054734 cites W2012362668 @default.
- W2011054734 cites W2075380453 @default.
- W2011054734 cites W2077367803 @default.
- W2011054734 doi "https://doi.org/10.1002/malq.200410008" @default.
- W2011054734 hasPublicationYear "2005" @default.
- W2011054734 type Work @default.
- W2011054734 sameAs 2011054734 @default.
- W2011054734 citedByCount "1" @default.
- W2011054734 crossrefType "journal-article" @default.
- W2011054734 hasAuthorship W2011054734A5025968166 @default.
- W2011054734 hasBestOaLocation W20110547341 @default.
- W2011054734 hasConcept C111919701 @default.
- W2011054734 hasConcept C114614502 @default.
- W2011054734 hasConcept C118615104 @default.
- W2011054734 hasConcept C134306372 @default.
- W2011054734 hasConcept C136119220 @default.
- W2011054734 hasConcept C162324750 @default.
- W2011054734 hasConcept C199360897 @default.
- W2011054734 hasConcept C202444582 @default.
- W2011054734 hasConcept C2185349 @default.
- W2011054734 hasConcept C2776013622 @default.
- W2011054734 hasConcept C2778701210 @default.
- W2011054734 hasConcept C311688 @default.
- W2011054734 hasConcept C31170391 @default.
- W2011054734 hasConcept C33923547 @default.
- W2011054734 hasConcept C34388435 @default.
- W2011054734 hasConcept C34447519 @default.
- W2011054734 hasConcept C41008148 @default.
- W2011054734 hasConcept C77618280 @default.
- W2011054734 hasConcept C90119067 @default.
- W2011054734 hasConcept C94375191 @default.
- W2011054734 hasConcept C98045186 @default.
- W2011054734 hasConceptScore W2011054734C111919701 @default.
- W2011054734 hasConceptScore W2011054734C114614502 @default.
- W2011054734 hasConceptScore W2011054734C118615104 @default.
- W2011054734 hasConceptScore W2011054734C134306372 @default.
- W2011054734 hasConceptScore W2011054734C136119220 @default.
- W2011054734 hasConceptScore W2011054734C162324750 @default.
- W2011054734 hasConceptScore W2011054734C199360897 @default.
- W2011054734 hasConceptScore W2011054734C202444582 @default.
- W2011054734 hasConceptScore W2011054734C2185349 @default.
- W2011054734 hasConceptScore W2011054734C2776013622 @default.
- W2011054734 hasConceptScore W2011054734C2778701210 @default.
- W2011054734 hasConceptScore W2011054734C311688 @default.
- W2011054734 hasConceptScore W2011054734C31170391 @default.
- W2011054734 hasConceptScore W2011054734C33923547 @default.
- W2011054734 hasConceptScore W2011054734C34388435 @default.
- W2011054734 hasConceptScore W2011054734C34447519 @default.
- W2011054734 hasConceptScore W2011054734C41008148 @default.
- W2011054734 hasConceptScore W2011054734C77618280 @default.
- W2011054734 hasConceptScore W2011054734C90119067 @default.
- W2011054734 hasConceptScore W2011054734C94375191 @default.
- W2011054734 hasConceptScore W2011054734C98045186 @default.
- W2011054734 hasIssue "1" @default.
- W2011054734 hasLocation W20110547341 @default.
- W2011054734 hasLocation W20110547342 @default.
- W2011054734 hasOpenAccess W2011054734 @default.
- W2011054734 hasPrimaryLocation W20110547341 @default.
- W2011054734 hasRelatedWork W1501939853 @default.
- W2011054734 hasRelatedWork W1571113811 @default.
- W2011054734 hasRelatedWork W1966791644 @default.
- W2011054734 hasRelatedWork W1980837654 @default.
- W2011054734 hasRelatedWork W1989903304 @default.
- W2011054734 hasRelatedWork W2170520833 @default.
- W2011054734 hasRelatedWork W2171317148 @default.
- W2011054734 hasRelatedWork W2338870618 @default.
- W2011054734 hasRelatedWork W2952282291 @default.
- W2011054734 hasRelatedWork W2792625648 @default.
- W2011054734 hasVolume "51" @default.
- W2011054734 isParatext "false" @default.
- W2011054734 isRetracted "false" @default.
- W2011054734 magId "2011054734" @default.
- W2011054734 workType "article" @default.