List questions from well-orders | MathQA

What is the class of models of the $\forall$-theory of the class of well-ordered sets?

Published on 10 Nov 2022 - 8:06

Is the class of well-ordered sets a pseudo-elementary class?

Published on 11 Nov 2022 - 13:07

How many automorphisms are there for $ \langle \omega , < \rangle $?

Published on 15 Nov 2022 - 12:52

"Name" for this order relation of binary sequence

Published on 29 Nov 2022 - 13:13

Riddle: finite set that contains one of the three numbers

Published on 10 Dec 2022 - 7:26

Partial order, well order and initial segment

Published on 25 Dec 2022 - 23:18

How do you prove that there exists a highest element of any finite, nonempty subset of Natural Numbers? Is the following algorithmic proof valid?

Published on 01 Jan 2023 - 10:22

Initial segment of well ordered set

Published on 05 Jan 2023 - 11:47

Order type of this order over naturals

Published on 07 Jan 2023 - 19:23

Product of Countable Well-Ordered Set with $[0,1)$ is Homeomorphic to $[0,1)$

Published on 21 Jan 2023 - 17:46

Intersection of a chain of closed sets

Published on 24 Jan 2023 - 17:04