Question

Are these two statements regarding linear orders equivalent over ZF?

score 49 · Answer 1 · 2023-05-26 21:21:55

49

Views

Are these two statements regarding linear orders equivalent over ZF?

Published on 26 May 2023 - 21:21

score 78 · Answer 2 · 2026-03-26 22:55:45

78

Views

Does every well-ordered set obeying the non-induction Peano axioms have a well-ordering compatible with the successor operation?

Published on 26 Mar 2026 - 22:55

score 80 · Answer 3 · 2023-05-29 10:33:20

80

Views

Strong induction to prove a finite poset has at least one maximal element - two questions

Published on 29 May 2023 - 10:33

score 39 · Answer 4 · 2023-05-30 10:29:35

39

Views

Equivalent definitions of cuts for total dense orders

Published on 30 May 2023 - 10:29

score 91 · Answer 5 · 2026-03-26 21:09:31

91

Views

What are the order types of computable pseudo-ordinals with no c.e. descending chains?

Published on 26 Mar 2026 - 21:09

score 37 · Answer 6 · 2026-03-26 19:08:03

37

Views

Is there a name for this condition on a monoid?

Published on 26 Mar 2026 - 19:08

score 53 · Answer 7 · 2026-03-30 08:00:13

53

Views

Trying to understand this note about closure of a set in Willard, Stephen General Topology definition $3.5$

Published on 30 Mar 2026 - 8:00

score 96 · Answer 8 · 2023-06-04 19:50:36

96

Views

The successor of 0 in an ordered ring

Published on 04 Jun 2023 - 19:50

score 42 · Answer 9 · 2023-06-06 20:29:13

42

Views

What does this relation definition mean and how is it even a partial order?

Published on 06 Jun 2023 - 20:29

score 107 · Answer 10 · 2023-06-08 18:04:28

107

Views

Is every dense complete endless linearly ordered subset of real order-isomorphic to real?

Published on 08 Jun 2023 - 18:04

score 138 · Answer 11 · 2026-03-30 08:02:27

138

Views

$\omega$-continuity and Scott continuity

Published on 30 Mar 2026 - 8:02

score 48 · Answer 12 · 2023-06-12 06:51:54

48

Views

If $⊥$ is an operation on $X$ inversely compatibile at $x$ in $X$ with the order $\mathcal O$ on $X$ then is it directly compatible at $x$ too?

Published on 12 Jun 2023 - 6:51

score 54 · Answer 13 · 2026-04-01 23:53:09

54

Views

Set that cannot be totally ordered without axiom of choice

Published on 01 Apr 2026 - 23:53

score 44 · Answer 14 · 2023-06-15 12:39:08

44

Views

Extending partial orders to total orders

Published on 15 Jun 2023 - 12:39

score 109 · Answer 15 · 2023-06-16 07:08:57

109

Views

Does every preorder induce a partial order?

Published on 16 Jun 2023 - 7:08

List Question

Are these two statements regarding linear orders equivalent over ZF?

Does every well-ordered set obeying the non-induction Peano axioms have a well-ordering compatible with the successor operation?

Strong induction to prove a finite poset has at least one maximal element - two questions

Equivalent definitions of cuts for total dense orders

What are the order types of computable pseudo-ordinals with no c.e. descending chains?

Is there a name for this condition on a monoid?

Trying to understand this note about closure of a set in Willard, Stephen General Topology definition $3.5$

The successor of 0 in an ordered ring

What does this relation definition mean and how is it even a partial order?

Is every dense complete endless linearly ordered subset of real order-isomorphic to real?

$\omega$-continuity and Scott continuity

If $⊥$ is an operation on $X$ inversely compatibile at $x$ in $X$ with the order $\mathcal O$ on $X$ then is it directly compatible at $x$ too?

Set that cannot be totally ordered without axiom of choice

Extending partial orders to total orders

Does every preorder induce a partial order?

Trending Questions

Popular # Hahtags

Popular Questions