User Martin Väth

11 votes

What can be preserved in mathematics if all constructions are carried out in ZF?

answered Sep 24, 2022 at 13:49

9 votes

Accepted

Finiteness of Hausdorff measure of balls

answered Jun 20, 2021 at 7:25

8 votes

Accepted

Homotopy type of the Hausdorff metric

answered Nov 14, 2021 at 5:43

7 votes

Accepted

Regarding a positive Lebesgue measure set in $\mathbb{R}^2$

answered Sep 30, 2020 at 18:26

7 votes

Accepted

To show a set is a set of positive Lebesgue measure in $ \mathbb{R}$

answered Oct 7, 2020 at 5:16

6 votes

Accepted

Radon-Nikodym property in Diestel & Uhl: a definition clarification

answered Apr 27, 2022 at 4:54

6 votes

Accepted

A Hahn-Banach type extension problem for multiple functionals

answered Dec 3, 2021 at 18:25

6 votes

Accepted

Disjoint union of closed sets

answered Jan 26, 2022 at 12:07

5 votes

Computing Bochner integrals with values in L^p-spaces by Lebesgue integrals?

answered Nov 22, 2020 at 11:09

5 votes

BCT equivalent to DC

answered Oct 3, 2020 at 14:14

5 votes

Accepted

Continuity of the period for a periodic dynamical system

answered Jun 30, 2021 at 21:49

4 votes

Noteworthy, but not so famous conjectures resolved recent years

answered Nov 24, 2020 at 5:52

4 votes

Accepted

What functions are equal to their symmetric decreasing rearrangement?

answered Mar 19, 2022 at 14:14

4 votes

Simpler proofs using the axiom of choice

answered Jan 21, 2023 at 19:02

3 votes

On the intersection of two Orlicz spaces

answered Apr 16, 2021 at 5:20

3 votes

Accepted

Is this operator continuous?

answered Oct 16, 2020 at 19:44

3 votes

Why is Lebesgue measure theory asymmetric?

answered Oct 17, 2020 at 2:45

3 votes

Is there a standard way of defining the integral of an extended real function with respect to a finitely additive probability measure?

answered Oct 3, 2020 at 6:30

2 votes

Accepted

Example when Kantorovich condition would not hold

answered Sep 30, 2020 at 17:30

2 votes

Accepted

On a limit for the resolvent norm

answered Sep 19, 2020 at 15:41

2 votes

What do absolute neighborhood retracts look like?

answered Sep 26, 2020 at 6:33

2 votes

Noteworthy, but not so famous conjectures resolved recent years

answered Nov 24, 2020 at 5:34

2 votes

Generalized Schoenflies - formalizing step in proof?

answered Oct 24, 2020 at 4:30

2 votes

On strong convergence versus weak in operator topology and semi-continuity of the spectrum

answered Feb 5, 2021 at 19:53

2 votes

Accepted

Definition of a $\psi$-Banach space

answered Oct 13, 2021 at 21:18

2 votes

Under what general conditions is the set $S := \left\{\int_{X}v(x)\pi(x)\,\mathrm{d}P(x) \mid \pi: X \to A\right\}$ closed?

answered Apr 28, 2022 at 21:38

2 votes

Standard models of N and R: An Alice/Bob approach

answered Nov 27, 2023 at 20:06

2 votes

Set invariance for differential inclusions applied to PDES?

answered Feb 3, 2022 at 19:21

2 votes

What is your favorite proof of Tychonoff's Theorem?

answered Jan 16, 2022 at 14:13

1 vote

Existence of a global solution to a differential inclusion that does not blow up

answered Jan 16, 2022 at 23:31

Stack Exchange Network

50 Answers

What can be preserved in mathematics if all constructions are carried out in ZF?

Finiteness of Hausdorff measure of balls

Homotopy type of the Hausdorff metric

Regarding a positive Lebesgue measure set in $\mathbb{R}^2$

To show a set is a set of positive Lebesgue measure in $ \mathbb{R}$

Radon-Nikodym property in Diestel & Uhl: a definition clarification

A Hahn-Banach type extension problem for multiple functionals

Disjoint union of closed sets

Computing Bochner integrals with values in L^p-spaces by Lebesgue integrals?

BCT equivalent to DC

Continuity of the period for a periodic dynamical system

Noteworthy, but not so famous conjectures resolved recent years

What functions are equal to their symmetric decreasing rearrangement?

Simpler proofs using the axiom of choice

On the intersection of two Orlicz spaces

Is this operator continuous?

Why is Lebesgue measure theory asymmetric?

Is there a standard way of defining the integral of an extended real function with respect to a finitely additive probability measure?

Example when Kantorovich condition would not hold

On a limit for the resolvent norm

What do absolute neighborhood retracts look like?

Noteworthy, but not so famous conjectures resolved recent years

Generalized Schoenflies - formalizing step in proof?

On strong convergence versus weak in operator topology and semi-continuity of the spectrum

Definition of a $\psi$-Banach space

Under what general conditions is the set $S := \left\{\int_{X}v(x)\pi(x)\,\mathrm{d}P(x) \mid \pi: X \to A\right\}$ closed?

Standard models of N and R: An Alice/Bob approach

Set invariance for differential inclusions applied to PDES?

What is your favorite proof of Tychonoff's Theorem?

Existence of a global solution to a differential inclusion that does not blow up