output
20092024
most citedEuclid: Forecasts from redshift-space distortions and the Alcock-Paczynski test with cosmic voids

68 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 2012Show all

1 paper · 1 filter

math.LO2012★ 3 cited

Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets

Erik Palmgren

Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version…