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 math.LOShow all

2 papers · 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…

math.LO2009★ 2 cited

Metric complements of overt closed sets

Thierry Coquand, Erik Palmgren, Bas Spitters

We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, c…