Matches in SemOpenAlex for { <https://semopenalex.org/work/W4250928234> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4250928234 abstract "Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. Reverse mathematics began as a technical field of mathematical logic, but its main ideas have precedents in the ancient field of geometry and the early twentieth-century field of set theory. This book offers a historical and representative view, emphasizing basic analysis and giving a novel approach to logic. It concludes that mathematics is an arena where theorems cannot always be proved outright, but in which all of their logical equivalents can be found. This creates the possibility of reverse mathematics, where one seeks equivalents that are suitable as axioms. By using a minimum of mathematical logic in a well-motivated way, the book will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics." @default.
- W4250928234 created "2022-05-12" @default.
- W4250928234 creator A5080585862 @default.
- W4250928234 date "2019-09-24" @default.
- W4250928234 modified "2023-09-27" @default.
- W4250928234 title "Reverse Mathematics" @default.
- W4250928234 doi "https://doi.org/10.23943/princeton/9780691196411.001.0001" @default.
- W4250928234 hasPublicationYear "2019" @default.
- W4250928234 type Work @default.
- W4250928234 citedByCount "1" @default.
- W4250928234 countsByYear W42509282342022 @default.
- W4250928234 crossrefType "book" @default.
- W4250928234 hasAuthorship W4250928234A5080585862 @default.
- W4250928234 hasConcept C11413529 @default.
- W4250928234 hasConcept C118840557 @default.
- W4250928234 hasConcept C127753061 @default.
- W4250928234 hasConcept C145420912 @default.
- W4250928234 hasConcept C153046414 @default.
- W4250928234 hasConcept C167729594 @default.
- W4250928234 hasConcept C177264268 @default.
- W4250928234 hasConcept C183140480 @default.
- W4250928234 hasConcept C199343813 @default.
- W4250928234 hasConcept C199360897 @default.
- W4250928234 hasConcept C202444582 @default.
- W4250928234 hasConcept C2524010 @default.
- W4250928234 hasConcept C2777686260 @default.
- W4250928234 hasConcept C30759668 @default.
- W4250928234 hasConcept C33923547 @default.
- W4250928234 hasConcept C41008148 @default.
- W4250928234 hasConcept C47070236 @default.
- W4250928234 hasConcept C47884741 @default.
- W4250928234 hasConcept C71924100 @default.
- W4250928234 hasConcept C9652623 @default.
- W4250928234 hasConceptScore W4250928234C11413529 @default.
- W4250928234 hasConceptScore W4250928234C118840557 @default.
- W4250928234 hasConceptScore W4250928234C127753061 @default.
- W4250928234 hasConceptScore W4250928234C145420912 @default.
- W4250928234 hasConceptScore W4250928234C153046414 @default.
- W4250928234 hasConceptScore W4250928234C167729594 @default.
- W4250928234 hasConceptScore W4250928234C177264268 @default.
- W4250928234 hasConceptScore W4250928234C183140480 @default.
- W4250928234 hasConceptScore W4250928234C199343813 @default.
- W4250928234 hasConceptScore W4250928234C199360897 @default.
- W4250928234 hasConceptScore W4250928234C202444582 @default.
- W4250928234 hasConceptScore W4250928234C2524010 @default.
- W4250928234 hasConceptScore W4250928234C2777686260 @default.
- W4250928234 hasConceptScore W4250928234C30759668 @default.
- W4250928234 hasConceptScore W4250928234C33923547 @default.
- W4250928234 hasConceptScore W4250928234C41008148 @default.
- W4250928234 hasConceptScore W4250928234C47070236 @default.
- W4250928234 hasConceptScore W4250928234C47884741 @default.
- W4250928234 hasConceptScore W4250928234C71924100 @default.
- W4250928234 hasConceptScore W4250928234C9652623 @default.
- W4250928234 hasLocation W42509282341 @default.
- W4250928234 hasOpenAccess W4250928234 @default.
- W4250928234 hasPrimaryLocation W42509282341 @default.
- W4250928234 hasRelatedWork W1182382 @default.
- W4250928234 hasRelatedWork W15032111 @default.
- W4250928234 hasRelatedWork W200778 @default.
- W4250928234 hasRelatedWork W2411078 @default.
- W4250928234 hasRelatedWork W3029248 @default.
- W4250928234 hasRelatedWork W3674573 @default.
- W4250928234 hasRelatedWork W4203268 @default.
- W4250928234 hasRelatedWork W5070962 @default.
- W4250928234 hasRelatedWork W7555009 @default.
- W4250928234 hasRelatedWork W8277564 @default.
- W4250928234 isParatext "false" @default.
- W4250928234 isRetracted "false" @default.
- W4250928234 workType "book" @default.