Intereting Posts

Prime divisibility in a prime square bandtwidth
Is the real root of $x^4+3 x-3$ constructible?
Euler's Constant: The asymptotic behavior of $\left(\sum\limits_{j=1}^{N} \frac{1}{j}\right) – \log(N)$
What is the difference between using $PAP^{-1}$ and $PAP^{T}$ to diagonalize a matrix?
Why accept the axiom of infinity?
Interpretation of $\frac{22}{7}-\pi$
Is the submodule of a finitely generated free module finitely generated?
Given $A$ and $B$ positive-definite matrices and $Q$ unitary matrix, prove that if $A = BQ$, then $A=B$.
What is the mechanism of Eigenvector?
Trace $\sigma$-algebra and measurable envelope
Why is $\pi r^2$ the surface of a circle
Discriminant of a trinomial
The $\gcd$ operator commutes with functions defined by linear recurrence relations
Equation for non-orthogonal projection of a point onto two vectors representing the isometric axis?
Gaussian Kernels, Why are they full rank?

This question is inspired by this question. Consider the following result:

Let $(L,\leq)$ be a chain-complete lattice. Then $(L,\leq)$ is a complete lattice.

Can this result be proven without using the axiom of choice?

- picking a witness requires the Axiom of Choice?
- Is there an element with no fixed point and of infinite order in $\operatorname{Sym}(X)$ for $X$ infinite?
- Infinite Set is Disjoint Union of Two Infinite Sets
- Proof of a basic $AC_\omega$ equivalence
- Nilpotency of the Jacobson radical of an Artinian ring without Axiom of Choice
- What's the difference between saying that there is no cardinal between $\aleph_0$ and $\aleph_1$ as opposed to saying that…

For completeness, here is a proof that the result holds under the axiom of choice: Let $S\subseteq L$. We want to show that $S$ has an upper bound. Since $\emptyset$ is a chain, we can assume $S\neq\emptyset$. Let $\preceq$ be a well ordering of $S$. Fix $s\in S$. Define a transfinite sequence in the following way: Let $s_0=s$. For a successor ordinal $\alpha+1$ we let $s_{\alpha+1}=s_\alpha\vee m$ with $m$ being the $\preceq$-smallest element in $S$ that is not smaller than $s_\alpha$. For a limit ordinal $\beta$, let $s_\alpha=\sup_{\beta<\alpha}s_\alpha$ which exists as the supremum of a chain. The range of this sequence is clearly a chain and its supremum is the supremum of $S$. That $S$ has an infimum follows in the usual way by taking the infimum to be the supremum of all lower bounds.

- A normal intermediate subgroup in $B_3$ lattice?
- Proof of Closest Point Theorem in Hilbert Space
- Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$
- Axiom of Choice and Cartesian Products
- The equivalence of “Every surjection has a right inverse” and the Axiom of Choice
- Axiom of choice and calculus
- Does the existence of a $\mathbb{Q}$-basis for $\mathbb{R}$ imply that choice holds up to $\frak c$?
- How to define a well-order on $\mathbb R$?
- Nonatomic vs. Continuous Measures
- $F$ is a free abelian group on a set $X$ , $H \subseteq F$ is a free abelian group on $Y$, then $|Y| \leq |X|$

Let $A$ be an amorphous set, that is an infinite set that every subset is either finite or co-finite. Let $L$ be the collection of finite subsets of $A$, ordered by inclusion.

From Jech’s *The Axiom of Choice*, Chapter 4 exercise 10, we have that $A$ is T-finite, namely every chain has a maximal element. This maximal element is indeed the supremum of the chain.

However note that this is obviously not a complete lattice, since the collection of singletons clearly does not have an upper bound in this lattice.

For sake of completeness, let us prove the above fact on the chains. Suppose that $D$ is an infinite chain, in particular there is at most one element of every finite cardinality. The union, then, is a countable subset of $A$ in contradiction to its Dedekind finiteness.

Thinking about this for a little while, we can easily generalize this proof to show that $DC_\kappa$ is not enough to prove the equivalence you are looking for:

We say that $A$ is $\kappa$-amorphous if every subset of $A$ is of size $<\kappa$, or its complement is. In this terminology amorphous is $\omega$-amorphous.

It is consistent to have $A$ which is $\kappa$-amorphous along with $DC_{<\kappa}$. In this setting the collection of sets of cardinality $<\kappa$ ordered by inclusion has the same properties as above (replacing maximal element by supremum). But there are not $\kappa$-chains. Again the singletons prove the lack of upper-bound.

- How can I quickly know the rank of this / any other matrix?
- What will be the one's digit of the remainder in: $\left|5555^{2222} + 2222^{5555}\right|\div 7=?$
- Which of the following sets are compact in $\mathbb{M}_n(\mathbb{R})$
- Show $\mathbb{Q}{2}]$ is a field by rationalizing
- When does $\sum\frac{1}{(n\ln n)^a}$ converge?
- Cardinality of all cardinalities
- Sum involving the hypergeometric function, power and factorial functions
- Any partition of $\{1,2,\ldots,9\}$ must contain a $3$-Term Arithmetic Progression
- Variance of time to find first duplicate
- Applications of the wreath product?
- Prove that $(0,1) \subseteq\mathbb R$ and $(4,10) \subseteq\mathbb R$ have the same cardinality.
- Is 2048 the highest power of 2 with all even digits (base ten)?
- Proving $\cot(A)\cot(B)+\cot(B)\cot(C)+\cot(C)\cot(A)=1$
- Unions and intersections: $(A \cup B = A ∪ C) \land (A \cap B = A ∩ C) \implies B = C.$
- “Almost” ring homomorphism