Reverse mathematics (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Reverse mathematics" in English language version.

refsWebsite

Global rank English rank

7doi.org

2^nd place

4psu.edu

207^th place

136^th place

2tu-darmstadt.de

low place

2brics.dk

low place

2arxiv.org

69^th place

59^th place

2semanticscholar.org

11^th place

8^th place

2ams.org

451^st place

277^th place

1wisc.edu

1,045^th place

746^th place

1core.ac.uk

1,734^th place

1,312^th place

1kyoto-u.ac.jp

2,913^th place

5,132^nd place

1nyu.edu

1,174^th place

773^rd place

ams.org

mathscinet.ams.org

Simpson (2009), p.42. Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978-0-521-88439-6, MR 2517689
Simpson (2009), p. 6. Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978-0-521-88439-6, MR 2517689

arxiv.org

Normann & Sanders (2018). Normann, Dag; Sanders, Sam (2018), "On the mathematical and foundational significance of the uncountable", Journal of Mathematical Logic, 19: 1950001, arXiv:1711.08939, doi:10.1142/S0219061319500016, S2CID 119120366
Kołodziejczyk, Leszek; Michalewski, Henryk (2016). How unprovable is Rabin's decidability theorem?. LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. arXiv:1508.06780.

brics.dk

Kohlenbach (2005). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846
See Kohlenbach (2005) and Hunter (2008). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846 Hunter, James (2008), Reverse Topology (PDF) (PhD thesis), University of Wisconsin–Madison

core.ac.uk

S. Takashi, "Reverse Mathematics and Countable Algebraic Systems". Ph.D. thesis, Tohoku University, 2016.

doi.org

Dzhafarov, Damir D.; Mummert, Carl (2022). Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability (1st ed.). Springer Cham. pp. XIX, 488. doi:10.1007/978-3-031-11367-3. ISBN 978-3-031-11367-3.
Kohlenbach (2005). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846
See Kohlenbach (2005) and Hunter (2008). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846 Hunter, James (2008), Reverse Topology (PDF) (PhD thesis), University of Wisconsin–Madison
Normann & Sanders (2018). Normann, Dag; Sanders, Sam (2018), "On the mathematical and foundational significance of the uncountable", Journal of Mathematical Logic, 19: 1950001, arXiv:1711.08939, doi:10.1142/S0219061319500016, S2CID 119120366
Simpson (2009), p.42. Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978-0-521-88439-6, MR 2517689
Simpson (2009), p. 6. Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978-0-521-88439-6, MR 2517689
Montalban, Antonio; Shore, Richard (2014). "The limits of determinacy in second order arithmetic: consistency and complexity strength". Israel Journal of Mathematics. 204: 477–508. doi:10.1007/s11856-014-1117-9. S2CID 287519.

kyoto-u.ac.jp

repository.kulib.kyoto-u.ac.jp

M. Fujiwara, T. Sato, "Note on total and partial functions in second-order arithmetic". In 1950 Proof Theory, Computation Theory and Related Topics, June 2015.

nyu.edu

cs.nyu.edu

Kołodziejczyk, Leszek (October 19, 2015). "Question on Decidability of S2S". FOM.

psu.edu

citeseerx.ist.psu.edu

Kohlenbach (2005). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846
See Kohlenbach (2005) and Hunter (2008). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846 Hunter, James (2008), Reverse Topology (PDF) (PhD thesis), University of Wisconsin–Madison

math.psu.edu

Simpson (2009), p.42. Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978-0-521-88439-6, MR 2517689
Simpson (2009), p. 6. Simpson, Stephen G. (2009), Subsystems of second-order arithmetic, Perspectives in Logic (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511581007, ISBN 978-0-521-88439-6, MR 2517689

semanticscholar.org

api.semanticscholar.org

Normann & Sanders (2018). Normann, Dag; Sanders, Sam (2018), "On the mathematical and foundational significance of the uncountable", Journal of Mathematical Logic, 19: 1950001, arXiv:1711.08939, doi:10.1142/S0219061319500016, S2CID 119120366
Montalban, Antonio; Shore, Richard (2014). "The limits of determinacy in second order arithmetic: consistency and complexity strength". Israel Journal of Mathematics. 204: 477–508. doi:10.1007/s11856-014-1117-9. S2CID 287519.

tu-darmstadt.de

www2.mathematik.tu-darmstadt.de

Kohlenbach (2005). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846
See Kohlenbach (2005) and Hunter (2008). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846 Hunter, James (2008), Reverse Topology (PDF) (PhD thesis), University of Wisconsin–Madison

wisc.edu

math.wisc.edu

See Kohlenbach (2005) and Hunter (2008). Kohlenbach, Ulrich (2005), "Higher order reverse mathematics", in Simpson, Stephen G (ed.), Higher Order Reverse Mathematics, Reverse Mathematics 2001 (PDF), Lecture notes in Logic, Cambridge University Press, pp. 281–295, CiteSeerX 10.1.1.643.551, doi:10.1017/9781316755846.018, ISBN 9781316755846 Hunter, James (2008), Reverse Topology (PDF) (PhD thesis), University of Wisconsin–Madison