$$A \cap B \subseteq A$$ My first step would be to write it as $(x \in A \land x \in B) \subseteq A$. Then I know by the following implication that is always true $P \land Q \implies P$. But I am not sure how to write it down mathematically correct. $$A \subseteq A \cup […]

Let the function $F: On \rightarrow On$ be defined by the following recursion: $F(0) = \aleph_0$ $F(\alpha+1) = 2^{F(\alpha)}$ (cardinal exponentiation) $F(\lambda) = \sup\{F(\alpha):\alpha \in \lambda\}$ for $\lambda$ a limit ordinal Prove that there is a fixed point for $F$, i.e. an ordinal $\kappa$ with $F(\kappa) = \kappa$. Are such fixed points always cardinals? Thoughts: […]

My goal here is to find a bijection from $\mathbb{Z} \to \mathbb{Z} \times \mathbb{Z}$ (this is letting $0 \in \mathbb{Z}$ Here’s what I have so far: Let $$A = \{ x^2 – x \mid x \in \mathbb{Z} \} $$ and let $g: \mathbb{Z} \to \mathbb{Z}$, $g(x) = a \in A$, $a$ is the greatest element […]

I have a doubt about working with equivalence classes and quotient sets. The definition that I know, is that given an equivalence relation $\sim$ on a set $A$, the set of all elements of $A$ equivalent to a certain element $x$ is the set $\left[x\right]\subset A$ which is called the equivalence class of $x$. The […]

This question is from S C Kleene’s Introduction to Metamathematics, page 38: If we prescribe as admissible elements of sets (a) $\varnothing$ and (b) arbitrary sets whose members are admissible elements, so that sets have only sets as members, then when $M$ is the set of all sets, $ P(M)=M$. (Here $P(X)$ is power set […]

For each formula $\phi$ without $Y$ free, the universal closure of the following is an axiom: $\forall x\in A \exists !y \phi(x,y) \Longrightarrow \exists Y \forall x\in A \exists y\in Y \phi(x,y)$ My question is about the $!$, does that mean that $y$ is bound in $\phi$? What does the exclamation mark mean? Is it […]

Let $A$ be a nonempty subset of $\omega$, the set of natural numbers. If $\bigcup A=A$ then $A=\omega$. I have proved ‘$\bigcup n^+ = n$ for any $n\in\omega$’ and ‘$\bigcup\omega = \omega$’ I think this question should be proved with the above results.. Help please

Find the $\bigcap_{n = 1}^{\infty} (-\frac{1}{n}, \frac{2}{n})$ So the way I understand it is that I’m trying to find $(\frac{-1}{1}, \frac{2}{1}) \bigcap (\frac{-1}{2}, \frac{2}{2}) \bigcap (\frac{-1}{3}, \frac{2}{3})\bigcap …$ and so forth. Then the intersection would be $\varnothing$ right? Can I prove this by just writing out the first few elements and seeing that they do […]

If you have a set $A$, and it satisfies that for some $x\in A$, there is a bijection between $A$ and $A\setminus\{x\}$. Does that imply that there is an injection from $\Bbb N$ to $A$? It is clearly true in ZFC, but I ask if it is true in ZF.

This question already has an answer here: What's the cardinality of all sequences with coefficients in an infinite set? 4 answers

Intereting Posts

What are these 3D shapes, if anything?
Deal or no deal: does one switch (to avoid a goat)?/ Should deal or no deal be 10 minutes shorter?
Calculate $\int_{0}^{1} (x-f(x))^{2016} dx$, given $f(f(x))=x$.
Step Function and Simple Functions
If a group is the union of two subgroups, is one subgroup the group itself?
Subgroups of $S_n$ of index $n$ are isomorphic to $ S_{n-1}$
Cardinality of Borel sigma algebra
Method of reduction
How Do I Compute the Eigenvalues of a Small Matrix?
Topology: Example of a compact set but its closure not compact
When is the category of (quasi-coherent) sheaves of finite homological dimension?
Examples of non-isomorphic fields with isomorphic group of units and additive group structure
What would be a good way to memorize theorems about algebra?
Help solving the limit $\lim_{n\to \infty} \left(1+\frac{1}{n!}\right)^{2n}$
Proof of this result related to Fibonacci numbers: $\begin{pmatrix}1&1\\1&0\end{pmatrix}^n=\begin{pmatrix}F_{n+1}&F_n\\F_n&F_{n-1}\end{pmatrix}$?