Matches in SemOpenAlex for { <https://semopenalex.org/work/W131736257> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W131736257 abstract "The use of Nepomnjascǐi’s Theorem in the proofs of independence results for bounded arithmetic theories is investigated. Using this result and similar ideas, the following statements are proven: (1) At least one of S1 or TLS does not prove the Matiyasevich-Davis-RobinsonPutnam Theorem and (2) TLS does not prove Σ1,1 = Π b 1,1. Here S1 is a conservative extension of the well-studied theory I∆0 and TLS is a theory whose ∆1,2-predicates are precisely LOGSPACE. The relation of TLS from this paper to previously studied theories is also developed and generalizations of the previous two results to quasi-linear settings are discussed as well. Mathematics Subject Classification: 03F30, 68Q15" @default.
- W131736257 created "2016-06-24" @default.
- W131736257 creator A5077536245 @default.
- W131736257 date "2002-01-01" @default.
- W131736257 modified "2023-09-28" @default.
- W131736257 title "Nepomnjascij's Theorem and Independence Proofs in Bounded Arithmetic" @default.
- W131736257 cites W1572451808 @default.
- W131736257 cites W1607926272 @default.
- W131736257 cites W169256259 @default.
- W131736257 cites W1994775833 @default.
- W131736257 cites W1996184580 @default.
- W131736257 cites W2015895898 @default.
- W131736257 cites W2018323941 @default.
- W131736257 cites W2079838771 @default.
- W131736257 cites W2096478770 @default.
- W131736257 cites W2142716986 @default.
- W131736257 cites W2160804094 @default.
- W131736257 cites W2977904728 @default.
- W131736257 cites W3127075405 @default.
- W131736257 hasPublicationYear "2002" @default.
- W131736257 type Work @default.
- W131736257 sameAs 131736257 @default.
- W131736257 citedByCount "0" @default.
- W131736257 crossrefType "journal-article" @default.
- W131736257 hasAuthorship W131736257A5077536245 @default.
- W131736257 hasConcept C105795698 @default.
- W131736257 hasConcept C108710211 @default.
- W131736257 hasConcept C118615104 @default.
- W131736257 hasConcept C134306372 @default.
- W131736257 hasConcept C136119220 @default.
- W131736257 hasConcept C199360897 @default.
- W131736257 hasConcept C202444582 @default.
- W131736257 hasConcept C2524010 @default.
- W131736257 hasConcept C2778029271 @default.
- W131736257 hasConcept C2778778035 @default.
- W131736257 hasConcept C33923547 @default.
- W131736257 hasConcept C34388435 @default.
- W131736257 hasConcept C35651441 @default.
- W131736257 hasConcept C41008148 @default.
- W131736257 hasConceptScore W131736257C105795698 @default.
- W131736257 hasConceptScore W131736257C108710211 @default.
- W131736257 hasConceptScore W131736257C118615104 @default.
- W131736257 hasConceptScore W131736257C134306372 @default.
- W131736257 hasConceptScore W131736257C136119220 @default.
- W131736257 hasConceptScore W131736257C199360897 @default.
- W131736257 hasConceptScore W131736257C202444582 @default.
- W131736257 hasConceptScore W131736257C2524010 @default.
- W131736257 hasConceptScore W131736257C2778029271 @default.
- W131736257 hasConceptScore W131736257C2778778035 @default.
- W131736257 hasConceptScore W131736257C33923547 @default.
- W131736257 hasConceptScore W131736257C34388435 @default.
- W131736257 hasConceptScore W131736257C35651441 @default.
- W131736257 hasConceptScore W131736257C41008148 @default.
- W131736257 hasLocation W1317362571 @default.
- W131736257 hasOpenAccess W131736257 @default.
- W131736257 hasPrimaryLocation W1317362571 @default.
- W131736257 hasRelatedWork W1511859173 @default.
- W131736257 hasRelatedWork W1516711503 @default.
- W131736257 hasRelatedWork W1534511119 @default.
- W131736257 hasRelatedWork W161151979 @default.
- W131736257 hasRelatedWork W2003340985 @default.
- W131736257 hasRelatedWork W2008226238 @default.
- W131736257 hasRelatedWork W2044632231 @default.
- W131736257 hasRelatedWork W2046328068 @default.
- W131736257 hasRelatedWork W2060782772 @default.
- W131736257 hasRelatedWork W2076607848 @default.
- W131736257 hasRelatedWork W2086982547 @default.
- W131736257 hasRelatedWork W2092790072 @default.
- W131736257 hasRelatedWork W2112860956 @default.
- W131736257 hasRelatedWork W2130233653 @default.
- W131736257 hasRelatedWork W2283100228 @default.
- W131736257 hasRelatedWork W2406106604 @default.
- W131736257 hasRelatedWork W2733387611 @default.
- W131736257 hasRelatedWork W2952531188 @default.
- W131736257 hasRelatedWork W2962903093 @default.
- W131736257 hasRelatedWork W3181650468 @default.
- W131736257 isParatext "false" @default.
- W131736257 isRetracted "false" @default.
- W131736257 magId "131736257" @default.
- W131736257 workType "article" @default.