Editing Reverse mathematics (section)

== References/Further Reading ==
* {{Citation
 | last1 = Ambos-Spies | first1 = K.
 | last2 = Kjos-Hanssen | first2 = B.
 | last3 = Lempp | first3 = S.
 | last4 = Slaman | first4 = T.A.
 | year = 2004
 | title = Comparing DNR and WWKL
 | journal = Journal of Symbolic Logic
 | volume = 69
 | issue = 4
 | doi = 10.2178/jsl/1102022212
 | pages = 1089
 | postscript = .
| arxiv = 1408.2281| s2cid = 17582399
 }}
* {{Citation | last1=Friedman | first1=Harvey | title=Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Vol. 1 | publisher=Canad. Math. Congress |location = Montreal |mr=0429508 | date=1975 | chapter=Some systems of second-order arithmetic and their use | pages=235–242}}
* {{Citation | last1=Friedman | first1=Harvey |title= Systems of second-order arithmetic with restricted induction, I, II | date=1976 | journal=The Journal of Symbolic Logic | volume=41 | issue=2 | pages=557–559 | doi=10.2307/2272259 |department=Meeting of the Association for Symbolic Logic|editor1-last=Baldwin|editor1-first=John| editor2-last=Martin |editor2-link = Donald A. Martin| editor2-first=D. A. | editor3-last=Soare | editor3-first=R. I. | editor3-link = Robert I. Soare|editor4-last=Tait | editor4-first=W. W.|editor4-link = William W. Tait| jstor=2272259 }}
* {{citation|title=Slicing the Truth|title-link=Slicing the Truth|first=Denis R.|last=Hirschfeldt|publisher=World Scientific|volume=28|date=2014|series=Lecture Notes Series of the Institute for Mathematical Sciences, National University of Singapore}}
* {{Citation | last1=Hunter | first1=James | title=Reverse Topology | url=https://www.math.wisc.edu/~lempp/theses/hunter.pdf|type=PhD thesis | publisher=[[University of Wisconsin–Madison]]  | date=2008 }}
* {{Citation | last1=Kohlenbach | first1=Ulrich | editor1-first=Stephen G | editor1-last=Simpson | title=Higher Order Reverse Mathematics, Reverse Mathematics 2001 | pages=281–295 | chapter-url=https://www2.mathematik.tu-darmstadt.de/~kohlenbach/ | publisher=[[Cambridge University Press]] | isbn= 9781316755846 | date=2005 | series=Lecture notes in Logic | doi=10.1017/9781316755846.018 | chapter=Higher order reverse mathematics | url=http://www.brics.dk//RS/00/49/BRICS-RS-00-49.pdf | citeseerx=10.1.1.643.551 }}
* {{Citation | last1=Normann | first1=Dag | last2=Sanders | first2=Sam | title=On the mathematical and foundational significance of the uncountable | journal=Journal of Mathematical Logic | volume=19 | pages=1950001 |doi=10.1142/S0219061319500016 | date=2018 | arxiv=1711.08939 | s2cid=119120366 }}
* {{Citation | last1=Simpson | first1=Stephen G. | title=Subsystems of second-order arithmetic | url=http://www.math.psu.edu/simpson/sosoa/ | publisher=[[Cambridge University Press]] | edition=2nd | series=Perspectives in Logic | isbn=978-0-521-88439-6 |mr=2517689 | date=2009 | doi=10.1017/CBO9780511581007}}
* {{Citation | last1=Stillwell | first1=John |authorlink = John Stillwell| title=Reverse Mathematics, proofs from the inside out | title-link=Reverse Mathematics: Proofs from the Inside Out | publisher=[[Princeton University Press]] | isbn=978-0-691-17717-5| date=2018 }}
* {{Citation | doi=10.2307/421140 | last1=Solomon | first1=Reed | title=Ordered groups: a case study in reverse mathematics |mr=1681895 | date=1999 | journal=The Bulletin of Symbolic Logic | issn=1079-8986 | volume=5 | issue=1 | pages=45–58 | jstor=421140| citeseerx=10.1.1.364.9553 | s2cid=508431 }}
*  {{Citation
 | title = Reverse Mathematics: Problems, Reductions, and Proofs
 | first1 = Damir D. | last1 = Dzhafarov
 | first2 = Carl | last2 = Mummert
 | series = Theory and Applications of Computability
 | doi =10.1007/978-3-031-11367-3
 | publisher = Springer Cham
 | year = 2022
 | isbn = 978-3-031-11367-3
 | edition = 1st
 | pages = XIX, 488
}}