Intereting Posts

Prove that every year has at least one Friday the 13th
Cauchy distribution characteristic function
Two tails in a row – what's the probability that the game started with a head?
How to show $S^n$ is not contractible without using Homology..
Product of all numbers in a given interval $$
Given fields $K\subseteq L$, why does $f,g$ relatively prime in $K$ imply relatively prime in $L$?
A real function on a compact set is continuous if and only if its graph is compact
Proving $\sum_{k=0}^{2m}(-1)^k{\binom{2m}{k}}^3=(-1)^m\binom{2m}{m}\binom{3m}{m}$ (Dixon's identity)
Help me prove this inequality :
Show: $ f(a) = a,\ f(b) = b \implies \int_a^b \left \, \mathrm{d}x = b^2 – a^2 $
Every closed subset $E\subseteq \mathbb{R}^n$ is the zero point set of a smooth function
Tips for an adult to learn math — from the beginning.
Continuity/differentiability at a point and in some neighbourhood of the point
Arbitrary intersection of closed, connected subsets of a compact space connected?
Journals that publish papers quickly

I’m working on the following exercise from Kunen:

Define, in ZF without the axiom of regularity, $\aleph(X)=\{\alpha:

> \exists f \in \, ^\alpha X(f \text{ is } 1-1\}$. Show:

- $\aleph(X)<\aleph(\mathscr P(\mathscr P(\mathscr P(X))))$
- There is no sequence $\langle X_n: n \in \omega\rangle$ such that $\forall n(\mathscr P(X_{n+1})\preceq X_n)$.
- The axiom of choice implies that $\aleph(X)=|X|^+$ whenever $X$ is infinite.

I have already proved 1. and 3., but I don’t know what to do with 2. Thinking without AC is hard :p

- In ZF, how would the structure of the cardinal numbers change by adopting this definition of cardinality?
- Viewing forcing as a result about countable transitive models
- Mathematical statement with simple independence proof from $\mathsf{ZF}$
- Why infinite cardinalities are not “dense”?
- category definition: class vs set?
- Where is axiom of regularity actually used?

- What is needed to make Euclidean spaces isomorphic as groups?
- Can forcing push the continuum above a weakly inacessible cardinal?
- Using Zorn's lemma show that $\mathbb R^+$ is the disjoint union of two sets closed under addition.
- Relationships between AC, Ultrafilter Lemma/BPIT, Non-measurable sets
- Can all theorems of $\sf ZFC$ about the natural numbers be proven in $\sf ZF$?
- How to show $\kappa^{cf(\kappa)}>\kappa$?
- Difference between a class and a set
- Is there any motivation for Zorn's Lemma?
- A special cofinal family in $(\omega^\omega,\le)$
- axiom of choice: cardinality of general disjoint union

**HINT:** Use the first part to show that from such sequence you get a decreasing sequence of ordinals.

Let $\kappa_n=\aleph(X_n)$, then you can note that $\kappa_{n+3}<\kappa_n$ by that first part, and the trivial observation that $X\preceq Y\implies\aleph(X)\leq\aleph(Y)$.

First, notice that if $X \preceq Y$, then $\aleph(X) \leq \aleph(Y)$: Since $\aleph(Y) \not \preceq Y$, it follows that $\aleph(Y) \not \preceq X$. Since $\aleph (X)$ is the smallest ordinal $\alpha$ satisfying $\alpha \not \preceq X$, it follows that $\aleph(X) \leq \aleph(Y)$

Now, suppose such a sequence does exists. given $n \in \omega$, notice that $\aleph(X_n) \geq \aleph(\mathscr P(X_{n+1}))\geq\aleph(\mathscr P^2(X_{n+2}))\geq \aleph(\mathscr P^3(X_{n+3}))>\aleph(X_{n+3})$. So the sequence $\langle \aleph(X_{3n}): n \in \omega\rangle$ is a strictly decreasing sequence.

- How to prove this permutation summation is zero.
- Is the “binary operation” in the definition of a group always deterministic?
- Formula for reversing digits of positive integer $n$
- sum of series using mean value theorem
- A finite abelian group $A$ is cyclic iff for each $n \in \Bbb{N}$, $\#\{a \in A : na = 0\}\le n$
- Showing that the Binary Icosahedral Group (given by a presentation) has order $120$.
- Can the product of an $4\times 3$ matrix and a $3\times 4$ matrix be invertible?
- Show that $\mathbb{Q}$ is dense in the real numbers. (Using Supremum)
- Classifying Types of Paradoxes: Liar's Paradox, Et Alia
- Copulas, implication
- Find $\int e^{2\theta} \cdot \sin{3\theta} \ d\theta$
- zero of vector field with index 0
- How to find the subgroups of S4 generated by these sets.
- solving third-order nonlinear ordinary differential equation
- Show that $\left| \oint_{\partial D}fdx + gdy \right|^2 \leq (\text{Area}(D))\int_D \left( |\nabla f|^2 + |\nabla g|^2 \right) dx dy.$