Question

Concerns with Global Choice vs Ordinary Choice

score 85 · Answer 1 · 2026-03-27 05:37:50

85

Views

Concerns with Global Choice vs Ordinary Choice

Published on 27 Mar 2026 - 5:37

score 115 · Answer 2 · 2023-03-24 04:28:44

115

Views

Proof Verification: Zorn's Lemma given Axiom of Choice and Well-Ordering Theorem

Published on 24 Mar 2023 - 4:28

score 84 · Answer 3 · 2023-03-25 19:29:30

84

Views

Choice function for powerset of $S$ entails choice function for $S$

Published on 25 Mar 2023 - 19:29

score 253 · Answer 4 · 2026-04-01 18:14:06

253

Views

Conditions needed to prove $|A|^{|P(A)|}=|P(P(A))|$

Published on 01 Apr 2026 - 18:14

score 54 · Answer 5 · 2026-03-26 08:02:17

54

Views

Can there exist a set $S$ and $F_1, F_2 \in ([5] \times S)^{([5]^S)}$ such that for all $f_1,f_2\in [5]^S$, $F_1(f_1)\in f_2$ or $F_2(f_2)\in f_1$?

Published on 26 Mar 2026 - 8:02

score 91 · Answer 6 · 2023-03-30 22:12:25

91

Views

Is axiom of choice required to throw away repeated intervals in a constructive argument?

Published on 30 Mar 2023 - 22:12

score 154 · Answer 7 · 2023-04-01 11:20:01

154

Views

Cohomology and axiom of choice

Published on 01 Apr 2023 - 11:20

score 64 · Answer 8 · 2023-04-04 06:39:34

64

Views

Is this a rigorous enough way to construct a sequence?

Published on 04 Apr 2023 - 6:39

score 77 · Answer 9 · 2023-04-04 16:17:33

77

Views

Axiom of choice making proofs easier to comprehend even when not absolutely required

Published on 04 Apr 2023 - 16:17

score 101 · Answer 10 · 2023-04-08 09:57:27

101

Views

Cardinal inequalities in set theory without choice

Published on 08 Apr 2023 - 9:57

score 111 · Answer 11 · 2026-04-01 18:11:29

111

Views

Showing cardinality inequalities involving equivalence relations without the Axiom of Choice

Published on 01 Apr 2026 - 18:11

score 721 · Answer 12 · 2026-03-25 19:06:35

721

Views

How is the “ Axiom of choice is trivial in intuitionistic logic”?

Published on 25 Mar 2026 - 19:06

score 40 · Answer 13 · 2026-04-01 18:08:06

40

Views

Are cardinals always partial-well-ordered without AC?

Published on 01 Apr 2026 - 18:08

score 175 · Answer 14 · 2026-03-26 19:18:38

175

Views

Is the set of all linear orders on $\mathbb{N}$ linearly orderable?

Published on 26 Mar 2026 - 19:18

score 84 · Answer 15 · 2026-03-26 16:06:22

84

Views

Errett Bishop's formulation of Diaconescu's theorem

Published on 26 Mar 2026 - 16:06

List Question

Concerns with Global Choice vs Ordinary Choice

Proof Verification: Zorn's Lemma given Axiom of Choice and Well-Ordering Theorem

Choice function for powerset of $S$ entails choice function for $S$

Conditions needed to prove $|A|^{|P(A)|}=|P(P(A))|$

Can there exist a set $S$ and $F_1, F_2 \in ([5] \times S)^{([5]^S)}$ such that for all $f_1,f_2\in [5]^S$, $F_1(f_1)\in f_2$ or $F_2(f_2)\in f_1$?

Is axiom of choice required to throw away repeated intervals in a constructive argument?

Cohomology and axiom of choice

Is this a rigorous enough way to construct a sequence?

Axiom of choice making proofs easier to comprehend even when not absolutely required

Cardinal inequalities in set theory without choice

Showing cardinality inequalities involving equivalence relations without the Axiom of Choice

How is the “ Axiom of choice is trivial in intuitionistic logic”?

Are cardinals always partial-well-ordered without AC?

Is the set of all linear orders on $\mathbb{N}$ linearly orderable?

Errett Bishop's formulation of Diaconescu's theorem

Trending Questions

Popular # Hahtags

Popular Questions