Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205623740> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4205623740 abstract "Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Π11–CA0. Ordinal analysis and the (Schwichtenberg–Wainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Π11–CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic." @default.
- W4205623740 created "2022-01-26" @default.
- W4205623740 creator A5036927180 @default.
- W4205623740 creator A5071784825 @default.
- W4205623740 date "2011-12-15" @default.
- W4205623740 modified "2023-10-16" @default.
- W4205623740 title "Proofs and Computations" @default.
- W4205623740 doi "https://doi.org/10.1017/cbo9781139031905" @default.
- W4205623740 hasPublicationYear "2011" @default.
- W4205623740 type Work @default.
- W4205623740 citedByCount "21" @default.
- W4205623740 countsByYear W42056237402012 @default.
- W4205623740 countsByYear W42056237402013 @default.
- W4205623740 countsByYear W42056237402014 @default.
- W4205623740 countsByYear W42056237402017 @default.
- W4205623740 countsByYear W42056237402019 @default.
- W4205623740 countsByYear W42056237402020 @default.
- W4205623740 countsByYear W42056237402021 @default.
- W4205623740 countsByYear W42056237402022 @default.
- W4205623740 countsByYear W42056237402023 @default.
- W4205623740 crossrefType "monograph" @default.
- W4205623740 hasAuthorship W4205623740A5036927180 @default.
- W4205623740 hasAuthorship W4205623740A5071784825 @default.
- W4205623740 hasConcept C108710211 @default.
- W4205623740 hasConcept C111142201 @default.
- W4205623740 hasConcept C11413529 @default.
- W4205623740 hasConcept C118615104 @default.
- W4205623740 hasConcept C147358099 @default.
- W4205623740 hasConcept C152062344 @default.
- W4205623740 hasConcept C168773036 @default.
- W4205623740 hasConcept C178421362 @default.
- W4205623740 hasConcept C18903297 @default.
- W4205623740 hasConcept C199360897 @default.
- W4205623740 hasConcept C2318724 @default.
- W4205623740 hasConcept C2524010 @default.
- W4205623740 hasConcept C2776378722 @default.
- W4205623740 hasConcept C2777299769 @default.
- W4205623740 hasConcept C2778701210 @default.
- W4205623740 hasConcept C28077239 @default.
- W4205623740 hasConcept C33923547 @default.
- W4205623740 hasConcept C41008148 @default.
- W4205623740 hasConcept C54271186 @default.
- W4205623740 hasConcept C65148605 @default.
- W4205623740 hasConcept C86803240 @default.
- W4205623740 hasConcept C93682546 @default.
- W4205623740 hasConcept C97489613 @default.
- W4205623740 hasConcept C98045186 @default.
- W4205623740 hasConceptScore W4205623740C108710211 @default.
- W4205623740 hasConceptScore W4205623740C111142201 @default.
- W4205623740 hasConceptScore W4205623740C11413529 @default.
- W4205623740 hasConceptScore W4205623740C118615104 @default.
- W4205623740 hasConceptScore W4205623740C147358099 @default.
- W4205623740 hasConceptScore W4205623740C152062344 @default.
- W4205623740 hasConceptScore W4205623740C168773036 @default.
- W4205623740 hasConceptScore W4205623740C178421362 @default.
- W4205623740 hasConceptScore W4205623740C18903297 @default.
- W4205623740 hasConceptScore W4205623740C199360897 @default.
- W4205623740 hasConceptScore W4205623740C2318724 @default.
- W4205623740 hasConceptScore W4205623740C2524010 @default.
- W4205623740 hasConceptScore W4205623740C2776378722 @default.
- W4205623740 hasConceptScore W4205623740C2777299769 @default.
- W4205623740 hasConceptScore W4205623740C2778701210 @default.
- W4205623740 hasConceptScore W4205623740C28077239 @default.
- W4205623740 hasConceptScore W4205623740C33923547 @default.
- W4205623740 hasConceptScore W4205623740C41008148 @default.
- W4205623740 hasConceptScore W4205623740C54271186 @default.
- W4205623740 hasConceptScore W4205623740C65148605 @default.
- W4205623740 hasConceptScore W4205623740C86803240 @default.
- W4205623740 hasConceptScore W4205623740C93682546 @default.
- W4205623740 hasConceptScore W4205623740C97489613 @default.
- W4205623740 hasConceptScore W4205623740C98045186 @default.
- W4205623740 hasLocation W42056237401 @default.
- W4205623740 hasOpenAccess W4205623740 @default.
- W4205623740 hasPrimaryLocation W42056237401 @default.
- W4205623740 hasRelatedWork W1495212203 @default.
- W4205623740 hasRelatedWork W1497390102 @default.
- W4205623740 hasRelatedWork W1988755390 @default.
- W4205623740 hasRelatedWork W2103838550 @default.
- W4205623740 hasRelatedWork W2138384354 @default.
- W4205623740 hasRelatedWork W2955095155 @default.
- W4205623740 hasRelatedWork W3021730028 @default.
- W4205623740 hasRelatedWork W4205623740 @default.
- W4205623740 hasRelatedWork W4322760448 @default.
- W4205623740 hasRelatedWork W635853265 @default.
- W4205623740 isParatext "false" @default.
- W4205623740 isRetracted "false" @default.
- W4205623740 workType "book" @default.