Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035299084> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2035299084 endingPage "812" @default.
- W2035299084 startingPage "785" @default.
- W2035299084 abstract "Abstract We investigate the theory IΔ 0 +Ω 1 and strengthen [Bu86, Theorem 8.6] to the following: if NP ≠ co-NP, then Σ-completeness for witness comparison foumulas is not provable in bounded arithmetic. i.e., Next we study a “small reflection principle” in bounded arithmetic. We prove that for all sentences φ The proof hinges on the use of definable cuts and partial satisfaction predicates akin to those introduced by Pudlák in [Pu86]. Finally, we give some applications of the small reflection principle, showing that the principle can sometimes be invoked in order to circumvent the use of provable Σ-completeness for witness comparison formulas." @default.
- W2035299084 created "2016-06-24" @default.
- W2035299084 creator A5002223668 @default.
- W2035299084 creator A5056284600 @default.
- W2035299084 date "1994-09-01" @default.
- W2035299084 modified "2023-09-25" @default.
- W2035299084 title "A small reflection principle for bounded arithmetic" @default.
- W2035299084 cites W1513644114 @default.
- W2035299084 cites W1571003765 @default.
- W2035299084 cites W1572451808 @default.
- W2035299084 cites W1974741536 @default.
- W2035299084 cites W1975433941 @default.
- W2035299084 cites W1977861517 @default.
- W2035299084 cites W1984196478 @default.
- W2035299084 cites W1987955693 @default.
- W2035299084 cites W1996184580 @default.
- W2035299084 cites W2011612028 @default.
- W2035299084 cites W2014565657 @default.
- W2035299084 cites W2018323941 @default.
- W2035299084 cites W2022073203 @default.
- W2035299084 cites W2031206336 @default.
- W2035299084 cites W2032780190 @default.
- W2035299084 cites W2059933820 @default.
- W2035299084 cites W2060336687 @default.
- W2035299084 cites W2065251436 @default.
- W2035299084 cites W2065423828 @default.
- W2035299084 cites W2078412479 @default.
- W2035299084 cites W2492590561 @default.
- W2035299084 cites W4206831068 @default.
- W2035299084 cites W4253934133 @default.
- W2035299084 cites W884752387 @default.
- W2035299084 doi "https://doi.org/10.2307/2275908" @default.
- W2035299084 hasPublicationYear "1994" @default.
- W2035299084 type Work @default.
- W2035299084 sameAs 2035299084 @default.
- W2035299084 citedByCount "8" @default.
- W2035299084 countsByYear W20352990842014 @default.
- W2035299084 countsByYear W20352990842017 @default.
- W2035299084 countsByYear W20352990842020 @default.
- W2035299084 countsByYear W20352990842021 @default.
- W2035299084 crossrefType "journal-article" @default.
- W2035299084 hasAuthorship W2035299084A5002223668 @default.
- W2035299084 hasAuthorship W2035299084A5056284600 @default.
- W2035299084 hasConcept C101615488 @default.
- W2035299084 hasConcept C118368358 @default.
- W2035299084 hasConcept C118615104 @default.
- W2035299084 hasConcept C134306372 @default.
- W2035299084 hasConcept C17231256 @default.
- W2035299084 hasConcept C199360897 @default.
- W2035299084 hasConcept C2776900844 @default.
- W2035299084 hasConcept C3017618536 @default.
- W2035299084 hasConcept C33923547 @default.
- W2035299084 hasConcept C34388435 @default.
- W2035299084 hasConcept C41008148 @default.
- W2035299084 hasConcept C56739046 @default.
- W2035299084 hasConcept C65682993 @default.
- W2035299084 hasConcept C68710425 @default.
- W2035299084 hasConcept C94375191 @default.
- W2035299084 hasConceptScore W2035299084C101615488 @default.
- W2035299084 hasConceptScore W2035299084C118368358 @default.
- W2035299084 hasConceptScore W2035299084C118615104 @default.
- W2035299084 hasConceptScore W2035299084C134306372 @default.
- W2035299084 hasConceptScore W2035299084C17231256 @default.
- W2035299084 hasConceptScore W2035299084C199360897 @default.
- W2035299084 hasConceptScore W2035299084C2776900844 @default.
- W2035299084 hasConceptScore W2035299084C3017618536 @default.
- W2035299084 hasConceptScore W2035299084C33923547 @default.
- W2035299084 hasConceptScore W2035299084C34388435 @default.
- W2035299084 hasConceptScore W2035299084C41008148 @default.
- W2035299084 hasConceptScore W2035299084C56739046 @default.
- W2035299084 hasConceptScore W2035299084C65682993 @default.
- W2035299084 hasConceptScore W2035299084C68710425 @default.
- W2035299084 hasConceptScore W2035299084C94375191 @default.
- W2035299084 hasIssue "3" @default.
- W2035299084 hasLocation W20352990841 @default.
- W2035299084 hasOpenAccess W2035299084 @default.
- W2035299084 hasPrimaryLocation W20352990841 @default.
- W2035299084 hasRelatedWork W1597578789 @default.
- W2035299084 hasRelatedWork W1970705056 @default.
- W2035299084 hasRelatedWork W2101785868 @default.
- W2035299084 hasRelatedWork W2114312528 @default.
- W2035299084 hasRelatedWork W2148351559 @default.
- W2035299084 hasRelatedWork W3080875783 @default.
- W2035299084 hasRelatedWork W4245749626 @default.
- W2035299084 hasRelatedWork W4300430427 @default.
- W2035299084 hasRelatedWork W4312882488 @default.
- W2035299084 hasRelatedWork W777699525 @default.
- W2035299084 hasVolume "59" @default.
- W2035299084 isParatext "false" @default.
- W2035299084 isRetracted "false" @default.
- W2035299084 magId "2035299084" @default.
- W2035299084 workType "article" @default.