User Bas Spitters - MathOverflow

Bas Spitters

Member for 14 years, 3 months
Last seen more than a month ago

GitHub
cs.au.dk/~spitters
Aarhus, Denmark

15 Answers

Score Activity Newest

10 votes

Accepted

reference request : constructive measure theory

answered Sep 11, 2013 at 20:24

9 votes

How do we express measurable spaces using type theory?

answered Jun 20, 2013 at 14:04

7 votes

Examples of toposes for analysts

answered Dec 19, 2013 at 12:15

6 votes

Mathematics without the principle of unique choice

answered Jun 18, 2018 at 9:53

4 votes

Ordinals in constructive mathematics ? (references)

answered Jun 2, 2015 at 8:34

4 votes

Accepted

Detecting positive endomaps of the formal reals

answered Jul 30, 2015 at 19:28

4 votes

Practical advantages of univalent foundations

answered Nov 24, 2015 at 15:47

3 votes

Expressing the Lebesgue integral using categories + the difficulty of describing estimates in category theory

answered May 20, 2014 at 12:01

3 votes

coend formulation of homotopy colimit

answered Jun 3, 2014 at 14:33

3 votes

Is there a measure / probability theory in a topos of "generalized measure spaces"?

answered Dec 10, 2013 at 15:59

2 votes

Strength of Bishop style constructive mathematics vs $\mathsf{RCA}_0$

answered Jul 11, 2013 at 20:30

2 votes

A well-founded relation on lists

answered Jan 15, 2015 at 20:31

2 votes

Accepted

Univalent Foundations and canonicity property are compatible?

answered Nov 22, 2016 at 13:10

2 votes

Degeneracies for semi-simplicial Kan complexes

answered Jul 14, 2012 at 21:48

1 vote

Is there a measure / probability theory in a topos of "generalized measure spaces"?

answered Dec 11, 2013 at 12:49