Matches in SemOpenAlex for { <https://semopenalex.org/work/W4229690001> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W4229690001 abstract "Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic." @default.
- W4229690001 created "2022-05-11" @default.
- W4229690001 creator A5026802191 @default.
- W4229690001 date "2009-05-29" @default.
- W4229690001 modified "2023-10-05" @default.
- W4229690001 title "Subsystems of Second Order Arithmetic" @default.
- W4229690001 doi "https://doi.org/10.1017/cbo9780511581007" @default.
- W4229690001 hasPublicationYear "2009" @default.
- W4229690001 type Work @default.
- W4229690001 citedByCount "333" @default.
- W4229690001 countsByYear W42296900012012 @default.
- W4229690001 countsByYear W42296900012013 @default.
- W4229690001 countsByYear W42296900012014 @default.
- W4229690001 countsByYear W42296900012015 @default.
- W4229690001 countsByYear W42296900012016 @default.
- W4229690001 countsByYear W42296900012017 @default.
- W4229690001 countsByYear W42296900012018 @default.
- W4229690001 countsByYear W42296900012019 @default.
- W4229690001 countsByYear W42296900012020 @default.
- W4229690001 countsByYear W42296900012021 @default.
- W4229690001 countsByYear W42296900012022 @default.
- W4229690001 countsByYear W42296900012023 @default.
- W4229690001 crossrefType "monograph" @default.
- W4229690001 hasAuthorship W4229690001A5026802191 @default.
- W4229690001 hasConcept C10138342 @default.
- W4229690001 hasConcept C144133560 @default.
- W4229690001 hasConcept C182306322 @default.
- W4229690001 hasConcept C33923547 @default.
- W4229690001 hasConcept C41008148 @default.
- W4229690001 hasConcept C94375191 @default.
- W4229690001 hasConceptScore W4229690001C10138342 @default.
- W4229690001 hasConceptScore W4229690001C144133560 @default.
- W4229690001 hasConceptScore W4229690001C182306322 @default.
- W4229690001 hasConceptScore W4229690001C33923547 @default.
- W4229690001 hasConceptScore W4229690001C41008148 @default.
- W4229690001 hasConceptScore W4229690001C94375191 @default.
- W4229690001 hasLocation W42296900011 @default.
- W4229690001 hasOpenAccess W4229690001 @default.
- W4229690001 hasPrimaryLocation W42296900011 @default.
- W4229690001 hasRelatedWork W1504491664 @default.
- W4229690001 hasRelatedWork W2044107340 @default.
- W4229690001 hasRelatedWork W2106260240 @default.
- W4229690001 hasRelatedWork W2137355506 @default.
- W4229690001 hasRelatedWork W2593141400 @default.
- W4229690001 hasRelatedWork W2897708446 @default.
- W4229690001 hasRelatedWork W2967076817 @default.
- W4229690001 hasRelatedWork W3027428265 @default.
- W4229690001 hasRelatedWork W4213356241 @default.
- W4229690001 hasRelatedWork W4286851433 @default.
- W4229690001 isParatext "false" @default.
- W4229690001 isRetracted "false" @default.
- W4229690001 workType "book" @default.