Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099755591> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3099755591 endingPage "421" @default.
- W3099755591 startingPage "367" @default.
- W3099755591 abstract "Abstract Let ${cal T}$ be any of the three canonical truth theories CT − (compositional truth without extra induction), FS − (Friedman–Sheard truth without extra induction), or KF − (Kripke–Feferman truth without extra induction), where the base theory of ${cal T}$ is PA (Peano arithmetic). We establish the following theorem, which implies that ${cal T}$ has no more than polynomial speed-up over PA. Theorem. ${cal T}$ is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${cal T}$ -proof π of an arithmetical sentence ϕ , f ( π ) is a PA -proof of ϕ ." @default.
- W3099755591 created "2020-11-23" @default.
- W3099755591 creator A5035885312 @default.
- W3099755591 creator A5047226204 @default.
- W3099755591 creator A5055383326 @default.
- W3099755591 date "2019-09-20" @default.
- W3099755591 modified "2023-10-09" @default.
- W3099755591 title "TRUTH AND FEASIBLE REDUCIBILITY" @default.
- W3099755591 cites W1556453281 @default.
- W3099755591 cites W1572451808 @default.
- W3099755591 cites W1581341800 @default.
- W3099755591 cites W1587093213 @default.
- W3099755591 cites W1601654835 @default.
- W3099755591 cites W2002502277 @default.
- W3099755591 cites W2025127850 @default.
- W3099755591 cites W2058556119 @default.
- W3099755591 cites W2067209355 @default.
- W3099755591 cites W2067974533 @default.
- W3099755591 cites W2109720437 @default.
- W3099755591 cites W2114374802 @default.
- W3099755591 cites W2320396705 @default.
- W3099755591 cites W2561682337 @default.
- W3099755591 cites W2599472545 @default.
- W3099755591 cites W2772650604 @default.
- W3099755591 cites W2897709518 @default.
- W3099755591 cites W2908059907 @default.
- W3099755591 cites W2963331508 @default.
- W3099755591 cites W46517763 @default.
- W3099755591 doi "https://doi.org/10.1017/jsl.2019.24" @default.
- W3099755591 hasPublicationYear "2019" @default.
- W3099755591 type Work @default.
- W3099755591 sameAs 3099755591 @default.
- W3099755591 citedByCount "5" @default.
- W3099755591 countsByYear W30997555912012 @default.
- W3099755591 countsByYear W30997555912021 @default.
- W3099755591 countsByYear W30997555912022 @default.
- W3099755591 crossrefType "journal-article" @default.
- W3099755591 hasAuthorship W3099755591A5035885312 @default.
- W3099755591 hasAuthorship W3099755591A5047226204 @default.
- W3099755591 hasAuthorship W3099755591A5055383326 @default.
- W3099755591 hasBestOaLocation W30997555912 @default.
- W3099755591 hasConcept C112343008 @default.
- W3099755591 hasConcept C114614502 @default.
- W3099755591 hasConcept C118615104 @default.
- W3099755591 hasConcept C134306372 @default.
- W3099755591 hasConcept C138885662 @default.
- W3099755591 hasConcept C14036430 @default.
- W3099755591 hasConcept C206743973 @default.
- W3099755591 hasConcept C2524010 @default.
- W3099755591 hasConcept C2777530160 @default.
- W3099755591 hasConcept C33923547 @default.
- W3099755591 hasConcept C41895202 @default.
- W3099755591 hasConcept C42058472 @default.
- W3099755591 hasConcept C78458016 @default.
- W3099755591 hasConcept C86803240 @default.
- W3099755591 hasConcept C90119067 @default.
- W3099755591 hasConcept C97489613 @default.
- W3099755591 hasConceptScore W3099755591C112343008 @default.
- W3099755591 hasConceptScore W3099755591C114614502 @default.
- W3099755591 hasConceptScore W3099755591C118615104 @default.
- W3099755591 hasConceptScore W3099755591C134306372 @default.
- W3099755591 hasConceptScore W3099755591C138885662 @default.
- W3099755591 hasConceptScore W3099755591C14036430 @default.
- W3099755591 hasConceptScore W3099755591C206743973 @default.
- W3099755591 hasConceptScore W3099755591C2524010 @default.
- W3099755591 hasConceptScore W3099755591C2777530160 @default.
- W3099755591 hasConceptScore W3099755591C33923547 @default.
- W3099755591 hasConceptScore W3099755591C41895202 @default.
- W3099755591 hasConceptScore W3099755591C42058472 @default.
- W3099755591 hasConceptScore W3099755591C78458016 @default.
- W3099755591 hasConceptScore W3099755591C86803240 @default.
- W3099755591 hasConceptScore W3099755591C90119067 @default.
- W3099755591 hasConceptScore W3099755591C97489613 @default.
- W3099755591 hasIssue "1" @default.
- W3099755591 hasLocation W30997555911 @default.
- W3099755591 hasLocation W30997555912 @default.
- W3099755591 hasOpenAccess W3099755591 @default.
- W3099755591 hasPrimaryLocation W30997555911 @default.
- W3099755591 hasRelatedWork W2024988752 @default.
- W3099755591 hasRelatedWork W2044809295 @default.
- W3099755591 hasRelatedWork W2082688019 @default.
- W3099755591 hasRelatedWork W2187700024 @default.
- W3099755591 hasRelatedWork W2253584108 @default.
- W3099755591 hasRelatedWork W2277327216 @default.
- W3099755591 hasRelatedWork W2607280425 @default.
- W3099755591 hasRelatedWork W2623438580 @default.
- W3099755591 hasRelatedWork W2964065233 @default.
- W3099755591 hasRelatedWork W3011320943 @default.
- W3099755591 hasVolume "85" @default.
- W3099755591 isParatext "false" @default.
- W3099755591 isRetracted "false" @default.
- W3099755591 magId "3099755591" @default.
- W3099755591 workType "article" @default.