User rfloc

9 votes

3 answers

2k views

Simple motivation to study arithmetic geometry

asked Aug 15, 2022 at 23:39

7 votes

1 answer

380 views

Does type theory help us avoid the "defining postulate"?

asked Apr 7, 2023 at 15:56

6 votes

1 answer

449 views

Book that shows a construction of ZFC with Calculus of Constructions

asked Apr 5, 2023 at 23:02

4 votes

1 answer

902 views

Hausdorff dimension and surface measure

asked Feb 19, 2021 at 22:16

4 votes

1 answer

311 views

If $f=h\circ g$, then there's a measurable function $\tilde h$ such that $f=\tilde h\circ g$

asked May 14 at 20:19

3 votes

2 answers

360 views

Proof of the Dunford-Pettis theorem in the context of probability spaces

asked Nov 19, 2023 at 16:52

3 votes

0 answers

77 views

Can we generalize the Kuratowski Extension Theorem to Souslin spaces?

asked Oct 23 at 14:15

2 votes

0 answers

159 views

About the 7.3.5. Corollary of the book "Measure Theory" by V.I. Bogachev

asked Dec 4 at 15:41

2 votes

1 answer

225 views

Is this theorem true in the case of a general measure space?

asked Dec 3, 2023 at 17:22

1 vote

1 answer

210 views

Function $g:\mathbb{R}\to \mathbb{R}^n$ such that $g(\sum_{i=1}^nx_i)=(x_1,\dotsc,x_n)$ a.e

asked Oct 9 at 0:43

1 vote

1 answer

105 views

Possible error in a paper about minimal sufficient statistic and minimal sufficient $\sigma$-algebra

asked Oct 9 at 15:08

1 vote

1 answer

157 views

Find a Borel measure such that the closed sets aren't arbitrarily close to the Borel sets with finite measure

asked Dec 27, 2021 at 2:18

1 vote

1 answer

326 views

Reference request: a mathematical model of classical physics

asked Apr 9, 2022 at 17:33

1 vote

1 answer

102 views

Every tight $\tau$-additive finite measure is Radon

asked Oct 29 at 19:00

Stack Exchange Network

14 Questions

Simple motivation to study arithmetic geometry

Does type theory help us avoid the "defining postulate"?

Book that shows a construction of ZFC with Calculus of Constructions

Hausdorff dimension and surface measure

If $f=h\circ g$, then there's a measurable function $\tilde h$ such that $f=\tilde h\circ g$

Proof of the Dunford-Pettis theorem in the context of probability spaces

Can we generalize the Kuratowski Extension Theorem to Souslin spaces?

About the 7.3.5. Corollary of the book "Measure Theory" by V.I. Bogachev

Is this theorem true in the case of a general measure space?

Function $g:\mathbb{R}\to \mathbb{R}^n$ such that $g(\sum_{i=1}^nx_i)=(x_1,\dotsc,x_n)$ a.e

Possible error in a paper about minimal sufficient statistic and minimal sufficient $\sigma$-algebra

Find a Borel measure such that the closed sets aren't arbitrarily close to the Borel sets with finite measure

Reference request: a mathematical model of classical physics

Every tight $\tau$-additive finite measure is Radon