FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167477884> ?p ?o ?g. }

• W2167477884 endingPage "138" @default.
• W2167477884 startingPage "106" @default.
• W2167477884 abstract "We give combinatorial principles GIk, based on k-turn games, which are complete for the class of NP search problems provably total at the kth level Tk2 of the bounded arithmetic hierarchy and hence characterize the ∀ Σ ^ 1 b consequences of Tk2. Our argument uses a translation of first-order proofs into large, uniform propositional proofs in a system in which the soundness of the rules can be witnessed by polynomial time reductions between games. We show that ∀ Σ ^ 1 b ( α ) conservativity of T 2 i + 1 ( α ) over T 2 i ( α ) already implies ∀ Σ ^ 1 b ( α ) conservativity of T2(α) over T 2 i ( α ). We translate this into propositional form and give a polylogarithmic width CNF GI ¯ 3 such that if GI ¯ 3 has small R(log) refutations then so does any polylogarithmic width CNF which has small constant depth refutations. We prove a resolution lower bound for GI ¯ 3 . We use our characterization to give a sufficient condition for the totality of a relativized NP search problem to be unprovable in T 2 i ( α ) in terms of a non-logical question about multiparty communication protocols." @default.
• W2167477884 created "2016-06-24" @default.
• W2167477884 creator A5007592654 @default.
• W2167477884 creator A5051107679 @default.
• W2167477884 date "2011-02-01" @default.
• W2167477884 modified "2023-09-25" @default.
• W2167477884 title "The provably total search problems of bounded arithmetic" @default.
• W2167477884 cites W1026831770 @default.
• W2167477884 cites W1539410326 @default.
• W2167477884 cites W1572440476 @default.
• W2167477884 cites W1968584500 @default.
• W2167477884 cites W1985834822 @default.
• W2167477884 cites W1995120485 @default.
• W2167477884 cites W2011612028 @default.
• W2167477884 cites W2026967932 @default.
• W2167477884 cites W2029390834 @default.
• W2167477884 cites W2036503832 @default.
• W2167477884 cites W2037028865 @default.
• W2167477884 cites W2049645218 @default.
• W2167477884 cites W2052942192 @default.
• W2167477884 cites W2056827464 @default.
• W2167477884 cites W2071204190 @default.
• W2167477884 cites W2080353886 @default.
• W2167477884 cites W2095226356 @default.
• W2167477884 cites W2103981148 @default.
• W2167477884 cites W2114817374 @default.
• W2167477884 cites W2126270200 @default.
• W2167477884 cites W2128026324 @default.
• W2167477884 cites W2133313069 @default.
• W2167477884 cites W2137423523 @default.
• W2167477884 cites W2161149481 @default.
• W2167477884 cites W2162177577 @default.
• W2167477884 cites W2169108058 @default.
• W2167477884 cites W2169359757 @default.
• W2167477884 cites W2169713712 @default.
• W2167477884 cites W52340306 @default.
• W2167477884 cites W2097024958 @default.
• W2167477884 doi "https://doi.org/10.1112/plms/pdq044" @default.
• W2167477884 hasPublicationYear "2011" @default.
• W2167477884 type Work @default.
• W2167477884 sameAs 2167477884 @default.
• W2167477884 citedByCount "46" @default.
• W2167477884 countsByYear W21674778842012 @default.
• W2167477884 countsByYear W21674778842014 @default.
• W2167477884 countsByYear W21674778842015 @default.
• W2167477884 countsByYear W21674778842016 @default.
• W2167477884 countsByYear W21674778842017 @default.
• W2167477884 countsByYear W21674778842018 @default.
• W2167477884 countsByYear W21674778842019 @default.
• W2167477884 countsByYear W21674778842020 @default.
• W2167477884 countsByYear W21674778842021 @default.
• W2167477884 countsByYear W21674778842022 @default.
• W2167477884 crossrefType "journal-article" @default.
• W2167477884 hasAuthorship W2167477884A5007592654 @default.
• W2167477884 hasAuthorship W2167477884A5051107679 @default.
• W2167477884 hasConcept C10138342 @default.
• W2167477884 hasConcept C105605280 @default.
• W2167477884 hasConcept C108710211 @default.
• W2167477884 hasConcept C114614502 @default.
• W2167477884 hasConcept C118615104 @default.
• W2167477884 hasConcept C134306372 @default.
• W2167477884 hasConcept C154945302 @default.
• W2167477884 hasConcept C162324750 @default.
• W2167477884 hasConcept C182306322 @default.
• W2167477884 hasConcept C199360897 @default.
• W2167477884 hasConcept C2524010 @default.
• W2167477884 hasConcept C2776013622 @default.
• W2167477884 hasConcept C2778523021 @default.
• W2167477884 hasConcept C311688 @default.
• W2167477884 hasConcept C33923547 @default.
• W2167477884 hasConcept C34388435 @default.
• W2167477884 hasConcept C39920170 @default.
• W2167477884 hasConcept C41008148 @default.
• W2167477884 hasConcept C77553402 @default.
• W2167477884 hasConceptScore W2167477884C10138342 @default.
• W2167477884 hasConceptScore W2167477884C105605280 @default.
• W2167477884 hasConceptScore W2167477884C108710211 @default.
• W2167477884 hasConceptScore W2167477884C114614502 @default.
• W2167477884 hasConceptScore W2167477884C118615104 @default.
• W2167477884 hasConceptScore W2167477884C134306372 @default.
• W2167477884 hasConceptScore W2167477884C154945302 @default.
• W2167477884 hasConceptScore W2167477884C162324750 @default.
• W2167477884 hasConceptScore W2167477884C182306322 @default.
• W2167477884 hasConceptScore W2167477884C199360897 @default.
• W2167477884 hasConceptScore W2167477884C2524010 @default.
• W2167477884 hasConceptScore W2167477884C2776013622 @default.
• W2167477884 hasConceptScore W2167477884C2778523021 @default.
• W2167477884 hasConceptScore W2167477884C311688 @default.
• W2167477884 hasConceptScore W2167477884C33923547 @default.
• W2167477884 hasConceptScore W2167477884C34388435 @default.
• W2167477884 hasConceptScore W2167477884C39920170 @default.
• W2167477884 hasConceptScore W2167477884C41008148 @default.
• W2167477884 hasConceptScore W2167477884C77553402 @default.
• W2167477884 hasIssue "1" @default.
• W2167477884 hasLocation W21674778841 @default.
• W2167477884 hasOpenAccess W2167477884 @default.
• W2167477884 hasPrimaryLocation W21674778841 @default.
• W2167477884 hasRelatedWork W1644915175 @default.

• next