output
20152026
most citedGenerative AI

1.3k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2015Show all

1 paper · 1 filter

math.LO2015

More than bargained for in Reverse Mathematics

Sam Sanders

Reverse Mathematics (RM for short) is a program in the foundations of mathematics with the aim of finding the minimal axioms required for proving theorems about countable and separ…