Question

Is there constructivist proof for this measure theory fact?

score 88 · Answer 1 · 2021-06-07 20:47:58

88

Views

Is there constructivist proof for this measure theory fact?

Published on 07 Jun 2021 - 20:47

score 120 · Answer 2 · 2026-03-27 00:10:11

120

Views

Is the formula $\neg\neg\forall x (\neg P(x) \,\vee\, \neg\neg P(x))$ provable in intuitionistic logic?

Published on 27 Mar 2026 - 0:10

score 88 · Answer 3 · 2026-03-26 22:17:55

88

Views

Are below sentences held in intuitionistic logic?

Published on 26 Mar 2026 - 22:17

score 115 · Answer 4 · 2021-06-15 09:35:07

115

Views

constructive proof that $K[X]$ is a PID

Published on 15 Jun 2021 - 9:35

score 1.6k · Answer 5 · 2026-03-26 17:33:34

1.6k

Views

For which $n\in\Bbb N$ can we divide $\{1,2,3,...,3n\}$ into $n$ subsets each with $3$ elements such that in each subset $\{x,y,z\}$ we have $x+y=3z$?

Published on 26 Mar 2026 - 17:33

score 54 · Answer 6 · 2021-07-09 06:26:12

54

Views

Explicit strictly second order subset of the naturals.

Published on 09 Jul 2021 - 6:26

score 81 · Answer 7 · 2021-07-21 16:24:28

81

Views

Is characterizing fields as those rings with free modules useful in other contexts than sets?

Published on 21 Jul 2021 - 16:24

score 797 · Answer 8 · 2021-08-04 18:07:56

797

Views

What does constructive mathematics say about limits?

Published on 04 Aug 2021 - 18:07

score 243 · Answer 9 · 2021-08-10 17:53:10

243

Views

Does intuitionist second-order logic prove the negations of some classical theorems?

Published on 10 Aug 2021 - 17:53

score 282 · Answer 10 · 2021-08-18 21:51:07

282

Views

Prove there is infinite number of 3 consecutive numbers which are sum of 2 squares.

Published on 18 Aug 2021 - 21:51

score 60 · Answer 11 · 2021-08-25 13:49:13

60

Views

What is the role of excluded middle in classic forcing arguments?

Published on 25 Aug 2021 - 13:49

score 480 · Answer 12 · 2021-09-07 23:19:54

480

Views

Does Tychonoff's Theorem imply Excluded Middle?

Published on 07 Sep 2021 - 23:19

score 87 · Answer 13 · 2026-02-23 20:40:51

87

Views

How does this formula $A\lor (A\to B)$ relate to intuitionistic logic?

Published on 23 Feb 2026 - 20:40

score 134 · Answer 14 · 2021-09-16 16:51:55

134

Views

How do working constructivists get by with out the zero product property?

Published on 16 Sep 2021 - 16:51

score 99 · Answer 15 · 2021-09-17 23:34:15

99

Views

Correct constructive proof of $0 \leq x < 1/n$, $\forall n \in \mathbb{N} \implies x = 0$.

Published on 17 Sep 2021 - 23:34

List Question

Is there constructivist proof for this measure theory fact?

Is the formula $\neg\neg\forall x (\neg P(x) \,\vee\, \neg\neg P(x))$ provable in intuitionistic logic?

Are below sentences held in intuitionistic logic?

constructive proof that $K[X]$ is a PID

For which $n\in\Bbb N$ can we divide $\{1,2,3,...,3n\}$ into $n$ subsets each with $3$ elements such that in each subset $\{x,y,z\}$ we have $x+y=3z$?

Explicit strictly second order subset of the naturals.

Is characterizing fields as those rings with free modules useful in other contexts than sets?

What does constructive mathematics say about limits?

Does intuitionist second-order logic prove the negations of some classical theorems?

Prove there is infinite number of 3 consecutive numbers which are sum of 2 squares.

What is the role of excluded middle in classic forcing arguments?

Does Tychonoff's Theorem imply Excluded Middle?

How does this formula $A\lor (A\to B)$ relate to intuitionistic logic?

How do working constructivists get by with out the zero product property?

Correct constructive proof of $0 \leq x < 1/n$, $\forall n \in \mathbb{N} \implies x = 0$.

Trending Questions

Popular # Hahtags

Popular Questions