Reverse mathematics

URI(s)
- http://id.loc.gov/authorities/subjects/sh2005002411
- info:lc/authorities/sh2005002411
- http://id.loc.gov/authorities/sh2005002411#concept
Instance Of
Scheme Membership(s)
- Library of Congress Subject Headings
Collection Membership(s)
- LCSH Collection - Authorized Headings
- LCSH Collection - General Collection
Broader Terms
- Logic, Symbolic and mathematical
Sources
- found: Work cat.: 2005047606: Reverse mathematics, 2005.
- found: Wikipedia, the free encyclopedia, 2005 (Reverse mathematics is a branch of mathematics which could briefly be described as going back from the theorems to the axioms rather than the usual way from the axioms to the theorems. A little more precisely, it tries to assess the logical strength of a whole body of ususal mathematical results by determining exactly which axioms are necessary and sufficient to prove them.)
- found: AMS Mathematics subject classification via WWW, Apr. 14, 2005 (03B30 under 03BXX General logic: Foundations of classical theories (including reverse mathematics))
LC Classification
- QA9.25-QA9.37
Change Notes
- 2005-05-18: new
- 2005-05-18: revised
Alternate Formats

Suggest terminology

The LC Authorities and Vocabularies service welcomes any suggestions you might have about terminology used for a given heading or concept.

Would you like to suggest a change to this heading?

Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.

Alternatively, you can contact us directly at idfeedback@loc.gov.

Fields denoted with an asterisk (*) are required.