Question

Does every definable relation have a definable choice function over ZFC?

score 103 · Answer 1 · 2020-01-21 16:36:34

103

Views

Does every definable relation have a definable choice function over ZFC?

Published on 21 Jan 2020 - 16:36

score 359 · Answer 2 · 2020-01-23 11:33:14

359

Views

Convergence of generalized harmonic series

Published on 23 Jan 2020 - 11:33

score 79 · Answer 3 · 2020-01-30 14:54:31

79

Views

Inference rules based on conjectures as the Riemann hypothesis.

Published on 30 Jan 2020 - 14:54

score 31 · Answer 4 · 2020-01-31 20:27:45

31

Views

How to prove that the maximum solution of different power of p of elements s.t. unit $\ell_2$-norm constraint exists when $x_i<x_j$ if $p_i<p_j$?

Published on 31 Jan 2020 - 20:27

score 169 · Answer 5 · 2020-02-20 17:56:47

169

Views

Approach to prove the factorial on LHS to the RHS?

Published on 20 Feb 2020 - 17:56

score 204 · Answer 6 · 2020-03-09 14:07:37

204

Views

Equivalence of "The Unexpected Hanging" and "The Two Generals"

Published on 09 Mar 2020 - 14:07

score 120 · Answer 7 · 2020-03-18 18:13:39

120

Views

How to prove the following property of implication?

Published on 18 Mar 2020 - 18:13

score 747 · Answer 8 · 2026-02-23 08:31:12

747

Views

Proving a statement is true by proving it is undecidable.

Published on 23 Feb 2026 - 8:31

score 147 · Answer 9 · 2020-05-04 07:10:08

147

Views

If endomorphisms embed, does the vector space itself embed?

Published on 04 May 2020 - 7:10

score 258 · Answer 10 · 2020-05-05 20:38:02

258

Views

Why is the status of the period in Laver tables not settled?

Published on 05 May 2020 - 20:38

score 147 · Answer 11 · 2020-05-08 16:02:00

147

Views

Is Haskell Curry's unconventional way of defining True(x) incorrect?

Published on 08 May 2020 - 16:02

score 2.2k · Answer 12 · 2020-05-12 15:25:55

2.2k

Views

How long can proofs be?

Published on 12 May 2020 - 15:25

score 92 · Answer 13 · 2026-03-25 12:54:33

92

Views

If $S=\{x:x\in x\}$, is $S\in S$ knowable? (Naive set theory)

Published on 25 Mar 2026 - 12:54

score 64 · Answer 14 · 2020-06-04 04:31:14

64

Views

If a set theory allowed the existence of $x\cup y$, would that imply the existence of $\cup S$?

Published on 04 Jun 2020 - 4:31

score 105 · Answer 15 · 2020-06-08 02:15:27

105

Views

What axioms are required to imply the existence of all conceivable subsets?

Published on 08 Jun 2020 - 2:15

List Question

Does every definable relation have a definable choice function over ZFC?

Convergence of generalized harmonic series

Inference rules based on conjectures as the Riemann hypothesis.

How to prove that the maximum solution of different power of p of elements s.t. unit $\ell_2$-norm constraint exists when $x_i<x_j$ if $p_i<p_j$?

Approach to prove the factorial on LHS to the RHS?

Equivalence of "The Unexpected Hanging" and "The Two Generals"

How to prove the following property of implication?

Proving a statement is true by proving it is undecidable.

If endomorphisms embed, does the vector space itself embed?

Why is the status of the period in Laver tables not settled?

Is Haskell Curry's unconventional way of defining True(x) incorrect?

How long can proofs be?

If $S=\{x:x\in x\}$, is $S\in S$ knowable? (Naive set theory)

If a set theory allowed the existence of $x\cup y$, would that imply the existence of $\cup S$?

What axioms are required to imply the existence of all conceivable subsets?

Trending Questions

Popular # Hahtags

Popular Questions