Newbetuts
.
New posts in well-orders
Can we find a well ordering on an infinite set with no largest element?
elementary-set-theory
well-orders
The well ordering principle
set-theory
real-numbers
well-orders
Is the following relation on disjoint subsets of [n] transitive?
elementary-set-theory
relations
order-theory
well-orders
Construction of a sequence function in Halmos' proof of the comparability theorem for well ordered sets using transfinite recursion
elementary-set-theory
well-orders
"There is no well-ordered uncountable set of real numbers"
set-theory
order-theory
well-orders
Explicit well-ordering of $\mathbb{N}^{\mathbb{N}}$
set-theory
well-orders
Given $S \hookrightarrow T$ construct $U ≈ T$ disjoint from $S$ in Z set theory?
set-theory
axiom-of-choice
well-orders
Hessenberg power of ordinals
set-theory
order-theory
ordinals
well-orders
Why isn't this a well ordering of $\{A\subseteq\mathbb N\mid A\text{ is infinite}\}$?
elementary-set-theory
well-orders
Propositional Functions with Well-Ordering/Strong Induction
induction
well-orders
Prove that there is no positive integer between 0 and 1
number-theory
well-orders
Prove that no ordinal is an element of itself
set-theory
ordinals
well-orders
How strong is the axiom of well-ordered choice?
set-theory
axiom-of-choice
foundations
well-orders
Well-orderings and the perfect set property
set-theory
descriptive-set-theory
well-orders
There is a well ordering of the class of all finite sequences of ordinals
elementary-set-theory
ordinals
well-orders
Question on a step of "A Simple Proof of Zorn's Lemma" by Lewin
set-theory
order-theory
axiom-of-choice
well-orders
Any Well-Ordering of $\mathbb{R}$ has no Corresponding Metric
real-analysis
set-theory
order-theory
well-orders
Well-ordering theorem and second-order logic
logic
set-theory
axiom-of-choice
well-orders
second-order-logic
Proof of Comparability Theorem for well-ordered sets using transfinite recursion
elementary-set-theory
set-theory
well-orders
Is there any known uncountable set with an explicit well-order?
set-theory
well-orders
Prev
Next