Author information
Jeremy Avigad:
Department of Philosophy and Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213
avigad@cmu.edu
José Iovino:
Department of Mathematics, The University of Texas at San Antonio, San Antonio, Texas 78249 and Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213
iovino@math.utsa.edu
